kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/alt-ergo/distinfo
Brendan Fabeny 88ece46f9f Add alt-ergo 0.94, an automatic theorem prover dedicated to program 
verification.
2011-12-21 02:58:24 +00:00

2 lines
134 B
Text
Raw Blame History

SHA256 (alt-ergo-0.94.tar.gz) = bb6ddf947357d587eac4dc3375b712af2c58e46d3f5ab2c8eee5f25a99c2cd6e
SIZE (alt-ergo-0.94.tar.gz) = 188414
Reference in a new issue View git blame Copy permalink