Change the name of the coq derivation to coq-devel-8.3pre1
treeeeaf6a1790b95b31e0f0bbc26a2d7b5c5f94b552
-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