[ubuntu/plucky-proposed] coq-mtac2 1.4+8.20-1build5 (Accepted)

[Gianfranco Costamagna]

coq-mtac2 (1.4+8.20-1build5) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 19:43:01 +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.20-1build5
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 19:43:01 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.20-1build5
Distribution: plucky
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.20-1build5) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 64874eddec8f1341333b94ba30774daf0683b26a 2099 coq-mtac2_1.4+8.20-1build5.dsc
 9957dc1d90e69abce7108fcd8d5c08d5c1de5604 3120 coq-mtac2_1.4+8.20-1build5.debian.tar.xz
 5d2c4f475d510aa8d9eb20e0f9b2173300088c09 7307 coq-mtac2_1.4+8.20-1build5_source.buildinfo
Checksums-Sha256:
 9df187931b9552fab7d9c1f63e7810d8721108f4ed643f74ad61c271871e7936 2099 coq-mtac2_1.4+8.20-1build5.dsc
 6e60abc6c852b629c6473cccd269d3c8db002734c51a5b0347198eba3b90a3ad 3120 coq-mtac2_1.4+8.20-1build5.debian.tar.xz
 466a39414c96d408e754dc62a6575400454f3991941c972413080984003b3137 7307 coq-mtac2_1.4+8.20-1build5_source.buildinfo
Files:
 98a2dda28e4a85de5ad69647abeb6b6c 2099 ocaml optional coq-mtac2_1.4+8.20-1build5.dsc
 f2e4b2ee762ec38a78eb71c3629afd35 3120 ocaml optional coq-mtac2_1.4+8.20-1build5.debian.tar.xz
 2b54ad9a48b97486a7613ad97d497796 7307 ocaml optional coq-mtac2_1.4+8.20-1build5_source.buildinfo