[ubuntu/resolute-proposed] coq-unicoq 1.6-8.20-1build7 (Accepted)

[Sebastien Bacher]

coq-unicoq (1.6-8.20-1build7) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

Date: Tue, 03 Mar 2026 20:35:43 +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/coq-unicoq/1.6-8.20-1build7
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Mar 2026 20:35:43 +0100
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.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:
 coq-unicoq (1.6-8.20-1build7) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 c19ca43a99ace995efd926835643236296a99b92 2093 coq-unicoq_1.6-8.20-1build7.dsc
 c2edd1660e26d06cbc13b550e2954cb98f0f5ae0 2996 coq-unicoq_1.6-8.20-1build7.debian.tar.xz
 609c450b63263ccd53c7b597e431093286a887d0 8250 coq-unicoq_1.6-8.20-1build7_source.buildinfo
Checksums-Sha256:
 4b09605b33998965e37e2bd6bb9764c0d106f2e8f966e2f35ca7791fb5d97987 2093 coq-unicoq_1.6-8.20-1build7.dsc
 f494c7a44ec2c535331d51ed31b8058c45d226789230244a94cbab8b24a4e531 2996 coq-unicoq_1.6-8.20-1build7.debian.tar.xz
 7f52179c8c586478baa5b1c37270aba27d195adf6394396848142ef90eee5a4b 8250 coq-unicoq_1.6-8.20-1build7_source.buildinfo
Files:
 4916b53084c73e9a0714ad1c4905bc95 2093 ocaml optional coq-unicoq_1.6-8.20-1build7.dsc
 431d6a425df2c5ed279054c9f7832250 2996 ocaml optional coq-unicoq_1.6-8.20-1build7.debian.tar.xz
 3cd493f171d557b2bf4a00befda0a905 8250 ocaml optional coq-unicoq_1.6-8.20-1build7_source.buildinfo