This website requires JavaScript.
Explore
Help
Sign In
cpet
/
freebsd-ports
Watch
1
Star
0
Fork
0
You've already forked freebsd-ports
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
2020Q3
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
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