[ubuntu/noble-proposed] coq-deriving 0.2.0-1build1 (Accepted)

[Jeremy Bícha]

coq-deriving (0.2.0-1build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sat, 27 Jan 2024 19:47:53 -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.2.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 27 Jan 2024 19:47:53 -0500
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-1build1
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.2.0-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 127a116bcf5f6af232dd41b28736ab6f0ed63c3e 2112 coq-deriving_0.2.0-1build1.dsc
 f48506d957ec7f5df27e32cff74890439fb42d53 2188 coq-deriving_0.2.0-1build1.debian.tar.xz
 843d48718c895508438d702e0130b09e4ea7ce1b 7639 coq-deriving_0.2.0-1build1_source.buildinfo
Checksums-Sha256:
 1ebe39b7cd7f7be2a3c90e4fc94adfe4adcc9de37c0ad82d5185495d0671e582 2112 coq-deriving_0.2.0-1build1.dsc
 676db107d76aed087de160e5a0e3d69f438c12be6d98ef2b223320e054e46e73 2188 coq-deriving_0.2.0-1build1.debian.tar.xz
 44f5640193f4165a924c9ce7fc3c775863aebf5e6daa4600e6f51076b12d7004 7639 coq-deriving_0.2.0-1build1_source.buildinfo
Files:
 9f24507f93f7b756b882551dfacd87a9 2112 ocaml optional coq-deriving_0.2.0-1build1.dsc
 8178103e1862158c77c23df555e83a38 2188 ocaml optional coq-deriving_0.2.0-1build1.debian.tar.xz
 419ed0a3e5065ace0b2b4e9cf2b3ba0a 7639 ocaml optional coq-deriving_0.2.0-1build1_source.buildinfo