Format: 1.8
Date: Fri, 22 Dec 2023 20:28:52 -0500
Source: coq-libhyps
Binary: libcoq-libhyps
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 2.0.8-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-018.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:
 2a00a64eae281effc63c25e08f6cdf6edb238c58 6507 coq-libhyps_2.0.8-1build1_riscv64.buildinfo
 5074fbf10794917f99ca6a150550eeee4299925e 91714 libcoq-libhyps_2.0.8-1build1_riscv64.deb
Checksums-Sha256:
 327ffe80b867c0f64a9397fe607d1bedef4762538b73d7e6f59d6413e9895f1e 6507 coq-libhyps_2.0.8-1build1_riscv64.buildinfo
 3489a0f583cdea939243a3118603f4c34bd49477e2a11ceefdb9f3cf006ff331 91714 libcoq-libhyps_2.0.8-1build1_riscv64.deb
Files:
 8005ec083793fa1290feada4ffce75a4 6507 ocaml optional coq-libhyps_2.0.8-1build1_riscv64.buildinfo
 6a3e98736f9a71c440731ed47d7c621b 91714 ocaml optional libcoq-libhyps_2.0.8-1build1_riscv64.deb