Update Coq to version 8.2pl2 (patch by roconnor)
tree5b035aa851b94d17fc3393a5bbd868be71c173b2
-rw-r--r-- 1650 COPYING
-rw-r--r-- 1 STABLE
-rw-r--r-- 4 VERSION
-rw-r--r-- 41 default.nix
drwxr-xr-x - doc
drwxr-xr-x - maintainers
drwxr-xr-x - pkgs