[Git][ocaml-team/coq][master] 2 commits: Remove Priority and Rules-Requires-Root from debian/control

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


Commits:
188c29f5 by Stephane Glondu at 2026-08-25T13:44:56+02:00
Remove Priority and Rules-Requires-Root from debian/control

- - - - -
22e2b589 by Stephane Glondu at 2026-08-25T13:45:07+02:00
Update changelog and prepare upload to unstable

- - - - -


2 changed files:

- debian/changelog
- debian/control


Changes:

=====================================
debian/changelog
=====================================
@@ -1,8 +1,9 @@
-coq (9.2.0+dfsg-4) UNRELEASED; urgency=medium
+coq (9.2.0+dfsg-4) unstable; urgency=medium
 
   * Add libcoq-core-ocaml to coq's Depends
+  * Remove Priority and Rules-Requires-Root from debian/control
 
- -- Stéphane Glondu <[email protected]>  Sat, 22 Aug 2026 16:30:13 +0200
+ -- Stéphane Glondu <[email protected]>  Tue, 25 Aug 2026 13:45:05 +0200
 
 coq (9.2.0+dfsg-3) unstable; urgency=medium
 


=====================================
debian/control
=====================================
@@ -1,6 +1,5 @@
 Source: coq
 Section: math
-Priority: optional
 Maintainer: Debian OCaml Maintainers <[email protected]>
 Uploaders:
  Julien Puydt <[email protected]>,
@@ -22,7 +21,6 @@ Build-Depends:
  libzarith-ocaml-dev,
  rsync,
  tex-common
-Rules-Requires-Root: no
 Homepage: http://coq.inria.fr/
 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
 Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git



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

-- 
View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/1cc62d753f3b419e569c8778321743c43dd50429...22e2b589721196a11bad2b23aaadad20f2089c06
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