| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/alt-ergo: remove seq reference from dune build file |  Maciej Barć | 2022-11-19 | 2 | -0/+13 |
* | sci-mathematics/alt-ergo: 2.4.2 - do not depend on seq |  Maciej Barć | 2022-09-24 | 1 | -1/+0 |
* | sci-mathematics/alt-ergo: bump to 2.4.2 |  Maciej Barć | 2022-08-20 | 2 | -0/+56 |
* | sci-mathematics/alt-ergo: require ocamlopt |  Alfredo Tupone | 2022-06-29 | 1 | -0/+1 |
* | sci-mathematics/alt-ergo: fix OCaml dep |  Sam James | 2022-06-21 | 1 | -2/+2 |
* | sci-mathematics/alt-ergo: bump to 2.4.1_p20220407 |  Maciej Barć | 2022-04-15 | 2 | -0/+52 |
* | sci-mathematics/alt-ergo: depend on cmdliner <1.1.0 |  Maciej Barć | 2022-04-15 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: amd64 stable wrt bug #834375 |  Agostino Sarubbo | 2022-03-02 | 1 | -2/+2 |
* | sci-mathematics/alt-ergo: fix deps |  Maciej Barć | 2021-12-28 | 1 | -1/+5 |
* | sci-mathematics/alt-ergo: bump to 2.4.1 |  Maciej Barć | 2021-12-28 | 2 | -0/+45 |
* | sci-mathematics/alt-ergo: maint change: tupone -> ml & sci |  Maciej Barć | 2021-12-27 | 1 | -15/+21 |
* | **/metadata.xml: Replace http by https in DOCTYPE element |  Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: Remove old |  Jakov Smolic | 2021-01-20 | 2 | -34/+0 |
* | sci-mathematics/alt-ergo: enforce ocamlopt= |  Sam James | 2021-01-17 | 2 | -4/+4 |
* | sci-mathematics/alt-ergo: add subslot deps for OCaml |  Sam James | 2021-01-17 | 2 | -11/+11 |
* | sci-mathematics/alt-ergo: fix MissingSlotDep in older version |  Sam James | 2021-01-17 | 2 | -4/+4 |
* | sci-mathematics/alt-ergo: add github remote-id |  Sam James | 2021-01-17 | 1 | -0/+3 |
* | sci-mathematics/alt-ergo: depend only on lablgtk:2 |  Alfredo Tupone | 2020-12-05 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: fix dependency |  Alfredo Tupone | 2020-12-05 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: better fix for QA_FLAGS_IGNORED |  Alfredo Tupone | 2020-05-27 | 1 | -4/+4 |
* | sci-mathematics/alt-ergo: fix QA_FLAGS_IGNORED |  Thomas Deutschmann | 2020-05-25 | 1 | -2/+2 |
* | sci-mathematics/alt-ergo: fix dependency |  Alfredo Tupone | 2020-05-25 | 1 | -1/+8 |
* | sci-mathematics/alt-ergo: fix build with ocaml-4.09 |  Tupone Alfredo | 2020-03-10 | 1 | -2/+7 |
* | sci-mathematics/alt-ergo: add dev-ml/seq dependency |  Tupone Alfredo | 2019-10-28 | 1 | -0/+1 |
* | sci-mathematics/alt-ergo: stable |  Tupone Alfredo | 2019-10-21 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: fix BadInsIntoDir warning |  Tupone Alfredo | 2019-09-12 | 2 | -4/+2 |
* | sci-mathematics/alt-ergo: fix build |  Tupone Alfredo | 2019-09-07 | 1 | -1/+3 |
* | sci-mathematics/alt-ergo: bump to 2.3.0 |  Tupone Alfredo | 2019-07-27 | 2 | -0/+43 |
* | sci-mathematics/alt-ergo: Fix dependency |  Tupone Alfredo | 2019-07-25 | 1 | -2/+2 |
* | sci-mathematics/alt-ergo: Stable release |  Tupone Alfredo | 2018-12-16 | 1 | -2/+2 |
* | sci-mathematics/alt-ergo: use HTTPs |  Michael Mair-Keimberger | 2018-06-02 | 1 | -2/+2 |
* | sci-mathematics: Update Manifest hashes. |  Ulrich Müller | 2017-12-10 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: Adding alt-ergo 1.30 |  Tupone Alfredo | 2017-10-14 | 3 | -0/+51 |