diff options
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index 4cf2f8f1..5cc70086 100755 --- a/debian/rules +++ b/debian/rules @@ -22,7 +22,7 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT= PACKAGES := $(shell dh_listpackages) -COQ_VERSION := 8.5 +COQ_VERSION := 8.6 COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI) ARCH := $(shell dpkg-architecture -q DEB_TARGET_ARCH) @@ -105,7 +105,7 @@ override_dh_install: .PHONY: override_dh_ocaml override_dh_ocaml: - dh_ocaml --nodefined-map coqide:Xmlprotocol,Ide_slave + dh_ocaml --nodefined-map coqide:Xmlprotocol,Ide_slave,Xml_printer,Richprinter,Document,Xml_parser,Xml_lexer,Serialize for f in debian/*substvars; do echo $$f; cat $$f; done .PHONY: override_dh_gencontrol |