| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-12-10 | treewide: clean up 'meta = with' pattern | Ihar Hrachyshka |
| 2025-01-26 | coq_9_0: init at 9.0+rc1 | Pierre Roux |
| 2024-12-10 | treewide: format all inactive Nix files | Silvan Mosberger |
| 2024-10-01 | coqPackages.coqide: fix `desktopItems` | h7x4 |
| 2024-07-01 | adwaita-icon-theme: Move from gnome scope to top-level | Jan Tojnar |
| 2024-06-09 | treewide: Remove the definite article from meta.description | Alexis Hildebrandt |
| 2024-04-27 | treewide: wrapGAppsHook → wrapGAppsHook3 | Jan Tojnar |
| 2024-03-19 | treewide: add meta.mainProgram to packages with a single binary | stuebinm |
| 2023-01-21 | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 |
| 2022-10-02 | coqPackages.mkCoqDerivation: upgrade to Dune 3 | Théo Zimmermann |
| 2022-07-10 | Split out CoqIDE by default when Coq >= 8.14. | Théo Zimmermann |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |