aboutsummaryrefslogtreecommitdiff
path: root/math/picosat/distinfo
diff options
context:
space:
mode:
authorKubilay Kocak <koobs@FreeBSD.org>2014-08-25 11:10:03 +0000
committerKubilay Kocak <koobs@FreeBSD.org>2014-08-25 11:10:03 +0000
commit19094cd53d0b198fa023c5c3d8adabf03e623a01 (patch)
tree6898effce91a7f174db4ff6ce39990f3074fd3a3 /math/picosat/distinfo
parentf24c8dd211cc3b2f69ac486c7f4f63f9f5e5fbb0 (diff)
downloadports-19094cd53d0b198fa023c5c3d8adabf03e623a01.tar.gz
ports-19094cd53d0b198fa023c5c3d8adabf03e623a01.zip
Notes
Diffstat (limited to 'math/picosat/distinfo')
-rw-r--r--math/picosat/distinfo2
1 files changed, 2 insertions, 0 deletions
diff --git a/math/picosat/distinfo b/math/picosat/distinfo
new file mode 100644
index 000000000000..cfa08da26d36
--- /dev/null
+++ b/math/picosat/distinfo
@@ -0,0 +1,2 @@
+SHA256 (picosat-957.tar.gz) = 7efa0149f297971328324b90cee349223e3c9c9aab6f6e306caae2553a169822
+SIZE (picosat-957.tar.gz) = 63329