Gleb Popov 3086d6bc15 math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying dependency on ... cryptomisat.		2020-03-27 14:59:07 +00:00
..
distinfo	math/cryptominisat and math/py-cryptominisat to 5.6.8.	2019-02-23 16:31:47 +00:00
Makefile	math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying dependency on	2020-03-27 14:59:07 +00:00
pkg-descr
pkg-plist