coq_8_4: remove

verasco was its only user
2018-10-30 13:31:11 +00:00
parent b5ad615474
commit 8df0ca2bbc
4 changed files with 1 additions and 112 deletions
@@ -21364,7 +21364,7 @@ with pkgs;
                       ocamlPackages_4_05
    ;
  }) mkCoqPackages
-    coq_8_4 coq_8_5 coq_8_6 coq_8_7 coq_8_8
+    coq_8_5 coq_8_6 coq_8_7 coq_8_8
    coqPackages_8_5 coqPackages_8_6 coqPackages_8_7 coqPackages_8_8
    coqPackages coq
  ;