[ubuntu/resolute-proposed] coq-unimath 20240923-2build7 (Accepted)

[Sebastien Bacher]

coq-unimath (20240923-2build7) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

Date: Tue, 03 Mar 2026 20:35:48 +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-unimath/20240923-2build7
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Mar 2026 20:35:48 +0100
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240923-2build7
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-unimath (20240923-2build7) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 77d26632007ce7092cd64b602632f9e4da4d8f74 2108 coq-unimath_20240923-2build7.dsc
 45fbd750f546b318fbd0c9f2b6b902ab8cba2d32 2564 coq-unimath_20240923-2build7.debian.tar.xz
 491f874cc46a12e7283a9aa9f4cda4d1719df2b4 8254 coq-unimath_20240923-2build7_source.buildinfo
Checksums-Sha256:
 768ff99a22faae95851742af3e1efb4144ffc5833def2bcd7845039cb9decc6c 2108 coq-unimath_20240923-2build7.dsc
 23aa01232efcbeb66727e39f53a1408fab634547edd437f7bbc8d9b33d173785 2564 coq-unimath_20240923-2build7.debian.tar.xz
 b00e5c8bc17cca58c3b634e7bc6fc791e1cb0f895fe0e2e26f975aa7df3328ee 8254 coq-unimath_20240923-2build7_source.buildinfo
Files:
 ac6ca857328600b1fa400e3befd2aec7 2108 ocaml optional coq-unimath_20240923-2build7.dsc
 f4622bec8430d0ffd1b1a89a006ff394 2564 ocaml optional coq-unimath_20240923-2build7.debian.tar.xz
 eb4b12c7b859d99ead971ce0cde4b718 8254 ocaml optional coq-unimath_20240923-2build7_source.buildinfo