[ubuntu/plucky-proposed] coq-elpi 2.1.0-1build10 (Accepted)

[Matthias Klose]

coq-elpi (2.1.0-1build10) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Tue, 19 Nov 2024 14:28:32 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-elpi/2.1.0-1build10
-------------- next part --------------
Format: 1.8
Date: Tue, 19 Nov 2024 14:28:32 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build10
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-elpi (2.1.0-1build10) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 bf5dd7c5dd35c212bdc83f20afcfd6c42747256e 2026 coq-elpi_2.1.0-1build10.dsc
 7a2e59afdbf8289e339a482b6b02102b16d62a5d 3912 coq-elpi_2.1.0-1build10.debian.tar.xz
 6445f3802c64fc87934f01a2d6cfbd9eb82cadd5 3817 coq-elpi_2.1.0-1build10_source.buildinfo
Checksums-Sha256:
 48d7772518ce3b66a2f8f5d6007dc690aac9c48b7a7d206315ddd83ed820aeac 2026 coq-elpi_2.1.0-1build10.dsc
 6fac6297ecfa60409c0a5c1850f464166f13c8eab602a4a8cd134ed217f2916b 3912 coq-elpi_2.1.0-1build10.debian.tar.xz
 0d03b71ba82b41184b6003225e30949ee945568e62f7e2ce5d0a1b7f702e31fb 3817 coq-elpi_2.1.0-1build10_source.buildinfo
Files:
 ae0d0ef9e912a7e9d885a58f2d4c03ae 2026 ocaml optional coq-elpi_2.1.0-1build10.dsc
 23efe0218275aa9e444092f8dbe89b0e 3912 ocaml optional coq-elpi_2.1.0-1build10.debian.tar.xz
 cd6803b0606788ba68ab4ed4964846fd 3817 ocaml optional coq-elpi_2.1.0-1build10_source.buildinfo