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: amd64
Version: 1.8.0-4ubuntu1
Distribution: noble-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@bos03-amd64-059.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:
 75caabac3168251e371863b410364f93fcac010f 7180 coq-simple-io_1.8.0-4ubuntu1_amd64.buildinfo
 ded68c0899270341c4db13f05937b17030f17c5f 6408 libcoq-simple-io-dbgsym_1.8.0-4ubuntu1_amd64.ddeb
 60eb2372b4aa6c61f258e9b47dec114f1d010216 115846 libcoq-simple-io_1.8.0-4ubuntu1_amd64.deb
Checksums-Sha256:
 1ffaacfbf042f3b9eccac7f906b03b7f34455424c5c5a474e991fe85c8a6f6b8 7180 coq-simple-io_1.8.0-4ubuntu1_amd64.buildinfo
 40bcdccee96eefcb41dc64289267cbf068dac5d78db147a616818018da4b0f3a 6408 libcoq-simple-io-dbgsym_1.8.0-4ubuntu1_amd64.ddeb
 b414becfd3c59460fa11989275e5f0e40d8e5496ae1573c858e841ce15f9268d 115846 libcoq-simple-io_1.8.0-4ubuntu1_amd64.deb
Files:
 d6011ca736daf6caaaf46833a5aee41d 7180 ocaml optional coq-simple-io_1.8.0-4ubuntu1_amd64.buildinfo
 84692213c6c7bb4a3d9838e0452a5c67 6408 debug optional libcoq-simple-io-dbgsym_1.8.0-4ubuntu1_amd64.ddeb
 ae81c0070aa3380b1ae76fb1acac4b5b 115846 ocaml optional libcoq-simple-io_1.8.0-4ubuntu1_amd64.deb