[ubuntu/resolute-proposed] coq-equations 1.3.1-8.20-1build7 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3.1-8.20-1build7) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:23:35 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:23:35 +0100
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.1-8.20-1build7
Distribution: resolute
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-1build7) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 927b7334d356ae18ec1be42034ae7193ed6c2648 2179 coq-equations_1.3.1-8.20-1build7.dsc
 f5572548dfc7aa934afb6713121322d86c583325 2992 coq-equations_1.3.1-8.20-1build7.debian.tar.xz
 b5f089169522eb98fa84cb0f22947902597115bc 7891 coq-equations_1.3.1-8.20-1build7_source.buildinfo
Checksums-Sha256:
 762d161fbd4da1a6c6768c3ad4919f03da5248ab6c139e53db524fe8df4209b2 2179 coq-equations_1.3.1-8.20-1build7.dsc
 5433deb123978da18a30d6ad4b9415be7f0445b7f7e1ded90c1a26bb0eb6e075 2992 coq-equations_1.3.1-8.20-1build7.debian.tar.xz
 af585c93a0b349667651028bad5ac8aff9c9d8493580efe63af777cdd40d2a20 7891 coq-equations_1.3.1-8.20-1build7_source.buildinfo
Files:
 9ab3a283e0aa30845fd261e90abb6c61 2179 ocaml optional coq-equations_1.3.1-8.20-1build7.dsc
 c2e97cecd2275d06687847c134a62b7b 2992 ocaml optional coq-equations_1.3.1-8.20-1build7.debian.tar.xz
 0dee08071314b6a25b6236cbb3473228 7891 ocaml optional coq-equations_1.3.1-8.20-1build7_source.buildinfo