[ubuntu/noble-proposed] coqeal 1.1.3-1build3 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Wed Nov 22 23:47:10 UTC 2023


coqeal (1.1.3-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:46: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/1.1.3-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:46:03 +0100
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-1build3
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coqeal (1.1.3-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 4a4441cd8b8b26d93ff713e65e96682f194768c4 2178 coqeal_1.1.3-1build3.dsc
 1835f8bd525c9e872e35df107d796fe3014bc756 2336 coqeal_1.1.3-1build3.debian.tar.xz
 c2acc603a6ef44de42a10c190e2ca2311c7e6f1b 7792 coqeal_1.1.3-1build3_source.buildinfo
Checksums-Sha256:
 8c7e17258a0daae97b452dec14cbb3e244722ad8310adabffa81c0395aab7efb 2178 coqeal_1.1.3-1build3.dsc
 096bebe016d62242366259dfb028c44be2d2f50104d97cd93c07f93afc741e80 2336 coqeal_1.1.3-1build3.debian.tar.xz
 2e2616c3a6ce850122463bc24e3afda1d5e4b8d7a47a7ce01745cb1a3abef503 7792 coqeal_1.1.3-1build3_source.buildinfo
Files:
 cdd403a3cd61fd388238a5bd63199c5b 2178 ocaml optional coqeal_1.1.3-1build3.dsc
 1ad90663cc68ed184fee3fee86436198 2336 ocaml optional coqeal_1.1.3-1build3.debian.tar.xz
 7498615faac0b818d0c02387f720c10a 7792 ocaml optional coqeal_1.1.3-1build3_source.buildinfo


More information about the noble-changes mailing list