[ubuntu/noble-proposed] coq-menhirlib 20230608+ds-2build1 (Accepted)

[Jeremy Bícha]

coq-menhirlib (20230608+ds-2build1) noble; urgency=medium

  * Rebuild against latest coq

Date: Fri, 22 Dec 2023 20:28:59 -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-menhirlib/20230608+ds-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 22 Dec 2023 20:28:59 -0500
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20230608+ds-2build1
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-menhirlib (20230608+ds-2build1) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 1a2abd7d80b990dc49f3dd4a42bc23a5dfc780a3 2144 coq-menhirlib_20230608+ds-2build1.dsc
 ff42d6df3119a8310ed1e14035608abea4e1463a 1980 coq-menhirlib_20230608+ds-2build1.debian.tar.xz
 8a6547aef5ca05b3ef8285ca0ee23ecbb8c03da7 7300 coq-menhirlib_20230608+ds-2build1_source.buildinfo
Checksums-Sha256:
 1ec8ac2eed1ff4bb1a7839855144d5d93da4209677677b3f766c8017044f3b80 2144 coq-menhirlib_20230608+ds-2build1.dsc
 c2fd958bdaf3d5391559ca61ef0164a45d68483c3a51d5d174acdbdd6558f0fa 1980 coq-menhirlib_20230608+ds-2build1.debian.tar.xz
 f830f335a08242b083d6f2746c659ee68c823df3a258eb0a07c4aca95b3a0932 7300 coq-menhirlib_20230608+ds-2build1_source.buildinfo
Files:
 40304199ea86677cb18b214f4a614c3f 2144 ocaml optional coq-menhirlib_20230608+ds-2build1.dsc
 3a5ac4d2f15e52750c916b4a924b93a7 1980 ocaml optional coq-menhirlib_20230608+ds-2build1.debian.tar.xz
 2d3dd7c0efb75f17bfa324b739d378d2 7300 ocaml optional coq-menhirlib_20230608+ds-2build1_source.buildinfo