aboutsummaryrefslogtreecommitdiffstats
path: root/math/alt-ergo
Commit message (Expand)AuthorAgeFilesLines
* Convert GMAKE to MAKE_CMDbapt2014-06-251-1/+1
* math/alt-ergo: Update version 0.94 => 0.95.2 and support stagemarino2014-06-033-30/+25
* - Convert gmake,bzip2 to USESmiwi2014-05-261-1/+1
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* update master sites; trim headers; reposition LICENSE, WWWbf2013-03-192-2/+2
* switch to the new options formatbf2013-03-071-3/+4
* update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjustbf2013-03-061-7/+5
* - update png to 1.5.10dinoex2012-06-011-0/+1
* Add alt-ergo 0.94, an automatic theorem prover dedicated to programbf2011-12-214-0/+87