[ubuntu/questing-proposed] coqprime 8.20.1-1build5 (Accepted)

[Gianfranco Costamagna]

coqprime (8.20.1-1build5) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:30:39 +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.20.1-1build5
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:30:39 +0200
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.1-1build5
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coqprime (8.20.1-1build5) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c6704f06debef21cc32f5c694c133c5ae324f704 2165 coqprime_8.20.1-1build5.dsc
 b23453a377dfb0c1f6debb3c35338fbece21e75c 3652 coqprime_8.20.1-1build5.debian.tar.xz
 26d70e3adfdf5b37c3a420e4ca6210902a8ee111 6858 coqprime_8.20.1-1build5_source.buildinfo
Checksums-Sha256:
 a2e6c35e8ad3ad86fe93c967a50a2578b08de1b45a59aa8aba16a33ebe8dc530 2165 coqprime_8.20.1-1build5.dsc
 cb0eb4c8265f1c10d09b9375048b0cff5706d2f3f548180aea430383d505e62b 3652 coqprime_8.20.1-1build5.debian.tar.xz
 34f7f78a82b03f6e411a949be63476ec26c351a5ac2dd6d990cf83ee26469c04 6858 coqprime_8.20.1-1build5_source.buildinfo
Files:
 50183af292a41a493381354bc9d6417e 2165 ocaml optional coqprime_8.20.1-1build5.dsc
 b06b16236dad273ddbc37b65db285ab8 3652 ocaml optional coqprime_8.20.1-1build5.debian.tar.xz
 f625706f42e9db3d07491275cb0ce163 6858 ocaml optional coqprime_8.20.1-1build5_source.buildinfo