kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
293796 commits 42 branches 80 tags 2.7 GiB
Commit graph

2 commits

Author SHA1 Message Date
Dirk Meyer
2b74a89bc8 - update png to 1.5.10 2012-06-01 05:26:28 +00:00
Brendan Fabeny
88ece46f9f Add alt-ergo 0.94, an automatic theorem prover dedicated to program 
verification.
 2011-12-21 02:58:24 +00:00