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
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