[ubuntu/resolute-proposed] coq-elpi 2.5.0-1.2build3 (Accepted)

[Sebastien Bacher]

coq-elpi (2.5.0-1.2build3) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

Date: Sun, 01 Mar 2026 10:58:18 +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-elpi/2.5.0-1.2build3
-------------- next part --------------
Format: 1.8
Date: Sun, 01 Mar 2026 10:58:18 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.5.0-1.2build3
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-elpi (2.5.0-1.2build3) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 3e7fa79ad82058b41bab0273d83decfae2f6e33c 2074 coq-elpi_2.5.0-1.2build3.dsc
 24e01274e66bd52f49f6c2c69478660086f4dec1 4044 coq-elpi_2.5.0-1.2build3.debian.tar.xz
 9215ae3baa269ae851115b8e94f24c903a8e1525 8238 coq-elpi_2.5.0-1.2build3_source.buildinfo
Checksums-Sha256:
 6c9b8d7c74693b968e9a07a6d589b237f40a9e4263e2616ed3ebe33b8a3620cc 2074 coq-elpi_2.5.0-1.2build3.dsc
 77904a44940a461b9d01e8575cbd9ea2e4bc6b3cf11095e3ab03f01e7b8daec8 4044 coq-elpi_2.5.0-1.2build3.debian.tar.xz
 abdb615afea7ec9b6d94c934d2819ac35d3b11dc057f797b74c91d8c506ce830 8238 coq-elpi_2.5.0-1.2build3_source.buildinfo
Files:
 bafa550861563fbd9f8e1f0a5ad81142 2074 ocaml optional coq-elpi_2.5.0-1.2build3.dsc
 8417398048a81f93b6b4ea5a7f7ab462 4044 ocaml optional coq-elpi_2.5.0-1.2build3.debian.tar.xz
 94659eaf061cea6108611c4d0219dc3f 8238 ocaml optional coq-elpi_2.5.0-1.2build3_source.buildinfo