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

…