[ubuntu/plucky-proposed] coq-equations 1.3.1-8.20-1build4 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3.1-8.20-1build4) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:05:11 +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-equations/1.3.1-8.20-1build4
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:05:11 +0100
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.1-8.20-1build4
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-equations (1.3.1-8.20-1build4) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 9c44e19b8e6dc64140319820048934336cbb0a97 2179 coq-equations_1.3.1-8.20-1build4.dsc
 ae0fbb0fc94c47aea05682705cc5a017c481ffba 2896 coq-equations_1.3.1-8.20-1build4.debian.tar.xz
 7ed5eaebeafcb64967e88a898dbc4a6d750142d8 7331 coq-equations_1.3.1-8.20-1build4_source.buildinfo
Checksums-Sha256:
 c4efb46410479038999578756fb14615c4de558fd07dbb19fae779430c317191 2179 coq-equations_1.3.1-8.20-1build4.dsc
 b83aafe57c45f6a1fe0fddd12104c746a77bacdf207c19750f3a5995c484089f 2896 coq-equations_1.3.1-8.20-1build4.debian.tar.xz
 2e9de48b312ac36eaaaee88a90d83382fbb6ffefc12358c711dc32a2458a7bc7 7331 coq-equations_1.3.1-8.20-1build4_source.buildinfo
Files:
 c95a2fffb8e60dd798b11ad747ac6679 2179 ocaml optional coq-equations_1.3.1-8.20-1build4.dsc
 b9e9471ffb769db1ec1449c3241d9a21 2896 ocaml optional coq-equations_1.3.1-8.20-1build4.debian.tar.xz
 9a9a80f6b8d62a2e58ab1c8f36220b2b 7331 ocaml optional coq-equations_1.3.1-8.20-1build4_source.buildinfo