@comment $OpenBSD: PLIST,v 1.4 2017/08/20 16:39:44 jca Exp $
@name minisat-2.2.0.20170810p1
@version 3
@comment pkgpath=math/minisat ftp=yes
@arch mips64,octeon
+DESC
@sha +pxG+sEEYPsHH9pQBLB/Jk93Rj8Z3OKZ0omDsGj+ifM=
@size 1158
@wantlib c++.7.0
@wantlib c++abi.5.0
@wantlib c.96.0
@wantlib m.10.1
@wantlib pthread.26.1
@wantlib z.5.0
@cwd /usr/local
@bin bin/minisat
@sha Th4ow4k5XDV3vhrsyRx0GZvQOHcixntHBAry6nE8blg=
@size 162073
@ts 1619200111
@bin bin/minisat_core
@sha X5vCBXfhilVtFNB5fl9nhQ7Q9AVcebFmUskUI2e3Oc8=
@size 104744
@ts 1619200112
include/minisat/
include/minisat/core/
include/minisat/core/Dimacs.h
@sha kCVddqcKFWydYBPp3CHc+fRwzwGA7b1VxZ6c8Ono9Ns=
@size 3251
@ts 1380111378
include/minisat/core/Solver.h
@sha R/AzDPCO6maFIBW+AMU8krFFTu6dVJ5T8J/qolyPA7I=
@size 24060
@ts 1380111378
include/minisat/core/SolverTypes.h
@sha 2resVO13BSZ3WZ6HTh5uRxMLtk/vAyLzk+sPJsi1sJs=
@size 17310
@ts 1619200016
include/minisat/mtl/
include/minisat/mtl/Alg.h
@sha yRtJf36WtIksye1KuF5ntskRI/FdV6O/dMQKHhIZhbs=
@size 2851
@ts 1380111378
include/minisat/mtl/Alloc.h
@sha vO2FPZhdTidA+biGiYdADcKyJadBxK6lt1pfgSZojkI=
@size 4403
@ts 1380111378
include/minisat/mtl/Heap.h
@sha Jfq1DISeQtpQudS3Dm4zUZAD4ZxHMZFMM1AUTNbjL6g=
@size 5368
@ts 1380111378
include/minisat/mtl/IntMap.h
@sha Mzz/z+/Ij/xPQsYosr1ZEp0zPeFvdcZbkuSw7h3scqk=
@size 4216
@ts 1380111378
include/minisat/mtl/IntTypes.h
@sha d9XMUMu67MyF2yXPPkplIVjh3sv3nr+SKDNx3fsBUt8=
@size 1763
@ts 1380111378
include/minisat/mtl/Map.h
@sha mOA162+w1iAKRuXehmKwxi0qu4gAFyr2iI7qTNP2wq4=
@size 6706
@ts 1380111378
include/minisat/mtl/Queue.h
@sha 9urwvtpXx56AXlgZ88H2Dypr2cC3ZXIOleggTObejA8=
@size 3013
@ts 1380111378
include/minisat/mtl/Rnd.h
@sha NS/k5txmPUhUKWcn7pvXFwiphOyyd0I2+tPyTE/m7IE=
@size 2427
@ts 1380111378
include/minisat/mtl/Sort.h
@sha aWd0V97FEMoUvf9POnyKToJxurgwv8O/ouashlO8TzQ=
@size 3288
@ts 1380111378
include/minisat/mtl/Vec.h
@sha 65mKcXH3ZpnaQ6ybRJJ4PPjsNEoHAQw3c/xoOz9nRrw=
@size 5612
@ts 1380111378
include/minisat/mtl/XAlloc.h
@sha GQIJq9q4CjViElUliQJUBIu3Ms/rUBdgPFLMKwDKYs8=
@size 1924
@ts 1380111378
include/minisat/simp/
include/minisat/simp/SimpSolver.h
@sha 2JP/8cjDkKT4tEWqfAHC6VXqv5N49OtLKHXfkThH19o=
@size 10826
@ts 1380111378
include/minisat/utils/
include/minisat/utils/Options.h
@sha LGm5rtIZL0XXNq5ht7azgX1mi7RyJbDwH3jPrw+dV5w=
@size 12179
@ts 1619200016
include/minisat/utils/ParseUtils.h
@sha KYAxkPeeR8MaREqQ/PLsZTSacMG8TqL7NxOkss4J8LE=
@size 4169
@ts 1380111378
include/minisat/utils/System.h
@sha 67HFxiChOaqcsqvClp6EK6+Ks34xs03e96sHoiGJiiw=
@size 3093
@ts 1380111378
lib/libminisat.a
@sha ASJX4WfccJB5c9o18HsTtSsUp5gIj9ocsPHNtiwHjHg=
@size 275628
@ts 1619200110
@lib lib/libminisat.so.0.0
@sha c1MCePt0tBV39uqmFfPCMrjcHMQdN3iZZc0WmOKZvLQ=
@size 142690
@ts 1619200111
