Format: 1.8
Date: Fri, 22 Dec 2023 20:28:52 -0500
Source: coq-libhyps
Binary: libcoq-libhyps
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 2.0.8-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-016.buildd>
Changed-By: Jeremy Bícha <jbicha@ubuntu.com>
Description:
 libcoq-libhyps - Tactics on hypotheses in Coq
Changes:
 coq-libhyps (2.0.8-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 6eb102817e11e1d737172aba114a5c0b2a859df6 6673 coq-libhyps_2.0.8-1build1_ppc64el.buildinfo
 ee3c2f9a399d3aabaf7f238aebf264cd7a3d175a 91692 libcoq-libhyps_2.0.8-1build1_ppc64el.deb
Checksums-Sha256:
 63c9fee0db28a9a70db3cc01d3161c16abbc1c7a749a57f0c56243f6c4ff5d28 6673 coq-libhyps_2.0.8-1build1_ppc64el.buildinfo
 c410f98e1c2b00704ba069a25b875c3d72c6451ae2732b064f9d3663701a72b1 91692 libcoq-libhyps_2.0.8-1build1_ppc64el.deb
Files:
 1a225f510c9e43e9e55f7bf2b24630b9 6673 ocaml optional coq-libhyps_2.0.8-1build1_ppc64el.buildinfo
 111011cf68c2174cc96f2cd6ce9eccbb 91692 ocaml optional libcoq-libhyps_2.0.8-1build1_ppc64el.deb