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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 09 Aug 2024 14:49:57 +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.19.1+dfsg-3build1
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Aug 2024 14:49:57 +0200
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.1+dfsg-3build1
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq (8.19.1+dfsg-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 9fe66412793d70ef1941a66f277e4543cb9fca2d 2572 coq_8.19.1+dfsg-3build1.dsc
 3f3e93a4b3ba031dc71e60c3c2f455febf3b320e 32956 coq_8.19.1+dfsg-3build1.debian.tar.xz
 e5a1a9f4eaf11cf6cecb59415972c464e86ee0d8 8836 coq_8.19.1+dfsg-3build1_source.buildinfo
Checksums-Sha256:
 6002fdebd26cabaff61a3c578f7e6591faa8a17f562721e504e3a920df33c89c 2572 coq_8.19.1+dfsg-3build1.dsc
 56af0e18e625d422be063ebc94575e3990c3aa12b429d846f6a4668b807c0d5e 32956 coq_8.19.1+dfsg-3build1.debian.tar.xz
 559a8823bdf1532a552d9034cf987c03eff3465b6220830775dc15721895ece4 8836 coq_8.19.1+dfsg-3build1_source.buildinfo
Files:
 3ffbb6fcc1b785a92d5904964a57fc54 2572 math optional coq_8.19.1+dfsg-3build1.dsc
 bc6d3fd0b502795554293def55d903a7 32956 math optional coq_8.19.1+dfsg-3build1.debian.tar.xz
 1fd2abe89cbdc4918668fd47c398b97b 8836 math optional coq_8.19.1+dfsg-3build1_source.buildinfo