[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