build-conflicts libcoq-ocaml
Ralf Treinen authored 4 years ago
Ralf Treinen committed 4 years ago
| 2 | 2 | * Be more precise in install files to avoid that usr/bin/coqidetop.{opt,byte} |
| 3 | 3 | gets installed in both the coq and coqide packages (closes: #949975) |
| 4 | 4 | * Add an as-installed test for the compiler and the toplevel. |
| 5 | * Build-Conflicts with libcoq-ocaml. This seems to be necessary to avoid | |
| 6 | that coq depends on two versions of libcoq-ocaml: the one being build, | |
| 7 | and the one that is being compiled. | |
| 5 | 8 | |
| 6 | 9 | -- Ralf Treinen <treinen@debian.org> Tue, 28 Jan 2020 11:47:05 +0100 |
| 7 | 10 |