1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00
freebsd-ports/math/minisat/pkg-plist
Dmitry Marakasov 060bc1595b - Fix compatibility with c++11
While here:
- Add LICENSE
- Strip binaries
- Regenerate patches
- Sort plist

PR:		199998
Submitted by:	6yearold@gmail.com
Approved by:	maintainer timeout (vsevolod, 7 weeks)
2015-06-26 23:10:09 +00:00

24 lines
621 B
Plaintext

bin/minisat
include/minisat/core/Dimacs.h
include/minisat/core/Solver.h
include/minisat/core/SolverTypes.h
include/minisat/mtl/Alg.h
include/minisat/mtl/Alloc.h
include/minisat/mtl/Heap.h
include/minisat/mtl/IntMap.h
include/minisat/mtl/IntTypes.h
include/minisat/mtl/Map.h
include/minisat/mtl/Queue.h
include/minisat/mtl/Rnd.h
include/minisat/mtl/Sort.h
include/minisat/mtl/Vec.h
include/minisat/mtl/XAlloc.h
include/minisat/simp/SimpSolver.h
include/minisat/utils/Options.h
include/minisat/utils/ParseUtils.h
include/minisat/utils/System.h
lib/libminisat.a
lib/libminisat.so
lib/libminisat.so.2
lib/libminisat.so.2.1.0