Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: 5aafdc03 by Julien Puydt at 2022-01-17T08:20:12+01:00 Make the ocaml libs available in /usr/lib/ocaml - - - - - e0160c4d by Julien Puydt at 2022-01-17T08:54:30+01:00 Prepare for upload - - - - - 2 changed files: - debian/changelog - + debian/libcoq-ocaml-dev.links Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,10 @@ +coq (8.14.1+dfsg-2) unstable; urgency=medium + + * Make the ocaml libraries available in /usr/lib/ocaml + (so ocamlfind sees them) + + -- Julien Puydt <[email protected]> Mon, 17 Jan 2022 08:54:23 +0100 + coq (8.14.1+dfsg-1) unstable; urgency=medium * Ship META in the right package and hence Suggest: ocaml-findlib ===================================== debian/libcoq-ocaml-dev.links ===================================== @@ -0,0 +1 @@ +usr/lib/coq-core usr/lib/ocaml/coq-core View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/0034e8a2cecffb4d1aaefd9cc66818d8445f2ed5...e0160c4d3188e6fe87307a282a3814a044bc12b5 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/0034e8a2cecffb4d1aaefd9cc66818d8445f2ed5...e0160c4d3188e6fe87307a282a3814a044bc12b5 You're receiving this email because of your account on salsa.debian.org.
