[ubuntu/questing-proposed] coqeal 2.1.0-1build2 (Accepted)
Gianfranco Costamagna
locutusofborg at debian.org
Thu Jun 19 16:37:35 UTC 2025
coqeal (2.1.0-1build2) questing; urgency=medium
* Rebuild against new OCAML ABIs.
Date: Thu, 19 Jun 2025 18:37:04 +0200
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-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:37:04 +0200
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build2
Distribution: questing
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-1build2) questing; urgency=medium
.
* Rebuild against new OCAML ABIs.
Checksums-Sha1:
c6bae3fd3ca6cd69a294bddffbe936318fbcf415 2170 coqeal_2.1.0-1build2.dsc
8852fec9b0145bee572f1c8e43941b8b67e0f645 2504 coqeal_2.1.0-1build2.debian.tar.xz
d1f43a60974781ac916d60ab6dd4e10d345e5de9 6846 coqeal_2.1.0-1build2_source.buildinfo
Checksums-Sha256:
a372de2487f931c6438260dd656258f94ee95caa4da4b646349b6991b70ebc0e 2170 coqeal_2.1.0-1build2.dsc
c2dbf087e419513a54d2d5986939cf86bc9334d58d108fa6a3caa5f53f5dfd11 2504 coqeal_2.1.0-1build2.debian.tar.xz
585701d08c9bd21ef70adca6863de929491b35662d96193124c19641b4513ce2 6846 coqeal_2.1.0-1build2_source.buildinfo
Files:
dd85d8e7c996727eed813d8ff2187047 2170 ocaml optional coqeal_2.1.0-1build2.dsc
c43d411bc1bbe87ee59e09a673f9419a 2504 ocaml optional coqeal_2.1.0-1build2.debian.tar.xz
3e687b765906b1b29a737d4d9ba60552 6846 ocaml optional coqeal_2.1.0-1build2_source.buildinfo
More information about the Questing-changes
mailing list