Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/alt-ergo: fix OCaml depSam James2022-06-211-56/+0
* sci-mathematics/alt-ergo: enforce ocamlopt=Sam James2021-01-171-2/+2
* sci-mathematics/alt-ergo: add subslot deps for OCamlSam James2021-01-171-7/+7
* sci-mathematics/alt-ergo: fix MissingSlotDep in older versionSam James2021-01-171-2/+2
* sci-mathematics/alt-ergo: depend only on lablgtk:2Alfredo Tupone2020-12-051-1/+1
* sci-mathematics/alt-ergo: fix dependencyAlfredo Tupone2020-12-051-1/+1
* sci-mathematics/alt-ergo: better fix for QA_FLAGS_IGNOREDAlfredo Tupone2020-05-271-4/+4
* sci-mathematics/alt-ergo: fix QA_FLAGS_IGNOREDThomas Deutschmann2020-05-251-2/+2
* sci-mathematics/alt-ergo: fix dependencyAlfredo Tupone2020-05-251-1/+8
* sci-mathematics/alt-ergo: fix build with ocaml-4.09Tupone Alfredo2020-03-101-2/+7
* sci-mathematics/alt-ergo: add dev-ml/seq dependencyTupone Alfredo2019-10-281-0/+1
* sci-mathematics/alt-ergo: stableTupone Alfredo2019-10-211-1/+1
* sci-mathematics/alt-ergo: fix BadInsIntoDir warningTupone Alfredo2019-09-121-2/+1
* sci-mathematics/alt-ergo: fix buildTupone Alfredo2019-09-071-1/+3
* sci-mathematics/alt-ergo: bump to 2.3.0Tupone Alfredo2019-07-271-0/+42