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 | |
| parent | b5ad6154743436b5acc791ccec5cde4be36dd18b (diff) | |
| download | nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.tar nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.tar.gz nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.tar.bz2 nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.tar.lz nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.tar.xz nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.tar.zst nixlib-8df0ca2bbcc98a787fccf623a91f5ea79161fce9.zip | |
coq_8_4: remove
verasco was its only user
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 | ||||
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 3 |
2 files changed, 1 insertions, 4 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 5127ad2421c7..f98bf64fdf7b 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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 ; 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"; |