aboutsummaryrefslogtreecommitdiff
path: root/math/alt-ergo
Commit message (Expand)AuthorAgeFilesLines
* ocaml: Updates to ocaml compiler and several ocaml portsBenjamin Jacobs2024-05-221-1/+1
* math/alt-ergo: Moved man to share/manMuhammad Moinur Rahman2024-02-242-2/+3
* lang/ocaml: Update to 4.08.1Guido Falsi2023-07-051-1/+1
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* math: remove 'Created by' linesTobias C. Berner2022-07-201-2/+0
* OCaml: transient update of the stack to version 4.07.1Alexey Dokuchaev2022-04-161-0/+1
* math/alt-ergo: fix buildDmitry Marakasov2021-04-292-3/+4
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* Remove the GUI optionBaptiste Daroussin2021-02-042-24/+1
* Mark as BROKEN on powerpc64:Mark Linimon2020-05-181-0/+2
* Reset ports maintained by bf@ until he has time again to work on them.Rene Ladan2016-06-271-1/+1
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-5/+5
* - Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which addGuido Falsi2015-05-041-1/+1
* Canonicalize a few licensesAntoine Brodin2014-12-071-1/+1
* Cleanup plistAntoine Brodin2014-11-131-3/+0
* Update the default version of GCC in the Ports Collection from GCC 4.7.4Gerald Pfeifer2014-09-101-0/+1
* Convert GMAKE to MAKE_CMDBaptiste Daroussin2014-06-251-1/+1
* math/alt-ergo: Update version 0.94 => 0.95.2 and support stageJohn Marino2014-06-023-30/+25
* - Convert gmake,bzip2 to USESMartin Wilke2014-05-261-1/+1
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* update master sites; trim headers; reposition LICENSE, WWWBrendan Fabeny2013-03-182-2/+2
* switch to the new options formatBrendan Fabeny2013-03-071-3/+4
* update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjustBrendan Fabeny2013-03-051-7/+5
* - update png to 1.5.10Dirk Meyer2012-06-011-0/+1
* Add alt-ergo 0.94, an automatic theorem prover dedicated to programBrendan Fabeny2011-12-214-0/+87
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-10 15:04:01 +0000