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

Gianfranco Costamagna locutusofborg at debian.org
Sun Jan 4 22:31:39 UTC 2026


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

  * Rebuild against new OCAML ABIs.

Date: Sun, 04 Jan 2026 23:31:03 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Jan 2026 23:31:03 +0100
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build7
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-1build7) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 ad704b9c0ad06409eb3394039d069df39f4a85f7 2170 coqeal_2.1.0-1build7.dsc
 6f2b1f7b5f240edaee4e84f0c205828d0a1d203a 2584 coqeal_2.1.0-1build7.debian.tar.xz
 337cff07001de47dcca0519001433794bdbe3c01 7839 coqeal_2.1.0-1build7_source.buildinfo
Checksums-Sha256:
 a355a284505c4179f51bc8a29a0077853267dc20cc74833ebe682d2830b191a9 2170 coqeal_2.1.0-1build7.dsc
 a7d5a35061257694229b69581ba453dbe5986cc76af5e047c73c21b235eca37e 2584 coqeal_2.1.0-1build7.debian.tar.xz
 bfa9ae184b83a1c0f71f7f8879dab71d06beac6c3e699322e22a74af8ee7c36d 7839 coqeal_2.1.0-1build7_source.buildinfo
Files:
 723b1478bc09e5a8cca9279d2af1f2ee 2170 ocaml optional coqeal_2.1.0-1build7.dsc
 6d9e5802ef94497adfd29cebec4116f6 2584 ocaml optional coqeal_2.1.0-1build7.debian.tar.xz
 9bee70f1cceabd335562a858e6e322f5 7839 ocaml optional coqeal_2.1.0-1build7_source.buildinfo


More information about the Resolute-changes mailing list