[ubuntu/lunar-proposed] coq-mtac2 1.4+8.16-1build1 (Accepted)

[Gianfranco Costamagna]

coq-mtac2 (1.4+8.16-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:13:50 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:13:50 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.16-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3437d87d8d5e8a41c0c59682f648f4603158b78d 2094 coq-mtac2_1.4+8.16-1build1.dsc
 b9c3e4e94d7ecac99b5330c9dd366ee123ffec35 2512 coq-mtac2_1.4+8.16-1build1.debian.tar.xz
 f2b4cfa25b737053418e0437b7ded15fa9826bb8 7889 coq-mtac2_1.4+8.16-1build1_source.buildinfo
Checksums-Sha256:
 388154496dfd88570e4a05f67aac45f8ea181567497c541135d0dfc33a250817 2094 coq-mtac2_1.4+8.16-1build1.dsc
 82f8fd0664d323294be6b693c8453215f42645014db500ba26b686ca89eceb76 2512 coq-mtac2_1.4+8.16-1build1.debian.tar.xz
 2110e831ca3cd913ba4ff1eaec2b48cd9039c7d8d1c334f6d8bc3ded974d8b09 7889 coq-mtac2_1.4+8.16-1build1_source.buildinfo
Files:
 4edcf21c2fde6e4834cdf3afa246118e 2094 ocaml optional coq-mtac2_1.4+8.16-1build1.dsc
 37e15cc471ad4a2a17d870ea33a6465b 2512 ocaml optional coq-mtac2_1.4+8.16-1build1.debian.tar.xz
 19d6511bf163b6ecabacaac784223a8c 7889 ocaml optional coq-mtac2_1.4+8.16-1build1_source.buildinfo