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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:34:41 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:34:41 +0100
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.1-8.20-1build6
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-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 00016b15cd9c00ac09aeda673c768883892eef87 2179 coq-equations_1.3.1-8.20-1build6.dsc
 3f7adc9075b58f20f73a5a9f736d69e7200a7291 2976 coq-equations_1.3.1-8.20-1build6.debian.tar.xz
 b5e2ebd53725c509010ef866731cd6a5181971d2 7887 coq-equations_1.3.1-8.20-1build6_source.buildinfo
Checksums-Sha256:
 0b3ff1c9f0cfc7cb269ca931cc6093a4f9cb66293f7a4fdf79654d881f5c60bd 2179 coq-equations_1.3.1-8.20-1build6.dsc
 290837c6c2861d66761caacb76446bd6d34f23f0f8bb893073a3a3ec8297126d 2976 coq-equations_1.3.1-8.20-1build6.debian.tar.xz
 8591131cac12edd2954b95252a6f5a0043d9a0f8abdbd8c45703385a8c2d2289 7887 coq-equations_1.3.1-8.20-1build6_source.buildinfo
Files:
 1fdc50e3827ba3dc74a431a1a712fabe 2179 ocaml optional coq-equations_1.3.1-8.20-1build6.dsc
 a5475df5e5f0eb13c661d8fcd3041897 2976 ocaml optional coq-equations_1.3.1-8.20-1build6.debian.tar.xz
 a809deb6884fdedbd2b009258abb5035 7887 ocaml optional coq-equations_1.3.1-8.20-1build6_source.buildinfo