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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:24:51 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:24:51 +0100
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.1-1build7
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-1build7) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 85ad62352173e1c67cd1f028ec6f2f95039c9f98 2165 coqprime_8.20.1-1build7.dsc
 ecb116ab0881580c315c0263d8780687012a70bf 3684 coqprime_8.20.1-1build7.debian.tar.xz
 e6048d6a8214b753b96fc916af11a9ac6b31a80b 7855 coqprime_8.20.1-1build7_source.buildinfo
Checksums-Sha256:
 705348f2e1e6e2b361647482e514f6a9ec3c637a1a832ae808925fdb95551eae 2165 coqprime_8.20.1-1build7.dsc
 2955333e8c232d0ca0b48a934993773261de9055d69a7d837dbe3cea37aea25d 3684 coqprime_8.20.1-1build7.debian.tar.xz
 8a5b294dca0f84b6717f131936bd451258b419b9586cebcc44e6b43212850b19 7855 coqprime_8.20.1-1build7_source.buildinfo
Files:
 7e049617af690e49bc178494fd3550b0 2165 ocaml optional coqprime_8.20.1-1build7.dsc
 f906d81be6f0beda23b199e9565bbbdc 3684 ocaml optional coqprime_8.20.1-1build7.debian.tar.xz
 2e1414cd2775627142a2e016baa800af 7855 ocaml optional coqprime_8.20.1-1build7_source.buildinfo