diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-10 17:27:19 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-10 19:44:54 +0200 |
commit | 2fdd38ed2df0f6df08154a8982c87d77b9ca7b18 (patch) | |
tree | f9efce1d42b14e4d790c27ed59a23f94ffd98bbf /pkgs/top-level/coq-packages.nix | |
parent | eaf0de5985ef1316323c7da4026ed268399a3589 (diff) | |
download | nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.tar nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.tar.gz nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.tar.bz2 nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.tar.lz nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.tar.xz nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.tar.zst nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.zip |
camlp5_transitional: remove in favor of camlp5 (strict)
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
-rw-r--r-- | pkgs/top-level/coq-packages.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 305d9ba351b..ca367aeb0d1 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -56,8 +56,7 @@ in rec { filterCoqPackages coq self; coq_8_4 = callPackage ../applications/science/logic/coq/8.4.nix { - inherit (ocamlPackages_4_02) ocaml findlib lablgtk; - camlp5 = ocamlPackages_4_02.camlp5_transitional; + inherit (ocamlPackages_4_02) ocaml findlib lablgtk camlp5; }; coq_8_5 = callPackage ../applications/science/logic/coq { ocamlPackages = ocamlPackages_4_05; |