[Git][ocaml-team/coq][master] 2 commits: Add libcoq-core-ocaml to coq's Depends

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq


Commits:
e8730e14 by Stephane Glondu at 2026-08-22T16:30:09+02:00
Add libcoq-core-ocaml to coq's Depends

- - - - -
1cc62d75 by Stephane Glondu at 2026-08-22T16:30:23+02:00
Update changelog

- - - - -


2 changed files:

- debian/changelog
- debian/control


Changes:

=====================================
debian/changelog
=====================================
@@ -1,3 +1,9 @@
+coq (9.2.0+dfsg-4) UNRELEASED; urgency=medium
+
+  * Add libcoq-core-ocaml to coq's Depends
+
+ -- Stéphane Glondu <[email protected]>  Sat, 22 Aug 2026 16:30:13 +0200
+
 coq (9.2.0+dfsg-3) unstable; urgency=medium
 
   * Fix compilation with recent dune.


=====================================
debian/control
=====================================
@@ -31,6 +31,7 @@ Package: coq
 Architecture: any
 Depends:
  libcoq-core (= ${binary:Version}),
+ libcoq-core-ocaml (= ${binary:Version}),
  ${ocaml:Depends},
  ${shlibs:Depends},
  ${misc:Depends},



View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/7d719c9a3c8b9561ac6d2fe532d14ebc9e837431...1cc62d753f3b419e569c8778321743c43dd50429

-- 
View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/7d719c9a3c8b9561ac6d2fe532d14ebc9e837431...1cc62d753f3b419e569c8778321743c43dd50429
You're receiving this email because of your account on salsa.debian.org. Manage all notifications: https://salsa.debian.org/-/profile/notifications | Help: https://salsa.debian.org/help