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
..
files
distinfo
Makefile
pkg-descr
pkg-plist