| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-03-20 | treewide: fix some more `sourceRoot`s | Jan Malakhovski |
| 2024-12-10 | treewide: format all inactive Nix files | Silvan Mosberger |
| 2024-04-02 | coqPackages.Vpl: fix meta | Vincent Laporte |
| 2024-03-15 | coqPackages.Vpl: init at 0.5 | Vincent Laporte |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |