[ubuntu/mantic-proposed] coqprime 8.15-2build3 (Accepted)

[Gianfranco Costamagna]

coqprime (8.15-2build3) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:45:13 +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.15-2build3
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:45:13 +0200
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15-2build3
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coqprime (8.15-2build3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 cd5f6445198142ca8e4a4c41d280f00d82ac5c55 2148 coqprime_8.15-2build3.dsc
 8ce5abb71c849ebe48e2e44ae7c28b6d7705fd78 3680 coqprime_8.15-2build3.debian.tar.xz
 087737d7833eddda3fa3b1cadf286b711170aa30 7191 coqprime_8.15-2build3_source.buildinfo
Checksums-Sha256:
 45563ec4ac5e80f260b66bd875b95127dfa5071bd1d1eefc50264295ecf55299 2148 coqprime_8.15-2build3.dsc
 e4d30412fac0f7883cf9aee6b774db286f2867ab3fc4a851cfae041aa7740968 3680 coqprime_8.15-2build3.debian.tar.xz
 0bf3aba71ee749ee99074d2c1b1d17e8f39c0573fd056d97525d1b1f314fece6 7191 coqprime_8.15-2build3_source.buildinfo
Files:
 acd010d816648d8322bdf0b1655e72ef 2148 ocaml optional coqprime_8.15-2build3.dsc
 0b2c15716badba438d7965a374d56be2 3680 ocaml optional coqprime_8.15-2build3.debian.tar.xz
 315daa52f5f7cf1182b00cb8918a118b 7191 ocaml optional coqprime_8.15-2build3_source.buildinfo