This website requires JavaScript.
Explore
Help
Sign In
cpet
/
openbsd-ports
Watch
1
Star
0
Fork
0
You've already forked openbsd-ports
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
922aea8ca7
openbsd-ports
/
math
/
minisat
History
jasper
a6b3d3a70b
- resolve ambiguity about what SAT is (prodded by naddy@)
...
- take maintainership
2009-09-18 09:31:33 +00:00
..
patches
pkg
distinfo
Makefile