This website requires JavaScript.
Explore
Help
Register
Sign In
alioth
/
nixpkgs
Watch
3
Star
0
Fork
You've already forked nixpkgs
0
forked from
mirrors/nixpkgs
Code
Releases
Activity
e0801ba64b
nixpkgs
/
pkgs
/
development
/
coq-modules
/
CoLoR
History
Ben Siraphob
28d7cd8c46
coqPackages.CoLoR: update homepage
2022-01-07 16:45:54 +07:00
..
default.nix
coqPackages.CoLoR: update homepage
2022-01-07 16:45:54 +07:00