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