nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-22 21:53:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
531,364 Commits 180 Branches 125 Tags 8.3 GiB
8e9878782d
Commit Graph

3 Commits

Author SHA1 Message Date
Shawn8901
4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Théo Zimmermann
2dc3552aa1 coqPackages.mkCoqDerivation: upgrade to Dune 3 
And remove the version number from the corresponding attributes.
 2022-10-02 14:42:28 +02:00
Théo Zimmermann
3ea8ed7d7e Split out CoqIDE by default when Coq >= 8.14. 2022-07-10 15:49:44 +02:00