| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2017-02-11 | coqPackages.interval: 2.2.1 -> 3.1.1 | Vincent Laporte | 1 | -3/+3 |
| 2016-01-06 | coq-interval: 2.1.0 -> 2.2.1 | Vincent Laporte | 1 | -5/+5 |
| 2015-12-03 | coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0 | Vincent Laporte | 1 | -3/+3 |
| 2014-12-08 | Adds coq-interval | Vincent Laporte | 1 | -0/+26 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |