[ubuntu/kinetic-proposed] coq 8.15.1+dfsg-1build1 (Accepted)

[Gianfranco Costamagna]

coq (8.15.1+dfsg-1build1) kinetic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 02 May 2022 10:39:50 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq/8.15.1+dfsg-1build1
-------------- next part --------------
Format: 1.8
Date: Mon, 02 May 2022 10:39:50 +0200
Source: coq
Architecture: source
Version: 8.15.1+dfsg-1build1
Distribution: kinetic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq (8.15.1+dfsg-1build1) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7bbd7b1e5e251c7dd51f0413a77685ac0de24641 2598 coq_8.15.1+dfsg-1build1.dsc
 54deefcbb3f89613d79c2f104138de41bd3048eb 39736 coq_8.15.1+dfsg-1build1.debian.tar.xz
 9b6b6406ab66b8047a99968558ce86a25d5b902e 8232 coq_8.15.1+dfsg-1build1_source.buildinfo
Checksums-Sha256:
 8058636c989bbbad1f448ce8766708de2ad30003c61b2995c3c09a9ec7461663 2598 coq_8.15.1+dfsg-1build1.dsc
 ac1566af240c65cf87928d0ba0ff55dbbce0957c5d48047335bd08ce205cc38f 39736 coq_8.15.1+dfsg-1build1.debian.tar.xz
 59f30b8cb45a016facc4c7d9133d61fdef8c48b4c3a6e807acfc24cd61f04fb5 8232 coq_8.15.1+dfsg-1build1_source.buildinfo
Files:
 b69fbcda7b800247730226a00846770e 2598 math optional coq_8.15.1+dfsg-1build1.dsc
 daf109979d0da5ce1ba0358e8f80ad90 39736 math optional coq_8.15.1+dfsg-1build1.debian.tar.xz
 61ebc52773d9a265aa578a9b30c20ce8 8232 math optional coq_8.15.1+dfsg-1build1_source.buildinfo