| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-04-24 | coqPackages.Ordinal: 0.5.4 -> 0.5.6 | damhiya |
| 2025-01-07 | coqPackages.Ordinal: 0.5.3 -> 0.5.4 | damhiya |
| 2024-11-28 | coqPackages.Ordinal: init at 0.5.3 | damhiya |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |