This website requires JavaScript.
Explore
Help
Sign In
nek0
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
Code
Issues
Pull requests
Releases
Wiki
Activity
b437b6b405
nixpkgs
/
pkgs
/
development
/
compilers
/
compcert
History
Vincent Laporte
9a913b5125
compcert: build with Coq 8.11
...
And fix installation of development files (use upstream Makefile rules instead of ad-hoc commands).
2020-10-05 16:39:26 +02:00
..
default.nix
compcert: build with Coq 8.11
2020-10-05 16:39:26 +02:00