| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-03-30 | coqPackages.ExtLib: 0.13.0 → 0.13.1 | Vincent Laporte |
| 2025-10-05 | treewide: remove redundant parentheses | Wolfgang Walther |
| 2025-07-09 | coqPackages.*: 9.0 -> 9.1 | Pierre Roux |
| 2025-04-01 | treewide: Format all Nix files | Silvan Mosberger |
| 2025-03-14 | treewide: remove unused rec expressions | Sigmanificient |
| 2025-01-26 | coq_9_0: init at 9.0+rc1 | Pierre Roux |
| 2024-12-13 | Add coqPackages.stdlib | Pierre Roux |
| 2024-12-12 | coqPackages.ExtLib: 0.12.2 → 0.13.0 | Vincent Laporte |
| 2024-11-07 | coqPackages.ExtLib: 0.12.1 → 0.12.2 | Vincent Laporte |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |