Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits:
-
5aafdc03
by Julien Puydt at 2022-01-17T08:20:12+01:00
-
e0160c4d
by Julien Puydt at 2022-01-17T08:54:30+01:00
2 changed files:
Changes:
| 1 |
+coq (8.14.1+dfsg-2) unstable; urgency=medium
|
|
| 2 |
+ |
|
| 3 |
+ * Make the ocaml libraries available in /usr/lib/ocaml
|
|
| 4 |
+ (so ocamlfind sees them)
|
|
| 5 |
+ |
|
| 6 |
+ -- Julien Puydt <jpuydt@debian.org> Mon, 17 Jan 2022 08:54:23 +0100
|
|
| 7 |
+ |
|
| 1 | 8 |
coq (8.14.1+dfsg-1) unstable; urgency=medium
|
| 2 | 9 |
|
| 3 | 10 |
* Ship META in the right package and hence Suggest: ocaml-findlib
|
| 1 |
+usr/lib/coq-core usr/lib/ocaml/coq-core
|