[ubuntu/noble-proposed] coqprime 8.18-1build3 (Accepted)

[Gianfranco Costamagna]

coqprime (8.18-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:18:31 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coqprime/8.18-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:18:31 +0200
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 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:
 coqprime (8.18-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 862739d5c288bc7fec7e56f8319140bd317c6222 2227 coqprime_8.18-1build3.dsc
 2dcfcff6aae8fa57e42291a89545f83a3660a0d6 3492 coqprime_8.18-1build3.debian.tar.xz
 e90612b7824cb2a05117d0b8b872c0dc03576b68 7816 coqprime_8.18-1build3_source.buildinfo
Checksums-Sha256:
 0d366457326f5de50c8c2a67cf05aef39a24ba1905c9ff15c5df3fd364f8d8d0 2227 coqprime_8.18-1build3.dsc
 61972285c575ff447b49ec1493dd7ac0d9dea600b88750fa950e8c186f21f135 3492 coqprime_8.18-1build3.debian.tar.xz
 01fb5fc4dfaf55bb60d2d1c53896e6ac36d5575bbce6136e8c4038a560b79e78 7816 coqprime_8.18-1build3_source.buildinfo
Files:
 805030ad29c42cb237885e8672b7d08f 2227 ocaml optional coqprime_8.18-1build3.dsc
 f2cb790d76ea0eb1c834edfdf7c7ac17 3492 ocaml optional coqprime_8.18-1build3.debian.tar.xz
 d8f2e76db23d45071d741263a60bac11 7816 ocaml optional coqprime_8.18-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>