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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:23:42 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:23:42 +0200
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19-1build1
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-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 df3aad2518aac5e9a8dad4522125ddf14e3e36ca 2148 coqprime_8.19-1build1.dsc
 a341d11d7d4f21f3f4b8d5a52213079a54c0b8df 3380 coqprime_8.19-1build1.debian.tar.xz
 5896031511d46af3a789a2ba24185774bac40728 7816 coqprime_8.19-1build1_source.buildinfo
Checksums-Sha256:
 99cf508e51bb62fa1c55ea5eabce67b962a11b14c470c81f6dffcdc514e0a683 2148 coqprime_8.19-1build1.dsc
 51e7143bff5d1f06fc5bfe04d5968c02dbef34d33cb3ed2030b49d5938048542 3380 coqprime_8.19-1build1.debian.tar.xz
 ade4f415101788d586df6d46d2e7e4bdd5cd78f67f98f4952ebf923eb2d32f8f 7816 coqprime_8.19-1build1_source.buildinfo
Files:
 3a9aa46e417b1f16b86054bde6e1ab21 2148 ocaml optional coqprime_8.19-1build1.dsc
 08909b2929984f21099900fbcfb1d302 3380 ocaml optional coqprime_8.19-1build1.debian.tar.xz
 84378e56511a0bffdf80356e2c0ab1fd 7816 ocaml optional coqprime_8.19-1build1_source.buildinfo