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

Gianfranco Costamagna locutusofborg at debian.org
Wed Jan 28 07:30:21 UTC 2026


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

  * Rebuild against new OCAML ABIs.

Date: Wed, 28 Jan 2026 08:29:50 +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-1build8
-------------- next part --------------
Format: 1.8
Date: Wed, 28 Jan 2026 08:29:50 +0100
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build8
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-1build8) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 adfa8991abebb3c4e1ac58a823e659bc4ed7ec17 2170 coqeal_2.1.0-1build8.dsc
 8d6e3e0677b1e58ae6c072dc2e8e52f31175e74e 2592 coqeal_2.1.0-1build8.debian.tar.xz
 c58861754572d4dd8499a4a86a30a7302af6b21a 7843 coqeal_2.1.0-1build8_source.buildinfo
Checksums-Sha256:
 2f690b2eaee93d0c3440819345eb97ba14efaa0e6cca8a597ee184b086ed6348 2170 coqeal_2.1.0-1build8.dsc
 f9f2b46c082e896c613d0df44a22ca55dc8514cbc6d113b7ff524d20260a21d2 2592 coqeal_2.1.0-1build8.debian.tar.xz
 c7c9ba1b02a2f782fe37157f2c5d42d0971bef8cbb1c002626f3b3890e67c3d6 7843 coqeal_2.1.0-1build8_source.buildinfo
Files:
 6d3babd5dcf249ba4735c2195bbe3b77 2170 ocaml optional coqeal_2.1.0-1build8.dsc
 6f213163415a5ddcc0eecfa27d202359 2592 ocaml optional coqeal_2.1.0-1build8.debian.tar.xz
 d1d659cf813da11c0d6c4224f0763d2b 7843 ocaml optional coqeal_2.1.0-1build8_source.buildinfo


More information about the Resolute-changes mailing list