mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-20 20:09:11 +00:00
Code Issues Releases Activity
17b41d7d12
freebsd-ports/math/cryptominisat
History
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