[ubuntu/noble-proposed] coq-elpi 1.19.3-2build2 (Accepted)

[Steve Langasek]

coq-elpi (1.19.3-2build2) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:12:59 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-elpi/1.19.3-2build2
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:12:59 +0000
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.19.3-2build2
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq-elpi (1.19.3-2build2) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 f893ce70622a64c7d1010af383b811c6f5e0e7ff 2145 coq-elpi_1.19.3-2build2.dsc
 74cc9bb61f4ebadaa477934490cf711db7ac789b 3816 coq-elpi_1.19.3-2build2.debian.tar.xz
 adebfce8a494fb118a49a6212a0b1efcb641483f 6710 coq-elpi_1.19.3-2build2_source.buildinfo
Checksums-Sha256:
 1c8d3644dc83df27f882cbb3b162b240b128037684fd0870ebebc731d6352c2f 2145 coq-elpi_1.19.3-2build2.dsc
 8f1bf030fc2d0015d5335c34c2f2e56bd0ef93363d27888e99e9e652479d4461 3816 coq-elpi_1.19.3-2build2.debian.tar.xz
 942e2e45c74fe7f6282646dd7285c8734027c237dee705fd0fcb3b805f6c7ab5 6710 coq-elpi_1.19.3-2build2_source.buildinfo
Files:
 279149368a30547125a43fb346111018 2145 ocaml optional coq-elpi_1.19.3-2build2.dsc
 e97b7760c5c70b9f1eed9a589ef088c7 3816 ocaml optional coq-elpi_1.19.3-2build2.debian.tar.xz
 8b6c48375ac4a21b1e8215da8392ee20 6710 ocaml optional coq-elpi_1.19.3-2build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>