summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/alt-ergo: remove unused patchMichael Mair-Keimberger2023-10-011-11/+0
* sci-mathematics/alt-ergo: drop old 2.4.2-r1Maciej Barć2023-09-222-57/+0
* sci-mathematics/alt-ergo: drop old 2.4.1-r2Maciej Barć2023-09-222-49/+0
* sci-mathematics/alt-ergo: Stabilize 2.4.3 amd64, #912295Sam James2023-08-161-1/+1
* sci-mathematics/alt-ergo: add live versionMaciej Barć2023-06-041-0/+76
* sci-mathematics/alt-ergo: bump to 2.4.3Maciej Barć2023-06-043-0/+87
* sci-mathematics/alt-ergo: drop 2.3.0-r1, 2.4.1_p20220407-r1Andreas Sturmlechner2023-01-303-110/+0
* sci-mathematics/alt-ergo: Stabilize 2.4.2-r1 amd64, #892271Sam James2023-01-301-2/+2
* sci-mathematics/alt-ergo: remove seq reference from dune build fileMaciej Barć2022-11-192-0/+13
* sci-mathematics/alt-ergo: 2.4.2 - do not depend on seqMaciej Barć2022-09-241-1/+0
* sci-mathematics/alt-ergo: bump to 2.4.2Maciej Barć2022-08-202-0/+56
* sci-mathematics/alt-ergo: require ocamloptAlfredo Tupone2022-06-291-0/+1
* sci-mathematics/alt-ergo: fix OCaml depSam James2022-06-211-2/+2
* sci-mathematics/alt-ergo: bump to 2.4.1_p20220407Maciej Barć2022-04-152-0/+52
* sci-mathematics/alt-ergo: depend on cmdliner <1.1.0Maciej Barć2022-04-151-1/+1
* sci-mathematics/alt-ergo: amd64 stable wrt bug #834375Agostino Sarubbo2022-03-021-2/+2
* sci-mathematics/alt-ergo: fix depsMaciej Barć2021-12-281-1/+5
* sci-mathematics/alt-ergo: bump to 2.4.1Maciej Barć2021-12-282-0/+45
* sci-mathematics/alt-ergo: maint change: tupone -> ml & sciMaciej Barć2021-12-271-15/+21
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* sci-mathematics/alt-ergo: Remove oldJakov Smolic2021-01-202-34/+0
* sci-mathematics/alt-ergo: enforce ocamlopt=Sam James2021-01-172-4/+4
* sci-mathematics/alt-ergo: add subslot deps for OCamlSam James2021-01-172-11/+11
* sci-mathematics/alt-ergo: fix MissingSlotDep in older versionSam James2021-01-172-4/+4
* sci-mathematics/alt-ergo: add github remote-idSam James2021-01-171-0/+3
* 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-122-4/+2
* sci-mathematics/alt-ergo: fix buildTupone Alfredo2019-09-071-1/+3
* sci-mathematics/alt-ergo: bump to 2.3.0Tupone Alfredo2019-07-272-0/+43
* sci-mathematics/alt-ergo: Fix dependencyTupone Alfredo2019-07-251-2/+2
* sci-mathematics/alt-ergo: Stable releaseTupone Alfredo2018-12-161-2/+2
* sci-mathematics/alt-ergo: use HTTPsMichael Mair-Keimberger2018-06-021-2/+2
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-1/+1
* sci-mathematics/alt-ergo: Adding alt-ergo 1.30Tupone Alfredo2017-10-143-0/+51