[ubuntu/oracular-proposed] coq 8.19.1+dfsg-3build2 (Accepted)

[Matthias Klose]

coq (8.19.1+dfsg-3build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Fri, 06 Sep 2024 17:04:46 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq/8.19.1+dfsg-3build2
-------------- next part --------------
Format: 1.8
Date: Fri, 06 Sep 2024 17:04:46 +0200
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.1+dfsg-3build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq (8.19.1+dfsg-3build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 ad3571ab9709b9aece69ffcb3d64c190c43121b8 2572 coq_8.19.1+dfsg-3build2.dsc
 b5599e169dff45f4ef3e2edaa5b17028b6f8fa4a 33028 coq_8.19.1+dfsg-3build2.debian.tar.xz
 9856e6787335fec2f0ba399b0b8a4452ec91520e 6390 coq_8.19.1+dfsg-3build2_source.buildinfo
Checksums-Sha256:
 b8135956b7999ce0337936e2d46202bfd0689d1884e9b0fdb35ce3b6ed7908eb 2572 coq_8.19.1+dfsg-3build2.dsc
 92e18c03816bead7f7e389bcee1ed3081d7ca3ffb2b23a2e8fdad97dcd31796d 33028 coq_8.19.1+dfsg-3build2.debian.tar.xz
 682d1dc43980c48e8f77b5df6f643d812fa7d3bcd3ea0009d37938b7eb0d103b 6390 coq_8.19.1+dfsg-3build2_source.buildinfo
Files:
 305cc64d3345667ae7ae527be3611cee 2572 math optional coq_8.19.1+dfsg-3build2.dsc
 554e7ef2bd106a8c98e501041257b514 33028 math optional coq_8.19.1+dfsg-3build2.debian.tar.xz
 f05b530220b64397470eb6ca64fc8b96 6390 math optional coq_8.19.1+dfsg-3build2_source.buildinfo