[ubuntu/oracular-proposed] coq-elpi 2.1.0-1build4 (Accepted)

[Jeremy Bícha]

coq-elpi (2.1.0-1build4) oracular; urgency=medium

  * Rebuild against latest coq

Date: Sun, 04 Aug 2024 11:14:58 -0400
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.1.0-1build4
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Aug 2024 11:14:58 -0400
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build4
Distribution: oracular
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.1.0-1build4) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 5e259d5777c0a77b57f7f5b787fb6d865d06e143 2022 coq-elpi_2.1.0-1build4.dsc
 b82f43876716e5d4efefb51b9326ea1367d18d43 3804 coq-elpi_2.1.0-1build4.debian.tar.xz
 7c0fa3eaa48ebadcd550c055323c4aa62da2151a 6773 coq-elpi_2.1.0-1build4_source.buildinfo
Checksums-Sha256:
 8b15c2c497e0a8f5bbdb76be768b1d9619b8e8ce03a3729ec67807290427c427 2022 coq-elpi_2.1.0-1build4.dsc
 7ac796e1b1a8bdadb594a40f85c63e1b53ecd98adefa6c6b7f5cf0bb49994180 3804 coq-elpi_2.1.0-1build4.debian.tar.xz
 dea85e7990192a63cf60a8e2082cb6fb90b9e00bb807537dc6ff532fb3456774 6773 coq-elpi_2.1.0-1build4_source.buildinfo
Files:
 98e72248a4d8ac07b7058cac9a989123 2022 ocaml optional coq-elpi_2.1.0-1build4.dsc
 e773b4ae5271659664ec574f347a3c01 3804 ocaml optional coq-elpi_2.1.0-1build4.debian.tar.xz
 39f4819b0e3b21af12723230d530dcea 6773 ocaml optional coq-elpi_2.1.0-1build4_source.buildinfo