diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2017-01-23 10:04:30 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2017-01-23 10:04:30 +0100 |
| commit | 50e4df3eca96ce158fd0e386259d47645a7a57e6 (patch) | |
| tree | 14351224f4df13c275ba814b464889b4ad4798a9 /sci-mathematics/coq/files | |
| parent | app-doc/pms: Adjust deps for TeX Live 2016, bug #606790. (diff) | |
| download | gentoo-50e4df3eca96ce158fd0e386259d47645a7a57e6.tar.gz gentoo-50e4df3eca96ce158fd0e386259d47645a7a57e6.tar.bz2 gentoo-50e4df3eca96ce158fd0e386259d47645a7a57e6.zip | |
sci-mathematics/coq: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'sci-mathematics/coq/files')
| -rw-r--r-- | sci-mathematics/coq/files/oc43.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/sci-mathematics/coq/files/oc43.patch b/sci-mathematics/coq/files/oc43.patch deleted file mode 100644 index 47fa10ab575e..000000000000 --- a/sci-mathematics/coq/files/oc43.patch +++ /dev/null @@ -1,13 +0,0 @@ -Index: coq-8.5pl1/Makefile.common -=================================================================== ---- coq-8.5pl1.orig/Makefile.common -+++ coq-8.5pl1/Makefile.common -@@ -231,7 +231,7 @@ endif - LINKCMO:=$(CORECMA) $(STATICPLUGINS) - LINKCMX:=$(CORECMA:.cma=.cmxa) $(STATICPLUGINS:.cma=.cmxa) - --IDEDEPS:=lib/clib.cma lib/xml_lexer.cmo lib/xml_parser.cmo lib/xml_printer.cmo lib/errors.cmo lib/spawn.cmo -+IDEDEPS:=lib/clib.cma lib/errors.cmo lib/spawn.cmo - IDECMA:=ide/ide.cma - IDETOPLOOPCMA=ide/coqidetop.cma - |