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

[Sebastien Bacher]

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

  * Rebuild again because riscv picked the wrong ABI

Date: Wed, 04 Mar 2026 16:12:37 +0100
Changed-By: Sebastien Bacher <seb128 at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Sebastien Bacher <sebastien.bacher at canonical.com>
https://launchpad.net/ubuntu/+source/coqprime/8.20.1-1build8
-------------- next part --------------
Format: 1.8
Date: Wed, 04 Mar 2026 16:12:37 +0100
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.1-1build8
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at debian.org>
Changes:
 coqprime (8.20.1-1build8) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 7c3c4ed26daab094e44cced3503f4c6ad6d2fb22 2165 coqprime_8.20.1-1build8.dsc
 40cf31b6fa3a2ed2e4b40d5f117aa97e4ecf99f9 3736 coqprime_8.20.1-1build8.debian.tar.xz
 7df4d9754cdceec82268ef1826f920ad8f3bb59d 8234 coqprime_8.20.1-1build8_source.buildinfo
Checksums-Sha256:
 0056943b40c9203109c481bed7281d10421a3f2662f73c9289409d51ec8da0cc 2165 coqprime_8.20.1-1build8.dsc
 cd2123c8594fba6e68f4ec338db28f83b41198be89dc8dc4dc756007ad8d8ccb 3736 coqprime_8.20.1-1build8.debian.tar.xz
 44c1fafeff8ac7b3fc79aedb6d6d462d8efc083602ae33991ce0039376c07969 8234 coqprime_8.20.1-1build8_source.buildinfo
Files:
 be1a63315eddd2c5e05c74666be9067d 2165 ocaml optional coqprime_8.20.1-1build8.dsc
 adbadf0bfefebb2863c3720a1973f3ed 3736 ocaml optional coqprime_8.20.1-1build8.debian.tar.xz
 cb247ab4eef4821967d26c3cd4967686 8234 ocaml optional coqprime_8.20.1-1build8_source.buildinfo