[ubuntu/lunar-proposed] coq-mtac2 1.4+8.16-2build2 (Accepted)

[Gianfranco Costamagna]

coq-mtac2 (1.4+8.16-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 17 Feb 2023 08:07:05 +0100
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.16-2build2
-------------- next part --------------
Format: 1.8
Date: Fri, 17 Feb 2023 08:07:05 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.16-2build2
Distribution: lunar
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.16-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4803e5cfc06fae0d948d6a7542b3f33c48f29969 2099 coq-mtac2_1.4+8.16-2build2.dsc
 04fbf8dad4e0f3a46e645628d5daa4217d1d902f 2576 coq-mtac2_1.4+8.16-2build2.debian.tar.xz
 0a85756484d5d53d052cb9cbd64281adc8ab9101 7156 coq-mtac2_1.4+8.16-2build2_source.buildinfo
Checksums-Sha256:
 b1464367168ad1367ff86e3a91328dce355dd5c55175448a0bc60c19a5cf6c07 2099 coq-mtac2_1.4+8.16-2build2.dsc
 1de7620d8407c722b948c41bf15603dfc106c3687d06d3efd2935e16ffe5b888 2576 coq-mtac2_1.4+8.16-2build2.debian.tar.xz
 2d15a71d1aa85c2f01c6136014103907649504e34a7fe264abe849fe3cd7c47e 7156 coq-mtac2_1.4+8.16-2build2_source.buildinfo
Files:
 fba591484016ce5ea331743f75892c6a 2099 ocaml optional coq-mtac2_1.4+8.16-2build2.dsc
 38c5f331c066856940b6183f8008a1e2 2576 ocaml optional coq-mtac2_1.4+8.16-2build2.debian.tar.xz
 7c4349988deeb13ab5f4b0fb4d346365 7156 ocaml optional coq-mtac2_1.4+8.16-2build2_source.buildinfo