| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-02-12 | coqPackages.vcfloat: 2.2 -> 2.3 | Pierre Roux |
| 2024-12-10 | treewide: format all inactive Nix files | Silvan Mosberger |
| 2024-06-09 | treewide: Remove indefinite article from meta.description | Alexis Hildebrandt |
| 2024-04-02 | coqPackages.vcfloat: enable for Coq 8.18 & 8.19 | Vincent Laporte |
| 2024-03-09 | treewide: fix sourceRoot for fetchgit-based src | Yueh-Shun Li |
| 2023-11-09 | coqPackages.vcfloat: fix | Quinn Dougherty |
| 2023-09-29 | coqPackages.vcfloat: init at 2.1.1 | Quinn Dougherty |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |