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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:13: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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:13:06 +0200
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.19-1build1
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-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0044fff009e47fd64b9e95d126f083c30a76a6bc 2099 coq-mtac2_1.4+8.19-1build1.dsc
 9482385e49a1b9b49bf96e0d30fd7e87c0f6fa88 2860 coq-mtac2_1.4+8.19-1build1.debian.tar.xz
 5d4971bc0ab030438b3b805988e1bf8084175c8f 7836 coq-mtac2_1.4+8.19-1build1_source.buildinfo
Checksums-Sha256:
 4a38d76a8515ede6685a7f4720affa0823de9b8d67c39585516c3447f28be687 2099 coq-mtac2_1.4+8.19-1build1.dsc
 c7b7cc7844439ad489a9fc59e82989890509778ea2ac402f0264a3a1c68e8252 2860 coq-mtac2_1.4+8.19-1build1.debian.tar.xz
 a2f1766c1782ae3ee4b1c8db1034fbaa0f42ac47c915219b5d7d6b2c691f84d6 7836 coq-mtac2_1.4+8.19-1build1_source.buildinfo
Files:
 afc5ad356aaabf50aa3d7cb9f971918b 2099 ocaml optional coq-mtac2_1.4+8.19-1build1.dsc
 642e3333de4241130a2e46eb60bf1649 2860 ocaml optional coq-mtac2_1.4+8.19-1build1.debian.tar.xz
 fd5d8acbff24c4e0fe1bc3f5e4dd6056 7836 ocaml optional coq-mtac2_1.4+8.19-1build1_source.buildinfo