[ubuntu/oracular-proposed] coq-mtac2 1.4+8.19-2build1 (Accepted)

[Gianfranco Costamagna]

coq-mtac2 (1.4+8.19-2build1) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:41:06 +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-mtac2/1.4+8.19-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:41:06 +0200
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.19-2build1
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-mtac2 (1.4+8.19-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0b37d54277a7ed0f42de85dfb2e194a9a383894a 2099 coq-mtac2_1.4+8.19-2build1.dsc
 1c318fe8b39942b859d41865274ffe3b601ec599 2924 coq-mtac2_1.4+8.19-2build1.debian.tar.xz
 38d8548be2b8ae4fa506477fad6e6d15d78602c0 7860 coq-mtac2_1.4+8.19-2build1_source.buildinfo
Checksums-Sha256:
 2a2e82704a843596d8d22d9c43a7559865dc77eefa5724eaeb919db9acc8e1a4 2099 coq-mtac2_1.4+8.19-2build1.dsc
 835ea6f641b9e7375c0c7801e62420d12be576adb90511728b42cd045d1f5ad3 2924 coq-mtac2_1.4+8.19-2build1.debian.tar.xz
 9e9c31ffd2f520f62491c50c3579810f26fe1f695c9c1f5c905ae223160104ad 7860 coq-mtac2_1.4+8.19-2build1_source.buildinfo
Files:
 3f43a12f88fce71fa87ab672eaac97e9 2099 ocaml optional coq-mtac2_1.4+8.19-2build1.dsc
 56050c602a7356783972400b97613343 2924 ocaml optional coq-mtac2_1.4+8.19-2build1.debian.tar.xz
 1c30063bc890674f0d355cb9a26cc426 7860 ocaml optional coq-mtac2_1.4+8.19-2build1_source.buildinfo