diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2019-12-04 05:50:51 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2019-12-04 05:50:51 +0000 |
| commit | 8e6daedcfc1411b911e2af015e2e0a84ffbb9c71 (patch) | |
| tree | 162515d233b1ea8d81a5b58c691b5a8430fa7bea /math/cadical/distinfo | |
| parent | 451c74c78174cdc50d667ba2549bceef1dcee74b (diff) | |
| download | ports-8e6daedcfc1411b911e2af015e2e0a84ffbb9c71.tar.gz ports-8e6daedcfc1411b911e2af015e2e0a84ffbb9c71.zip | |
New port: math/cadical: Simple CDCL satisfiability solver
Notes
Notes:
svn path=/head/; revision=518989
Diffstat (limited to 'math/cadical/distinfo')
| -rw-r--r-- | math/cadical/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/math/cadical/distinfo b/math/cadical/distinfo new file mode 100644 index 000000000000..5d02fcde86ad --- /dev/null +++ b/math/cadical/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1575437337 +SHA256 (cadical-1.0.3-cb89cbf.tar.xz) = d73879c649c8a7e685bec00f8bbdd0fa64cd325bb4c2a9e30b1b113043b703eb +SIZE (cadical-1.0.3-cb89cbf.tar.xz) = 340116 |