[ubuntu/jammy-proposed] coq-elpi 1.12.1-1build1 (Accepted)

[Matthias Klose]

coq-elpi (1.12.1-1build1) jammy; urgency=medium

  * No-change rebuild for ocaml abi changes.

Date: Tue, 25 Jan 2022 17:41:17 +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/1.12.1-1build1
-------------- next part --------------
Format: 1.8
Date: Tue, 25 Jan 2022 17:41:17 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.12.1-1build1
Distribution: jammy
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-elpi (1.12.1-1build1) jammy; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 8012c254d6328f73cef5f2575eb5ead9759e7ac7 2112 coq-elpi_1.12.1-1build1.dsc
 7042f028669f1ac1af930d5f111c56697403e8ac 4068 coq-elpi_1.12.1-1build1.debian.tar.xz
 35a5a490872834b6222a10bbc551d4687f42d588 7277 coq-elpi_1.12.1-1build1_source.buildinfo
Checksums-Sha256:
 c379dea9fe1ac39dc5965a875f5f8e84d8ed953767a9609fb9f8c8fa2dcb7c1b 2112 coq-elpi_1.12.1-1build1.dsc
 b7124c5c47f011c17c3bd368a815c063f4275b0893c22c9adc8ff522fa0f13ce 4068 coq-elpi_1.12.1-1build1.debian.tar.xz
 d7b829a989007eba1572d8409ee9607314e70792a06efcd3e06429f8f5e877f4 7277 coq-elpi_1.12.1-1build1_source.buildinfo
Files:
 dd35a61d6bdf8b425d1f6a3f578ed404 2112 ocaml optional coq-elpi_1.12.1-1build1.dsc
 32087e3d73f7126dc8f43f76813a518c 4068 ocaml optional coq-elpi_1.12.1-1build1.debian.tar.xz
 586348a862da1d54cba0cd756fb4c979 7277 ocaml optional coq-elpi_1.12.1-1build1_source.buildinfo