[ubuntu/plucky-proposed] coq-elpi 2.2.3-1build1 (Accepted)

[Jeremy Bícha]

coq-elpi (2.2.3-1build1) plucky; urgency=medium

  * Rebuild against latest coq

Date: Wed, 20 Nov 2024 21:31:05 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-elpi/2.2.3-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 21:31:05 -0500
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.2.3-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-elpi (2.2.3-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 aa3649b61bc64e46ee07561811a1e8ac696a62f7 2060 coq-elpi_2.2.3-1build1.dsc
 9a2a1d84fc2a1263c0faee56fe37149df601d6fb 3780 coq-elpi_2.2.3-1build1.debian.tar.xz
 1b30169218de81b46e7226d5a181e1db93041680 6957 coq-elpi_2.2.3-1build1_source.buildinfo
Checksums-Sha256:
 e8621ec07f01d05f19716a43c03ed2b4b8a195a2a4bb676bf948545d6c022f17 2060 coq-elpi_2.2.3-1build1.dsc
 dac0a83e4b173cccd51d4d854d10d7c2a203a213447c5d316e8ffd13cca74625 3780 coq-elpi_2.2.3-1build1.debian.tar.xz
 e3d1cb23481eb1cfc5e1ae7db7c39dad897a4cfda4a3435b9bbcba09b7dfb63e 6957 coq-elpi_2.2.3-1build1_source.buildinfo
Files:
 82452645e5024fdefedbda1751b783cb 2060 ocaml optional coq-elpi_2.2.3-1build1.dsc
 cc5e44cb8245ba44bcd93d03b6017011 3780 ocaml optional coq-elpi_2.2.3-1build1.debian.tar.xz
 62958d9f1c5793716d3037cdfd8ce8e9 6957 ocaml optional coq-elpi_2.2.3-1build1_source.buildinfo