[ubuntu/noble-proposed] coq-deriving 0.1.1-1build4 (Accepted)

[Jeremy Bícha]

coq-deriving (0.1.1-1build4) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 07:19:46 -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-deriving/0.1.1-1build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:19:46 -0500
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.1-1build4
Distribution: noble
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.1.1-1build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 4f80b52cae27ad95c8df0cffdb256b05bdc65544 2112 coq-deriving_0.1.1-1build4.dsc
 31e16e1076615c6bf9f9000339ad0ab44d5692fb 2180 coq-deriving_0.1.1-1build4.debian.tar.xz
 4fe1b9498632fa2edf40198ad189dc9fd12b68a1 7272 coq-deriving_0.1.1-1build4_source.buildinfo
Checksums-Sha256:
 0c4f480204bef14aa5bccee93dbef1486931865e524fe455782a86825234caf8 2112 coq-deriving_0.1.1-1build4.dsc
 e9f5df71c3a075c13672615513742a632a708a110719a2201b4db79e0c247daa 2180 coq-deriving_0.1.1-1build4.debian.tar.xz
 e7f2859372d8d8305f4d4274053c8b6275d09d198abd7e7e20a49d9e6f9fa375 7272 coq-deriving_0.1.1-1build4_source.buildinfo
Files:
 e50d752b157c7256dcd6b331e712e228 2112 ocaml optional coq-deriving_0.1.1-1build4.dsc
 8dfd4410c1cb9427e98a44413aaca5a8 2180 ocaml optional coq-deriving_0.1.1-1build4.debian.tar.xz
 43fff6782ea7d89c2e0dd157d600b8e7 7272 ocaml optional coq-deriving_0.1.1-1build4_source.buildinfo