diff options
| author | Vsevolod Stakhov <vsevolod@FreeBSD.org> | 2013-09-18 13:28:06 +0000 |
|---|---|---|
| committer | Vsevolod Stakhov <vsevolod@FreeBSD.org> | 2013-09-18 13:28:06 +0000 |
| commit | e03359c0aac5d86660e0818719b7abaea7c6415b (patch) | |
| tree | f896fc873ac4b47289838019aa8b15812b602b4f /math/minisat/pkg-plist | |
| parent | f91c2df1fb086ef2f27a4ec7189f29865523df80 (diff) | |
| download | ports-e03359c0aac5d86660e0818719b7abaea7c6415b.tar.gz ports-e03359c0aac5d86660e0818719b7abaea7c6415b.zip | |
Notes
Diffstat (limited to 'math/minisat/pkg-plist')
| -rw-r--r-- | math/minisat/pkg-plist | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/math/minisat/pkg-plist b/math/minisat/pkg-plist new file mode 100644 index 000000000000..5bf7e3727f3a --- /dev/null +++ b/math/minisat/pkg-plist @@ -0,0 +1,30 @@ +@comment $FreeBSD$ + +bin/minisat +include/minisat/mtl/XAlloc.h +include/minisat/mtl/Heap.h +include/minisat/mtl/IntTypes.h +include/minisat/mtl/IntMap.h +include/minisat/mtl/Sort.h +include/minisat/mtl/Rnd.h +include/minisat/mtl/Alg.h +include/minisat/mtl/Vec.h +include/minisat/mtl/Alloc.h +include/minisat/mtl/Map.h +include/minisat/mtl/Queue.h +include/minisat/utils/Options.h +include/minisat/utils/ParseUtils.h +include/minisat/utils/System.h +include/minisat/core/Solver.h +include/minisat/core/Dimacs.h +include/minisat/core/SolverTypes.h +include/minisat/simp/SimpSolver.h +lib/libminisat.so.2.1.0 +lib/libminisat.so.2 +lib/libminisat.so +lib/libminisat.a +@dirrmtry include/minisat/utils +@dirrmtry include/minisat/simp +@dirrmtry include/minisat/mtl +@dirrmtry include/minisat/core +@dirrmtry include/minisat |