This website requires JavaScript.
Explore
Help
Sign In
public
/
nixpkgs
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
be9901afe2ed5d33cd2cc4d2eb74357dd503b753
nixpkgs
/
pkgs
/
development
/
compilers
/
compcert
T
History
Vincent Laporte
609d408970
coq: make version 8.9 the default one
2019-08-21 12:07:38 +00:00
..
default.nix
coq: make version 8.9 the default one
2019-08-21 12:07:38 +00:00