[ubuntu/noble-proposed] coqprime 8.17-1build2 (Accepted)

[Gianfranco Costamagna]

coqprime (8.17-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:16:17 +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/coqprime/8.17-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:16:17 +0100
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17-1build2
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coqprime (8.17-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b5947db256094db7b2e0bbfa63061ed4c098fd7f 2148 coqprime_8.17-1build2.dsc
 fdf0a97c082d05daf834ebe29c756db8e5e0a0ed 3232 coqprime_8.17-1build2.debian.tar.xz
 1abe760be75cf12e88a0b54488e876283ee14ee7 7796 coqprime_8.17-1build2_source.buildinfo
Checksums-Sha256:
 fecabdc6a9d6e8950d1c789a6aabc6834fdb2047de33f00b351228e9de0bf30a 2148 coqprime_8.17-1build2.dsc
 2c88383bae043b4200c3692beead9873b868a60cc957ace1f758a10acdd8845b 3232 coqprime_8.17-1build2.debian.tar.xz
 6b07e83570136befb454f534d81179caa6f5c4b21a7272b66b2347feb2d5b662 7796 coqprime_8.17-1build2_source.buildinfo
Files:
 c5dbeee41d524691b401e62e1f01fcbe 2148 ocaml optional coqprime_8.17-1build2.dsc
 b02b2caede4033417e91309ce96bd685 3232 ocaml optional coqprime_8.17-1build2.debian.tar.xz
 38ba6db7eb27ba2501b68d78e19b7fb8 7796 ocaml optional coqprime_8.17-1build2_source.buildinfo