[ubuntu/resolute-proposed] coq 8.20.1+dfsg-1build4 (Accepted)

[Sebastien Bacher]

coq (8.20.1+dfsg-1build4) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

Date: Sat, 28 Feb 2026 20:45:34 +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/coq/8.20.1+dfsg-1build4
-------------- next part --------------
Format: 1.8
Date: Sat, 28 Feb 2026 20:45:34 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.1+dfsg-1build4
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at debian.org>
Changes:
 coq (8.20.1+dfsg-1build4) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 3c9f8e60e89b3dc9346a6947eca3f6f8f7eec285 2569 coq_8.20.1+dfsg-1build4.dsc
 b59711d9331b9d2ff5b8aefbe2da8643da6c945a 30344 coq_8.20.1+dfsg-1build4.debian.tar.xz
 ad942faa0190f839d352310ad76cd685e7d44560 8980 coq_8.20.1+dfsg-1build4_source.buildinfo
Checksums-Sha256:
 05b13c71b52124ea5c81bd81aa0253e05ec37d74b8c49b3e7b174ddf318d0487 2569 coq_8.20.1+dfsg-1build4.dsc
 206082627c3e05b1a8437d91a8d38a79243f834281dfcb38bc66bf598424367d 30344 coq_8.20.1+dfsg-1build4.debian.tar.xz
 fed2f7a2005d58eaa65dbc0376cf33fc03d395218d5fc0369bb6f3f3393fb9f4 8980 coq_8.20.1+dfsg-1build4_source.buildinfo
Files:
 aaaa33ac12cb3fd68ed2060fb584b068 2569 math optional coq_8.20.1+dfsg-1build4.dsc
 420ad7f2540e2ec563a452e66e7a2797 30344 math optional coq_8.20.1+dfsg-1build4.debian.tar.xz
 54d51dfb127e2fea0ecc840ee0e58f50 8980 math optional coq_8.20.1+dfsg-1build4_source.buildinfo