| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2019-06-27 | coqPackages.gappalib: disable for Coq 8.10 | Vincent Laporte | 1 | -1/+1 |
| 2019-06-19 | coqPackages.gappalib: init at 1.4.1 | Vincent Laporte | 1 | -0/+30 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |