diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-08 21:10:05 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-09 09:47:31 +0200 |
commit | c76ffb92539d830eacf3e5bf5164ac7621c77010 (patch) | |
tree | f794b5c199eb38a8075955c26e03d614c1d5d2e3 /pkgs/top-level/ocaml-packages.nix | |
parent | 0f8ef669ac3988bc731e9722609f80994755ffc5 (diff) | |
download | nixlib-c76ffb92539d830eacf3e5bf5164ac7621c77010.tar nixlib-c76ffb92539d830eacf3e5bf5164ac7621c77010.tar.gz nixlib-c76ffb92539d830eacf3e5bf5164ac7621c77010.tar.bz2 nixlib-c76ffb92539d830eacf3e5bf5164ac7621c77010.tar.lz nixlib-c76ffb92539d830eacf3e5bf5164ac7621c77010.tar.xz nixlib-c76ffb92539d830eacf3e5bf5164ac7621c77010.tar.zst nixlib-c76ffb92539d830eacf3e5bf5164ac7621c77010.zip |
matita: remove broken package
As requested by Vincent Laporte.
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
-rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 4de581e2932d..5f6d6fc9bc1d 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1051,12 +1051,6 @@ let camlp5 = camlp5_strict; }; - matita = callPackage ../applications/science/logic/matita { - ulex08 = ulex08.override { camlp5 = camlp5_old_transitional; }; - }; - - matita_130312 = callPackage ../applications/science/logic/matita/130312.nix { }; - }; in (ocamlPackages.janeStreet // ocamlPackages); in lib.fix' (lib.extends overrides packageSet); |