diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2015-11-12 13:00:51 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2015-11-12 13:00:51 +0100 |
| commit | 6f0fb37603bd5ee25a44322452ebabf1c551986f (patch) | |
| tree | 6b982061a036f19f0a8881744ddadf187efa81e6 /sci-mathematics/coq/files | |
| parent | dev-ml/camlp5: remove old (diff) | |
| download | gentoo-6f0fb37603bd5ee25a44322452ebabf1c551986f.tar.gz gentoo-6f0fb37603bd5ee25a44322452ebabf1c551986f.tar.bz2 gentoo-6f0fb37603bd5ee25a44322452ebabf1c551986f.zip | |
sci-mathematics/coq: remove old
Package-Manager: portage-2.2.24
Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq/files')
| -rw-r--r-- | sci-mathematics/coq/files/coq-8.4_p1-camlp4.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/sci-mathematics/coq/files/coq-8.4_p1-camlp4.patch b/sci-mathematics/coq/files/coq-8.4_p1-camlp4.patch deleted file mode 100644 index bc60b9f56f4c..000000000000 --- a/sci-mathematics/coq/files/coq-8.4_p1-camlp4.patch +++ /dev/null @@ -1,17 +0,0 @@ -Upstream rev 16121 -https://bugs.gentoo.org/show_bug.cgi?id=450954 - -Index: coq-8.4pl1/scripts/coqmktop.ml -=================================================================== ---- coq-8.4pl1.orig/scripts/coqmktop.ml -+++ coq-8.4pl1/scripts/coqmktop.ml -@@ -45,8 +45,7 @@ let camlp4topobjs = - [ "Camlp4Top.cmo"; - "Camlp4Parsers/Camlp4OCamlRevisedParser.cmo"; - "Camlp4Parsers/Camlp4OCamlParser.cmo"; -- "Camlp4Parsers/Camlp4GrammarParser.cmo"; -- "q_util.cmo"; "q_coqast.cmo" ] -+ "Camlp4Parsers/Camlp4GrammarParser.cmo" ] - let topobjs = camlp4topobjs - - let gramobjs = [] |