aboutsummaryrefslogtreecommitdiffstats
path: root/math/picosat/distinfo
diff options
context:
space:
mode:
authorKubilay Kocak <koobs@FreeBSD.org>2014-08-25 19:10:03 +0800
committerKubilay Kocak <koobs@FreeBSD.org>2014-08-25 19:10:03 +0800
commit19094cd53d0b198fa023c5c3d8adabf03e623a01 (patch)
tree6898effce91a7f174db4ff6ce39990f3074fd3a3 /math/picosat/distinfo
parentf24c8dd211cc3b2f69ac486c7f4f63f9f5e5fbb0 (diff)
downloadfreebsd-ports-gnome-19094cd53d0b198fa023c5c3d8adabf03e623a01.tar.gz
freebsd-ports-gnome-19094cd53d0b198fa023c5c3d8adabf03e623a01.tar.zst
freebsd-ports-gnome-19094cd53d0b198fa023c5c3d8adabf03e623a01.zip
Move picosat and py-pycosat from devel -> math
- Remove from devel/Makefile - Add to math/Makefile - Update CATEGORIES for both ports - Add MOVED entries While I'm here, sort MOVED entries causing MOVEDlint.awk error [1] after r365599 [2] [1] 6470: date going backwards from 2014-08-20 to 2014-08-15 [2] https://svnweb.freebsd.org/changeset/ports/365599 Suggested by: vsevolod
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