[ubuntu/noble-proposed] coq-libhyps 2.0.8-1build1 (Accepted)

[Jeremy Bícha]

coq-libhyps (2.0.8-1build1) noble; urgency=medium

  * Rebuild against latest coq

Date: Fri, 22 Dec 2023 20:28:52 -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-libhyps/2.0.8-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 22 Dec 2023 20:28:52 -0500
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-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-libhyps (2.0.8-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 72400e0e79d87e2d6d6d9cc1e7c4fc6552fa5be8 2071 coq-libhyps_2.0.8-1build1.dsc
 e05c3c47bb175b0373c5160d82589ef65910cf1b 2148 coq-libhyps_2.0.8-1build1.debian.tar.xz
 b43921eafba80801038497e077557ce0067f8a82 7268 coq-libhyps_2.0.8-1build1_source.buildinfo
Checksums-Sha256:
 35e20127b47558fbeb1c714432ab6234cf731ccd28d0fa0f6ef19830ac15e8a3 2071 coq-libhyps_2.0.8-1build1.dsc
 3f5b7039771f53cc4fc63754ab840716790e3c023290ca4dda2719e8e6ad625c 2148 coq-libhyps_2.0.8-1build1.debian.tar.xz
 9c13fafc7a03e8487811c7858b17e76546f899c689ef4773b768148eae06960f 7268 coq-libhyps_2.0.8-1build1_source.buildinfo
Files:
 50dba61df51d1b372c609576053f47b6 2071 ocaml optional coq-libhyps_2.0.8-1build1.dsc
 111222917bed1b2817f950b96e08239e 2148 ocaml optional coq-libhyps_2.0.8-1build1.debian.tar.xz
 858b0d66ced32def9713ff8b5099705e 7268 ocaml optional coq-libhyps_2.0.8-1build1_source.buildinfo