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

Gianfranco Costamagna locutusofborg at debian.org
Thu Nov 6 08:12:28 UTC 2025


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

  * Rebuild against new OCAML ABIs.

Date: Thu, 06 Nov 2025 09:11:59 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Thu, 06 Nov 2025 09:11:59 +0100
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-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:
 coqeal (2.1.0-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 ef131d1e95ee44815499f954d777caf9afd273f6 2170 coqeal_2.1.0-1build6.dsc
 e8d6bc2f1ec1f36c6b0233725c1ca68b6ca69b1c 2572 coqeal_2.1.0-1build6.debian.tar.xz
 a741c9f8d537dd2e85d8087f6fe5449441fd3b91 7833 coqeal_2.1.0-1build6_source.buildinfo
Checksums-Sha256:
 7b512f7f307a285b093a120a773c3ae5198988119d2d35d0bfa9d1bd1618638e 2170 coqeal_2.1.0-1build6.dsc
 59ff90c00d4b92189486b8fb897e0d9e2ede8ee44db2ed1d0dc525c4ab1ebea4 2572 coqeal_2.1.0-1build6.debian.tar.xz
 810862228f05f6062b8eaccd26063f0d04959f91f5d44dfad8c9cdaf891389ef 7833 coqeal_2.1.0-1build6_source.buildinfo
Files:
 6b345db6b6eef91c30de75c563a867b5 2170 ocaml optional coqeal_2.1.0-1build6.dsc
 b92718d6c93d97c072f6d2023fc0c374 2572 ocaml optional coqeal_2.1.0-1build6.debian.tar.xz
 8bb510f62a5a5e64d2648536ccc9c265 7833 ocaml optional coqeal_2.1.0-1build6_source.buildinfo


More information about the Resolute-changes mailing list