[ubuntu/noble-proposed] coq-equations 1.3-8.18-1build3 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3-8.18-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:16:57 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-equations/1.3-8.18-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:16:57 +0200
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.18-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-equations (1.3-8.18-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 f0f98b6e93bc0f41658501aecb4f2ee0442a0f53 2244 coq-equations_1.3-8.18-1build3.dsc
 463adb779742b16bb16d6faf08d40245134e3bd4 2848 coq-equations_1.3-8.18-1build3.debian.tar.xz
 b05b0aaa2f2d07211c264a9777934cbf96ed3e08 7852 coq-equations_1.3-8.18-1build3_source.buildinfo
Checksums-Sha256:
 ff142c1521c18ada9a5f9ea95ef273423789602bbae7847782649f6d489a187a 2244 coq-equations_1.3-8.18-1build3.dsc
 30537c98d8c1fcd209853f49dbc5a12419811326f946d6a68378708d0da5a507 2848 coq-equations_1.3-8.18-1build3.debian.tar.xz
 01ecc76b01d3891e497615f037292f688a3dae8ccddd76239b09d2ca103d035c 7852 coq-equations_1.3-8.18-1build3_source.buildinfo
Files:
 c5ff4829d78d6c9f86b3393f3573023b 2244 ocaml optional coq-equations_1.3-8.18-1build3.dsc
 0b1c08a762b9410c6ccf8a5c9542e19e 2848 ocaml optional coq-equations_1.3-8.18-1build3.debian.tar.xz
 f57efac8ab2ed45ba9b484b9da031a12 7852 ocaml optional coq-equations_1.3-8.18-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>