| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-02-22 | coqPackages.wasmcert: 2.2.0 is compatible with 9.1 | 4ever2 |
| 2026-01-06 | treewide: remove remaining 'with [a-zA-Z]*lib;' from pkgs | Ihar Hrachyshka |
| 2025-11-12 | coqPackages.mathcomp: 2.4.0 -> 2.5.0 | Pierre Roux |
| 2025-11-01 | wasmcert 2.2.0 is compatible with 9.0 | Wolfgang Meier |
| 2025-08-27 | coqPackages.wasmcert: release 2.2.0 | Wolfgang Meier |
| 2025-08-04 | coqPackages.wasmcert: init at 2.1.0 | Wolfgang Meier |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |