[ubuntu/resolute-proposed] coq-libhyps 2.0.8-4build11 (Accepted)

[Sebastien Bacher]

coq-libhyps (2.0.8-4build11) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

Date: Tue, 03 Mar 2026 20:35:25 +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-libhyps/2.0.8-4build11
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Mar 2026 20:35:25 +0100
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-4build11
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-libhyps (2.0.8-4build11) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 b984ceaed481182a142f3a9cef5b3d82bb449a48 2075 coq-libhyps_2.0.8-4build11.dsc
 fb3b79efc26f40df7ddea3ab3e2198c3c25ef544 2560 coq-libhyps_2.0.8-4build11.debian.tar.xz
 6b50f3c1ace17f4120705979491435f978e33b9b 8246 coq-libhyps_2.0.8-4build11_source.buildinfo
Checksums-Sha256:
 06daa7967232cb39b60ae99d2ac42074ecc2be07c1b1d7016f0521619b105970 2075 coq-libhyps_2.0.8-4build11.dsc
 d410960d693054197a5a19cca579b944cb357ac934dc2d92fa37353145f7e60b 2560 coq-libhyps_2.0.8-4build11.debian.tar.xz
 0101bb218da84bf61054c092e4010b22239523c835230df2cf290020378728fc 8246 coq-libhyps_2.0.8-4build11_source.buildinfo
Files:
 9b205c343ffed870f4098690bb7e8b58 2075 ocaml optional coq-libhyps_2.0.8-4build11.dsc
 0b74e5ca3ff3016a0d42c904b69909b3 2560 ocaml optional coq-libhyps_2.0.8-4build11.debian.tar.xz
 ae62cdbec99ef74c697962fa085b5476 8246 ocaml optional coq-libhyps_2.0.8-4build11_source.buildinfo