about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/alt-ergo
AgeCommit message (Expand)AuthorFilesLines
2024-03-27alt-ergo: 2.5.2 → 2.5.3Vincent Laporte1-2/+2
2023-12-17alt-ergo: fix build on darwinWeijia Wang1-2/+2
2023-10-19alt-ergo: 2.5.1 -> 2.5.2R. Ryantm1-2/+2
2023-09-29alt-ergo: 2.4.3 → 2.5.1Vincent Laporte1-26/+14
2023-05-31alt-ergo: 2.4.2 → 2.4.3Vincent Laporte1-3/+3
2023-01-30alt-ergo: fix src URLVincent Laporte1-2/+2
2022-12-03alt-ergo: fix version stringVincent Laporte1-0/+3
2022-09-18ocamlPackages.cmdliner: default to 1.1Vincent Laporte1-1/+1
2022-08-17alt-ergo: 2.4.1 → 2.4.2Vincent Laporte1-13/+9
2022-06-05alt-ergo: ensure compatibility with Menhir ≥ 20211215Vincent Laporte1-6/+10
2022-05-18treewide: convert string configureFlags to list of stringsArtturin1-3/+3
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid1-10/+7
2021-10-12alt-ergo: 2.4.0 → 2.4.1Vincent Laporte1-2/+2
2021-04-26alt-ergo: 2.3.3 → 2.4.0Vincent Laporte1-6/+11
2021-02-23alt-ergo: use Dune 2Vincent Laporte1-3/+5
2020-08-29alt-ergo: 2.3.2 → 2.3.3Vincent Laporte1-7/+5
2020-04-08alt-ergo: 2.3.1 → 2.3.2Vincent Laporte1-5/+4
2020-03-24alt-ergo: 2.3.0 → 2.3.1Vincent Laporte1-11/+33
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-3/+3
2019-02-12alt-ergo: 2.2.0 -> 2.3.0Vincent Laporte1-5/+8
2018-10-13alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4Moritz Kiefer1-4/+4
2017-08-13alt-ergo: use https instead of http to fetch archiveJean-Pierre PRUNARET1-2/+2
2017-01-21alt-ergo: 0.99.1 -> 1.30Vincent Laporte1-3/+3
2016-01-04alt-ergo: also supported on DarwinVincent Laporte1-2/+2
2014-12-31alt-ergo: update from 0.95.2 to 0.99.1Vincent Laporte1-2/+2
2014-11-07zarith: propagate build input gmpVincent Laporte1-2/+2
2014-08-24Fix many package descriptionsBjørn Forsman1-1/+1
2014-05-01nixpkgs: add alt-ergo 0.95.2Austin Seipp1-0/+23
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 08:53:04 +0000