This website requires JavaScript.
Explore
Help
Register
Sign In
swendel
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced
2024-09-19 20:09:01 +02:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
master
nixpkgs
/
pkgs
/
test
/
coq
History
…
..
overrideCoqDerivation
default.nix
tests.coq.overrideCoqDerivation: add test
2022-08-29 14:46:20 +09:00