Commit message (Expand) | Author | Age | |
---|---|---|---|
* | alt-ergo: 2.3.3 → 2.4.0 | Vincent Laporte | 2021-04-26 |
* | alt-ergo: use Dune 2 | Vincent Laporte | 2021-02-23 |
* | alt-ergo: 2.3.2 → 2.3.3 | Vincent Laporte | 2020-08-29 |
* | alt-ergo: 2.3.1 → 2.3.2 | Vincent Laporte | 2020-04-08 |
* | alt-ergo: 2.3.0 → 2.3.1 | Vincent Laporte | 2020-03-24 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | alt-ergo: 2.2.0 -> 2.3.0 | Vincent Laporte | 2019-02-12 |
* | alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4 | Moritz Kiefer | 2018-10-13 |
* | alt-ergo: use https instead of http to fetch archive | Jean-Pierre PRUNARET | 2017-08-13 |
* | alt-ergo: 0.99.1 -> 1.30 | Vincent Laporte | 2017-01-21 |
* | alt-ergo: also supported on Darwin | Vincent Laporte | 2016-01-04 |
* | alt-ergo: update from 0.95.2 to 0.99.1 | Vincent Laporte | 2014-12-31 |
* | zarith: propagate build input gmp | Vincent Laporte | 2014-11-07 |
* | Fix many package descriptions | Bjørn Forsman | 2014-08-24 |
* | nixpkgs: add alt-ergo 0.95.2 | Austin Seipp | 2014-05-01 |