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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:41:34 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:41:34 +0200
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19-2build1
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-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 bb4ad5f373c72a45b8ae780bc28666b11a62ea24 2148 coqprime_8.19-2build1.dsc
 bd8b0ab2d7a52deefbf979ae5bfd496bdfcec637 3476 coqprime_8.19-2build1.debian.tar.xz
 2ebc653bea9149bb643456baecb2357767049505 7840 coqprime_8.19-2build1_source.buildinfo
Checksums-Sha256:
 098700e9258c03a82f882f2e2dc39d8c62a9160022f9af3debb6f706cdc928c9 2148 coqprime_8.19-2build1.dsc
 4d22dfce8caf793f589e9c90cdba2442b42e92ce02110934cbf896e541c7c0dd 3476 coqprime_8.19-2build1.debian.tar.xz
 fce4f9526e0474f06f27bc116d14f8be9afa9fcb67b22b0b43e9eeb87055b185 7840 coqprime_8.19-2build1_source.buildinfo
Files:
 c8753faccac10ad0d821585fe8624ca1 2148 ocaml optional coqprime_8.19-2build1.dsc
 fa76b088ef488e186b5337f782e5fff2 3476 ocaml optional coqprime_8.19-2build1.debian.tar.xz
 6bbd118f366ad1782eee8c526ed9bc9c 7840 ocaml optional coqprime_8.19-2build1_source.buildinfo