diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2018-10-28 20:45:04 +0000 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2018-10-30 13:31:11 +0000 |
| commit | 8df0ca2bbcc98a787fccf623a91f5ea79161fce9 (patch) | |
| tree | f8eaf67484757a410c627a5ea0e44e3b82143ca1 /pkgs/top-level/coq-packages.nix | |
| parent | b5ad6154743436b5acc791ccec5cde4be36dd18b (diff) | |
coq_8_4: remove
verasco was its only user
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 75e9506ac049..a4f44b6fc6f7 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -56,9 +56,6 @@ in rec { let self = mkCoqPackages' self coq; in filterCoqPackages coq self; - coq_8_4 = callPackage ../applications/science/logic/coq/8.4.nix { - inherit (ocamlPackages_4_02) ocaml findlib lablgtk camlp5; - }; coq_8_5 = callPackage ../applications/science/logic/coq { ocamlPackages = ocamlPackages_4_05; version = "8.5pl3"; |