freebsd-ports/math/picosat/pkg-plist
Kubilay Kocak 19094cd53d 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
2014-08-25 11:10:03 +00:00

7 lines
102 B
Text

bin/picogcnf
bin/picomcs
bin/picomus
bin/picosat
include/picosat.h
lib/libpicosat.a
lib/libpicosat.so