[ubuntu/mantic-proposed] coq-mtac2 1.4+8.17-1build1 (Accepted)

[Gianfranco Costamagna]

coq-mtac2 (1.4+8.17-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:12:52 +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.17-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:12:52 +0200
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.17-1build1
Distribution: mantic
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.17-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0b00964b7c83ebb6275394190a04367481932124 2099 coq-mtac2_1.4+8.17-1build1.dsc
 75e0a421dc129686d952ecf5fac4efa7f87fafb3 2680 coq-mtac2_1.4+8.17-1build1.debian.tar.xz
 7dcbbde2582665f863bca459c9264ae42f464ea0 7790 coq-mtac2_1.4+8.17-1build1_source.buildinfo
Checksums-Sha256:
 33e3f320d3d2e92490978d939ace9daeadb35a112db9c81eb5bacbf7b8fdf81c 2099 coq-mtac2_1.4+8.17-1build1.dsc
 6a600685a511ef08a562c8662161bb8ee668edd4b0442e9ca0fe266e840eee70 2680 coq-mtac2_1.4+8.17-1build1.debian.tar.xz
 ad9bd5ffa65ea5269c8e65aafcc9047109e9ef5785c3557e843113d247af43da 7790 coq-mtac2_1.4+8.17-1build1_source.buildinfo
Files:
 b3f09fc4bdf5ffed8034cfa837bd4d8e 2099 ocaml optional coq-mtac2_1.4+8.17-1build1.dsc
 7c1841c9292939c8cccdfe9a135c4013 2680 ocaml optional coq-mtac2_1.4+8.17-1build1.debian.tar.xz
 1000d86c8d559fa11ab9e873705b91e6 7790 ocaml optional coq-mtac2_1.4+8.17-1build1_source.buildinfo