[ubuntu/noble-proposed] coq 8.18.0+dfsg-1 (Accepted)

Jeremy Bícha jeremy.bicha at canonical.com
Fri Dec 22 19:14:59 UTC 2023


coq (8.18.0+dfsg-1) unstable; urgency=medium

  [ Debian Janitor ]
  * Update lintian override info to new format:
    + debian/coq.lintian-overrides: line 2, 4-21
    + debian/libcoq-core-ocaml-dev.lintian-overrides: line 2
    + debian/libcoq-core-ocaml.lintian-overrides: line 2-4, 6
  * debian/copyright: use spaces rather than tabs to start continuation lines.
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
  * Update standards version to 4.6.2, no changes needed.
  * Remove constraints unnecessary since buster (oldstable):
    + Build-Depends: Drop dependency on essential package bash (>= 5.0).
    + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9.5~).
    + Build-Depends: Drop versioned constraint on ocaml-nox (>= 4.05).
    + Build-Depends: Drop versioned constraint on camlp5 (>= 6.14).
    + libcoq-stdlib: Drop versioned constraint on coq (>= 8.0) in Recommends.
    + libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in
      Replaces.
    + libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<<
      8.3~) in Replaces.
    + libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in
      Breaks.
    + libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<<
      8.3~) in Breaks.
    + libcoq-core-ocaml-dev: Drop conflict with removed package coq (<<
      8.2-1+dfsg-1) in Replaces.
    + libcoq-core-ocaml-dev: Drop conflict with removed package coq (<<
      8.2-1+dfsg-1) in Breaks.

  [ Julien Puydt ]
  * Fix d/rules clean target (Closes: #1044637).
  * New upstream release.
  * Refresh patches.
  * Drop the coq-unimath workaround patch.

Date: 2023-12-21 22:37:44.839052+00:00
Signed-By: Jeremy Bícha <jeremy.bicha at canonical.com>
https://launchpad.net/ubuntu/+source/coq/8.18.0+dfsg-1
-------------- next part --------------
Sorry, changesfile not available.


More information about the noble-changes mailing list