[ubuntu/resolute-proposed] paramcoq 1.1.3+coq8.20-1build7 (Accepted)

[Sebastien Bacher]

paramcoq (1.1.3+coq8.20-1build7) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Wed, 04 Mar 2026 07:56:34 +0100
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/paramcoq/1.1.3+coq8.20-1build7
-------------- next part --------------
Format: 1.8
Date: Wed, 04 Mar 2026 07:56:34 +0100
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.20-1build7
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Changes:
 paramcoq (1.1.3+coq8.20-1build7) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 06bf140bfba479f2622d06ed180372d2c0961335 2110 paramcoq_1.1.3+coq8.20-1build7.dsc
 c142b933fde453a66fe5b089834d8875c7942a10 3504 paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz
 f8560cfbd3880809e960eb116b42171b20d83aa5 8262 paramcoq_1.1.3+coq8.20-1build7_source.buildinfo
Checksums-Sha256:
 c5f95e68ab993a4a52584924e20888dabb92a9fab391abcd6d04bc32e59c7b80 2110 paramcoq_1.1.3+coq8.20-1build7.dsc
 9fe61c99110e938960f0a085f6674bd2251446d89cb5982213896ba933f79d24 3504 paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz
 3fb743c536d202249cf99763a487224811ce5de7273b8ca5dd4d9806f1c29210 8262 paramcoq_1.1.3+coq8.20-1build7_source.buildinfo
Files:
 d7401b70eff159ac40a38c6cc5f09a65 2110 ocaml optional paramcoq_1.1.3+coq8.20-1build7.dsc
 d1b06c386c35c34203faf83a7ef14915 3504 ocaml optional paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz
 0ab7e74a3e3240589e401246fedf5eea 8262 ocaml optional paramcoq_1.1.3+coq8.20-1build7_source.buildinfo