mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-04 01:48:54 +00:00
Code Issues Releases Activity
2b82c41a0c
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

3 lines
134 B
Plaintext
Raw Blame History

SHA256 (alt-ergo-0.94.tar.gz) = bb6ddf947357d587eac4dc3375b712af2c58e46d3f5ab2c8eee5f25a99c2cd6e
SIZE (alt-ergo-0.94.tar.gz) = 188414
Reference in New Issue View Git Blame Copy Permalink