diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2019-02-03 15:57:45 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 11:39:51 -0500 |
| commit | 5a641c3f2d46146bb0f6c7d586c2e56b10e0d61e (patch) | |
| tree | db3c2f2c79e822012e9e72d0a42c28864fc1f7bc /debian/libcoq-ocaml.install.in | |
| parent | d0bcaaec725e8cf8ffc7dda9fd59f55dedab2559 (diff) | |
Update to new toploop packaging
As of 8.9, upstream has stopped distributing plugins that turn coqtop
into worker processes for CoqIDE and other things. There are now
separate binaries for each coqtop use case. Ensure they’re all
distributed.
Diffstat (limited to 'debian/libcoq-ocaml.install.in')
| -rw-r--r-- | debian/libcoq-ocaml.install.in | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/debian/libcoq-ocaml.install.in b/debian/libcoq-ocaml.install.in index c89a0e53..16f20bb5 100644 --- a/debian/libcoq-ocaml.install.in +++ b/debian/libcoq-ocaml.install.in @@ -21,12 +21,6 @@ usr/lib/coq/plugins/syntax/nat_syntax_plugin.cmo usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmo usr/lib/coq/plugins/syntax/string_syntax_plugin.cmo usr/lib/coq/plugins/syntax/z_syntax_plugin.cmo -usr/lib/coq/toploop/proofworkertop.cma -usr/lib/coq/toploop/tacworkertop.cma -usr/lib/coq/toploop/queryworkertop.cma -DYN: usr/lib/coq/toploop/proofworkertop.cmxs -DYN: usr/lib/coq/toploop/tacworkertop.cmxs -DYN: usr/lib/coq/toploop/queryworkertop.cmxs DYN: usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs DYN: usr/lib/coq/plugins/extraction/extraction_plugin.cmxs DYN: usr/lib/coq/plugins/cc/cc_plugin.cmxs |