[ubuntu/resolute-proposed] coqeal 2.1.0-1build5 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Tue Oct 28 19:53:20 UTC 2025


coqeal (2.1.0-1build5) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Tue, 28 Oct 2025 20:52:40 +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/coqeal/2.1.0-1build5
-------------- next part --------------
Format: 1.8
Date: Tue, 28 Oct 2025 20:52:40 +0100
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build5
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coqeal (2.1.0-1build5) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 48725200e96152b3ec2184e58630507ecdd65f4b 2170 coqeal_2.1.0-1build5.dsc
 b10a4f2f9b77a7d8e6e0b0f7389eb31687a1dfb8 2552 coqeal_2.1.0-1build5.debian.tar.xz
 8f56a4b02b17e45c85c2f46c132487c1b5754bb0 7833 coqeal_2.1.0-1build5_source.buildinfo
Checksums-Sha256:
 d79f33b3b3b2d040977529903fb845ba16fa5f02fe426977d181bcb7c1af35ea 2170 coqeal_2.1.0-1build5.dsc
 d5b4f3c2b2b27ea3b9f34ee84bcaad12670aaea7c3abf2927335761e5521bd4d 2552 coqeal_2.1.0-1build5.debian.tar.xz
 9bc04da82c19127a9af4b50e6de1ae9f54052606a788a3360c9e8297cde1e6d8 7833 coqeal_2.1.0-1build5_source.buildinfo
Files:
 84081b1073022648d0ef59b244db6606 2170 ocaml optional coqeal_2.1.0-1build5.dsc
 f7700e18ae395e2d64bb0b6f7a4d9f09 2552 ocaml optional coqeal_2.1.0-1build5.debian.tar.xz
 399e293584a5c39364f01404bbc4242d 7833 ocaml optional coqeal_2.1.0-1build5_source.buildinfo


More information about the Resolute-changes mailing list