| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-02-11 | rocqPackages.stdlib: 9.1.0 -> 9.2.0 | Pierre Roux |
| 2025-07-08 | rocq-core_9_1: init at 9.1+rc1 | Pierre Roux |
| 2025-06-30 | coqPackages.*: better formatting fix | Pierre Roux |
| 2025-06-21 | coqPackages.*: fix formatting | Pierre Roux |
| 2025-02-07 | Add rocqPackages.bignums | Pierre Roux |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |