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
0dce66a6ec
nixpkgs
/
pkgs
/
applications
/
science
/
logic
/
coq
History
Vincent Laporte
3806eff9ca
coq_8_10: 8.10.1 → 8.10.2
2019-12-03 13:51:52 +00:00
..
default.nix
coq_8_10: 8.10.1 → 8.10.2
2019-12-03 13:51:52 +00:00