Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |