[ubuntu/resolute-proposed] coqprime 8.20.1-1build6 (Accepted)

[Gianfranco Costamagna]

coqprime (8.20.1-1build6) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:37:50 +0100
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-1build6
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:37:50 +0100
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.1-1build6
Distribution: resolute
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-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 936688d6b744ea7382ff042f97b1f6c33f729310 2165 coqprime_8.20.1-1build6.dsc
 6294d670440fe5fc352e5be5a813e8e063cb25be 3676 coqprime_8.20.1-1build6.debian.tar.xz
 06806ba7edc851ac60e12db160d7bd4e546f686d 7851 coqprime_8.20.1-1build6_source.buildinfo
Checksums-Sha256:
 c7456704887ba0ea441d3ade925a6fa285c6cf6e29a4d56e844fe1083251150c 2165 coqprime_8.20.1-1build6.dsc
 c495d7f028befac4b1702050ccbd386e7778d79f25a8f7b459dc546054768488 3676 coqprime_8.20.1-1build6.debian.tar.xz
 0c0abb060a04683b1b5702420418c60d46acc8c417d8aaf581882a262b21e55f 7851 coqprime_8.20.1-1build6_source.buildinfo
Files:
 1babbe4f18ec9f4a3ca477c6a7134e7e 2165 ocaml optional coqprime_8.20.1-1build6.dsc
 26df19ed13abbc84392173b9183002ee 3676 ocaml optional coqprime_8.20.1-1build6.debian.tar.xz
 819b3aa9fa4a1e996181e15c3601aacd 7851 ocaml optional coqprime_8.20.1-1build6_source.buildinfo