[ubuntu/questing-proposed] coq-equations 1.3.1-8.20-1build5 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3.1-8.20-1build5) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:29:41 +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-equations/1.3.1-8.20-1build5
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:29:41 +0200
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.1-8.20-1build5
Distribution: questing
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-1build5) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 372efc7b5e6b9deafa719aeae173264348d2d90d 2179 coq-equations_1.3.1-8.20-1build5.dsc
 5e3168ea3e53d6081f746f6c3ed7eac232ba1af5 2964 coq-equations_1.3.1-8.20-1build5.debian.tar.xz
 4e9b31d46f7fcfa49822914714d5a11bbd4d5750 6894 coq-equations_1.3.1-8.20-1build5_source.buildinfo
Checksums-Sha256:
 a189eb6ed3f7c14c271af0277d47995136e66487ee1f0f3ba2939efd05094ede 2179 coq-equations_1.3.1-8.20-1build5.dsc
 7d761de37cbdb3db67a33cf4b119aa28c46f3a5431f379a5c2524da3792b3658 2964 coq-equations_1.3.1-8.20-1build5.debian.tar.xz
 75bdeeb3f3ce622fff7529797db56eeecacc08fdef67cc9eb86bb661333d8ad0 6894 coq-equations_1.3.1-8.20-1build5_source.buildinfo
Files:
 91ffc95dcf12532cd3f9b15b29f68cf1 2179 ocaml optional coq-equations_1.3.1-8.20-1build5.dsc
 53e00dc051d5642c9d8f2cedadf57787 2964 ocaml optional coq-equations_1.3.1-8.20-1build5.debian.tar.xz
 219d531c14979e0bb5d7e9d793ca9d20 6894 ocaml optional coq-equations_1.3.1-8.20-1build5_source.buildinfo