?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
snapshot (tar.gz zip)
Updated Coq to version 8.2pl1
tree73d3a5c3f60ca547200cbd98064ad97b7bb973f9
-rw-r--r-- 1650 COPYING blob | blame | history | raw
-rw-r--r-- 1 STABLE blob | blame | history | raw
-rw-r--r-- 4 VERSION blob | blame | history | raw
-rw-r--r-- 41 default.nix blob | blame | history | raw
drwxr-xr-x - doc tree | history
drwxr-xr-x - maintainers tree | history
drwxr-xr-x - pkgs tree | history
Nixpkgs-Libre, a libre version of the Nix Package Collection (Nixpkgs)