This website requires JavaScript.
Explore
Help
Register
Sign In
colin
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
596,285
Commits
125
Branches
0
Tags
3.4
GiB
74560a9570
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