bf 2011-12-21 02:58:24 UTC
FreeBSD ports repository
Modified files:
math Makefile
Added files:
math/alt-ergo Makefile distinfo pkg-descr pkg-plist
Log:
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.
Revision Changes Path
1.746 +1 -0 ports/math/Makefile
1.1 +65 -0 ports/math/alt-ergo/Makefile (new)
1.1 +2 -0 ports/math/alt-ergo/distinfo (new)
1.1 +10 -0 ports/math/alt-ergo/pkg-descr (new)
1.1 +10 -0 ports/math/alt-ergo/pkg-plist (new)
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscr...@freebsd.org"
