[ubuntu/oracular-proposed] coqprime 8.19-1build2 (Accepted)

[Gianfranco Costamagna]

coqprime (8.19-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:38:46 +0200
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.19-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:38:46 +0200
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19-1build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coqprime (8.19-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 69186f454e19398ebe12b57e7e3d066f3b265c0c 2148 coqprime_8.19-1build2.dsc
 d2118a495abf7be903967b2c6913f46c1563f1fb 3388 coqprime_8.19-1build2.debian.tar.xz
 5ad6d72df5eb719156510c613afbd3ad152b1b8f 7816 coqprime_8.19-1build2_source.buildinfo
Checksums-Sha256:
 7978f2ac7621b5c20d0d04a079dfb64ac927c4916b5128812577bf1398c628d0 2148 coqprime_8.19-1build2.dsc
 df24c65d869b99924af31340c99b5949ff420ba41cac5aee1e52078a69acd1ca 3388 coqprime_8.19-1build2.debian.tar.xz
 1ee1e6f200baccfc4a0369d9621b12160a7780913c98807aaeab1882cbb871b4 7816 coqprime_8.19-1build2_source.buildinfo
Files:
 6901180d7673b7e86c0197936ec353a2 2148 ocaml optional coqprime_8.19-1build2.dsc
 06df007c1abaceb8db9640fcea1a2b0e 3388 ocaml optional coqprime_8.19-1build2.debian.tar.xz
 df1aab46a9bc3f718b97f74029fe26a7 7816 ocaml optional coqprime_8.19-1build2_source.buildinfo