[ubuntu/mantic-proposed] coqprime 8.17-1build1 (Accepted)

[Gianfranco Costamagna]

coqprime (8.17-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:13:09 +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.17-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:13:09 +0200
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17-1build1
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.17-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 79136878c2e268db835be3580cd0464421941d4d 2148 coqprime_8.17-1build1.dsc
 dff8e87f3a5c6a436b56486e68024ec8fd54b479 3212 coqprime_8.17-1build1.debian.tar.xz
 ac5e624f36da7028a4e76ba57b09106eafadc0ba 7770 coqprime_8.17-1build1_source.buildinfo
Checksums-Sha256:
 c0af22b5c64a7db1d12b81d4e554ce2ccfcc50fc0f31a5d39007dfe9559818b7 2148 coqprime_8.17-1build1.dsc
 91f34ea26f05a19b8b778581f559061fccba358835e3b486f91bc57a124f5f2c 3212 coqprime_8.17-1build1.debian.tar.xz
 77e301b25fdc32718a3d613a80f2a97f9ac838409732cd84be1792486fbb6b1e 7770 coqprime_8.17-1build1_source.buildinfo
Files:
 7e2a61d8d51887edd4f2a5febfd92d73 2148 ocaml optional coqprime_8.17-1build1.dsc
 edfb6ed3bb16dd5bf92470dca274203e 3212 ocaml optional coqprime_8.17-1build1.debian.tar.xz
 75510500e55eb26e36ffcb529dc8256f 7770 ocaml optional coqprime_8.17-1build1_source.buildinfo