[ubuntu/noble-proposed] coqeal 2.0.1-1build5 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Mon Apr 8 07:20:16 UTC 2024


coqeal (2.0.1-1build5) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:19:25 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coqeal/2.0.1-1build5
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:19:25 +0200
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.1-1build5
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coqeal (2.0.1-1build5) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 869f5ee2a801f41ffb1f53886d477a364830114e 2249 coqeal_2.0.1-1build5.dsc
 37b11c9bd6efee9bcb452abdb4ebccb28507b03b 2560 coqeal_2.0.1-1build5.debian.tar.xz
 092c2cbf4c970efb7dd4a6d2f5c94295e6c02cea 7812 coqeal_2.0.1-1build5_source.buildinfo
Checksums-Sha256:
 66509688beaddd498e72d990d0de9f74168c542e2b6fdc0d8d45563548696e42 2249 coqeal_2.0.1-1build5.dsc
 09dc41cd09c011b60d8b4c2ba358a096474cf48d655d7d8833cf38bb0f94b4f4 2560 coqeal_2.0.1-1build5.debian.tar.xz
 a8391de35c1a87fd1accd1a2112efbeaa7e36ac54d6e40b897b67f8989e17661 7812 coqeal_2.0.1-1build5_source.buildinfo
Files:
 35ffdf31ecd9dcf583717f7626ad24b2 2249 ocaml optional coqeal_2.0.1-1build5.dsc
 171ef374232c4aa92d54f7989038ca15 2560 ocaml optional coqeal_2.0.1-1build5.debian.tar.xz
 5887c2dc0b9d824c5f674e6104771e7f 7812 ocaml optional coqeal_2.0.1-1build5_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the noble-changes mailing list