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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 12:56:44 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 12:56:44 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.16-1build2
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-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1cb486a85c677b1b07631ef63f3942af5201fa7b 2094 coq-mtac2_1.4+8.16-1build2.dsc
 9560188f0a2c806d27d645d04f56e31e4a91cf57 2528 coq-mtac2_1.4+8.16-1build2.debian.tar.xz
 c442cea5d8944cc7a1d1d0a97318237ea04bf43f 7891 coq-mtac2_1.4+8.16-1build2_source.buildinfo
Checksums-Sha256:
 8927902ba53fcdc1836a329ab7e0f598d2395ba415dc8306173a3d05b5158343 2094 coq-mtac2_1.4+8.16-1build2.dsc
 9ed8acce13c4f38a53bfc90c09a1b9d04ac9b4aaa72455fd247b86e58f660fc2 2528 coq-mtac2_1.4+8.16-1build2.debian.tar.xz
 716396e7e5802dfd51adb1935cae8dea7c4b2806215404fb494275863ef81f1b 7891 coq-mtac2_1.4+8.16-1build2_source.buildinfo
Files:
 ec073e365cf5eadbd7bdaa6a18a995ae 2094 ocaml optional coq-mtac2_1.4+8.16-1build2.dsc
 8e80ae17694acf23cd7700162c3ddfc0 2528 ocaml optional coq-mtac2_1.4+8.16-1build2.debian.tar.xz
 0b809a5cf7978c5784f461558a906a29 7891 ocaml optional coq-mtac2_1.4+8.16-1build2_source.buildinfo