mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-15 03:14:23 +00:00
19094cd53d
- 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
8 lines
102 B
Plaintext
8 lines
102 B
Plaintext
bin/picogcnf
|
|
bin/picomcs
|
|
bin/picomus
|
|
bin/picosat
|
|
include/picosat.h
|
|
lib/libpicosat.a
|
|
lib/libpicosat.so
|