Format: 1.8
Date: Sun, 24 Dec 2023 08:57:47 +0100
Source: coq-simple-io
Binary: libcoq-simple-io
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 1.8.0-4ubuntu1
Distribution: noble-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-002.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-simple-io - Coq plugin for purely functional IO
Changes:
 coq-simple-io (1.8.0-4ubuntu1) noble; urgency=low
 .
   * Merge from Debian unstable. Remaining changes:
     - Use upstream proposed PR https://github.com/Lysxia/coq-simple-io/pull/63
       to fix the V exported value.
Checksums-Sha1:
 8efb0cfa0775c5cb3405965d3f6fde1c5e826c71 6958 coq-simple-io_1.8.0-4ubuntu1_riscv64.buildinfo
 f7b926254b2813b1efda106905c0f645525e3dc4 6474 libcoq-simple-io-dbgsym_1.8.0-4ubuntu1_riscv64.ddeb
 b2035a621f543062f2d246ca1f1acd3f08a6e656 116576 libcoq-simple-io_1.8.0-4ubuntu1_riscv64.deb
Checksums-Sha256:
 ab19b80bda35f46fcaaae4f7e95d906fc87503e6c026641bba08bdaa2f95a869 6958 coq-simple-io_1.8.0-4ubuntu1_riscv64.buildinfo
 8c50f3745175e712d6f9edec8fc7e943b297cfddec2dfc797be086822aac200d 6474 libcoq-simple-io-dbgsym_1.8.0-4ubuntu1_riscv64.ddeb
 24541f87c3f6cdb7d611f47259e93ec49a2c1033df2e0795f71799aae080952c 116576 libcoq-simple-io_1.8.0-4ubuntu1_riscv64.deb
Files:
 5f1c58a60878acfc6ff3140f583d1b38 6958 ocaml optional coq-simple-io_1.8.0-4ubuntu1_riscv64.buildinfo
 aadbbd8d12b1e5a9ae57ff2d62b8593e 6474 debug optional libcoq-simple-io-dbgsym_1.8.0-4ubuntu1_riscv64.ddeb
 e323516b66a240d3db27c3c909dc3097 116576 ocaml optional libcoq-simple-io_1.8.0-4ubuntu1_riscv64.deb