[ubuntu/questing-proposed] coq-deriving 0.2.1-1build6 (Accepted)

[Jeremy Bícha]

coq-deriving (0.2.1-1build6) questing; urgency=medium

  * Rebuild against latest coq libraries

Date: Thu, 08 May 2025 07:24:41 -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-deriving/0.2.1-1build6
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 07:24:41 -0400
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-1build6
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-deriving (0.2.1-1build6) questing; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 5d6f567a1dc500eee66c7765a0674398e1c31adf 2112 coq-deriving_0.2.1-1build6.dsc
 3ceace72aec2419bb7095de280e2b4f5d8c4e46e 2412 coq-deriving_0.2.1-1build6.debian.tar.xz
 ed2798954a99c1406f9383af2aa5dbfa3cc2aa35 6905 coq-deriving_0.2.1-1build6_source.buildinfo
Checksums-Sha256:
 23b1865100a1cb320cbb67d411880e38a73a116243d55a7a7f1180a760694886 2112 coq-deriving_0.2.1-1build6.dsc
 60bcfe8a11bdc297151090984d610400b2a368a9dee6422cc86517df1ae834f3 2412 coq-deriving_0.2.1-1build6.debian.tar.xz
 4f667b6d6438f78eaca1f75aff99860a2fab753e1c5948abceaa98120b701d33 6905 coq-deriving_0.2.1-1build6_source.buildinfo
Files:
 817ff61363abc5c4261215d0928b9344 2112 ocaml optional coq-deriving_0.2.1-1build6.dsc
 245da396b981800ab69c611156855f68 2412 ocaml optional coq-deriving_0.2.1-1build6.debian.tar.xz
 a50a1dc9fe36f9d738211e8baa9ffbdd 6905 ocaml optional coq-deriving_0.2.1-1build6_source.buildinfo