@comment $OpenBSD: PLIST,v 1.4 2017/08/20 16:39:44 jca Exp $
@name minisat-2.2.0.20170810
@comment pkgpath=math/minisat cdrom=yes ftp=yes
@arch aarch64,arm64
+DESC
@sha atwlql7RKoLe7DGnGcJoQ1VWj+sRPhCHU2XMtVZbq/4=
@size 1154
@wantlib c++.1.0
@wantlib c++abi.0.0
@wantlib c.92.3
@wantlib m.10.1
@wantlib pthread.25.1
@wantlib z.5.0
@cwd /usr/local
@bin bin/minisat
@sha mQPnFrii6xgYrUHI3bcfHjc1hlzZ8N8JjG2EI5m0jgg=
@size 216520
@ts 1522345716
@bin bin/minisat_core
@sha wPNZgZ786QTH0XPTQHNf9kb7BZDJusuSgYV3cVAeLuo=
@size 212472
@ts 1522345716
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 1522345693
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 h8fJz0Vw+sKEGVQVeVm38llIEzN3u6r4gPHh502kRzc=
@size 12173
@ts 1380111378
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 7Qbd9C+vSEfdgS+G6uy+pALmxxNe9mau0ICfoVedcJI=
@size 159564
@ts 1522345716
@lib lib/libminisat.so.0.0
@sha XWmrzQP9AxXCLJZMJLYBYs6hlYkRUMkJy1xcS4VHXyo=
@size 215368
@ts 1522345720
