[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