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/applications/science/logic/coq/configure.patch | |
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/applications/science/logic/coq/configure.patch')
-rw-r--r-- | pkgs/applications/science/logic/coq/configure.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/pkgs/applications/science/logic/coq/configure.patch b/pkgs/applications/science/logic/coq/configure.patch deleted file mode 100644 index aa38ce06e92b..000000000000 --- a/pkgs/applications/science/logic/coq/configure.patch +++ /dev/null @@ -1,11 +0,0 @@ -diff -Nuar coq-8.3pl3-orig/configure coq-8.3pl3/configure ---- coq-8.3pl3-orig/configure 2011-12-19 22:57:30.000000000 +0100 -+++ coq-8.3pl3/configure 2012-03-17 16:38:16.000000000 +0100 -@@ -395,7 +395,6 @@ - ocamlyaccexec=$CAMLBIN/ocamlyacc - ocamlmktopexec=$CAMLBIN/ocamlmktop - ocamlmklibexec=$CAMLBIN/ocamlmklib -- camlp4oexec=$CAMLBIN/camlp4o - esac - - if test ! -f "$CAMLC" ; then |