cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
111,054 Commits 1 Branch 0 Tags 544 MiB
b24709326c
Commit Graph

3 Commits

Author SHA1 Message Date
naddy
570aa62a9c Drop remaining MD5/RMD160/SHA1 checksums. 2015-01-18 03:12:39 +00:00
espie
0662a4e9d6 PERMIT_* / REGRESS->TEST sweep 2013-03-11 11:20:26 +00:00
edd
29f399ba60 import logic2cnf - propositional logic solver tool. 
OK jasper@
 2010-10-24 13:55:41 +00:00