diff options
author | Kubilay Kocak <koobs@FreeBSD.org> | 2014-08-25 19:10:03 +0800 |
---|---|---|
committer | Kubilay Kocak <koobs@FreeBSD.org> | 2014-08-25 19:10:03 +0800 |
commit | 19094cd53d0b198fa023c5c3d8adabf03e623a01 (patch) | |
tree | 6898effce91a7f174db4ff6ce39990f3074fd3a3 /math/picosat/distinfo | |
parent | f24c8dd211cc3b2f69ac486c7f4f63f9f5e5fbb0 (diff) | |
download | freebsd-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/distinfo | 2 |
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 |