-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 08 Jul 2022 08:45:34 +0200 Source: coq-simple-io Binary: libcoq-simple-io libcoq-simple-io-dbgsym Architecture: source amd64 Version: 1.7.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-simple-io - Coq plugin for purely functional IO Closes: 1014572 Changes: coq-simple-io (1.7.0-1) unstable; urgency=medium . * Initial release. (Closes: #1014572) Checksums-Sha1: 85ebe4564fb6302e58162ab4aab6f8603c33d011 2146 coq-simple-io_1.7.0-1.dsc 6a8f8c0a1bfde7b1476a0da5196e3e08ac1dbd0e 26183 coq-simple-io_1.7.0.orig.tar.gz d644ee5175b8f56650e6016a0d6e887066a286b0 1872 coq-simple-io_1.7.0-1.debian.tar.xz 9238ec832f525e6bc6b56ce1be46397759a85f18 7512 coq-simple-io_1.7.0-1_amd64.buildinfo 041be5758c8be53b94fd0d76457b9f84f9b34c2d 4096 libcoq-simple-io-dbgsym_1.7.0-1_amd64.deb 9cc944142619190c30a20d02059656dcef3ade08 79472 libcoq-simple-io_1.7.0-1_amd64.deb Checksums-Sha256: 96bf9e6bd9905e9b74db057c26acaa7776d5cc27cb9a15e5348d89a646931af4 2146 coq-simple-io_1.7.0-1.dsc 2460e1403c5898ccc5b5f84be10b4acdf93393cce4e49e0fc73dc57b9463e144 26183 coq-simple-io_1.7.0.orig.tar.gz 24a26afdc3b342d487c18fdb235fdbbd6324f8fc19ec5ecfd290cf32a10f2444 1872 coq-simple-io_1.7.0-1.debian.tar.xz 97c09c74cd1a69dfbced3e37f208a66ddf91a584d5a40ce982eb79080f1d596b 7512 coq-simple-io_1.7.0-1_amd64.buildinfo 480691ecaf4fde0dae7677a05d0409a94bc7935d6d267bc80227b015943e05b3 4096 libcoq-simple-io-dbgsym_1.7.0-1_amd64.deb 1102824c222f339db18856a06d0903cd5af04f1345415544ded89918ee66bc3f 79472 libcoq-simple-io_1.7.0-1_amd64.deb Files: 144ae73122a54386b84eefebce7a2638 2146 ocaml optional coq-simple-io_1.7.0-1.dsc ebf304b8be97070fde8e2383eba96984 26183 ocaml optional coq-simple-io_1.7.0.orig.tar.gz 4a357597a02f5c95b0cd60ad534472ee 1872 ocaml optional coq-simple-io_1.7.0-1.debian.tar.xz 4b19ce35869df7179b152d5c557ab9a4 7512 ocaml optional coq-simple-io_1.7.0-1_amd64.buildinfo 6d0bc8bda566f3fcb6251ff4baa5a423 4096 debug optional libcoq-simple-io-dbgsym_1.7.0-1_amd64.deb c7cc8cce174761dc657cef38eabe752c 79472 ocaml optional libcoq-simple-io_1.7.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLH0q8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR6NoQAJzJ2x0Y9aXOvNPRMYkrzDT6zKmeWSDC +3zt0ZOYe7tltfwLOSnH59eITtkSDIICUns82CeTzx4DEtocwfrczd66eoyO1OY/ bvp7epR7wm5ghTw13ZXIQKJCdX9bKuTMZRX/7kmEs8LzJvF8Zvy7GKhJl1NqzXwC hdOvnXKdTVCEv1ZWMB4N1/3aTUJdlhmrs+WzKuIcFjG2K4Ln6PG6a9ky1/oME3Uh XfR550y4+6Zpz6HG8nSS7uhnFBDDNPdSKHsP5NQjKYOLlRXZ+Wxw31pez8GDnGJf S16F4Wn79T8zwA9sXxpGbJxvDOGXRQ+F6Q7/OmPPqd69b257Ryv2WkvIu5GMXjA2 iX8ilFw0pQEQl7ET0vUpvlLiSkTxX9glZMVO60HjEPgQNgQOGI5EDvTIUHjyudQv Zuf+HSE5AGdrPJT+VkRP9FZQs5VzG0s9qHI6J4oCpslxQ+sRs4FLBSWGHFZl8694 pleKcFg6s/dUDyKjUaRA2bKclGdUxhZ6lA2+N4Lh0NvAeG1WKGXJCR7zRX0HGbpi LE0A4/WLK6MLZbYJ3fsCbxUencvPDtkNKTwmPd7uCWZHNPASjl7lm0mCnfbhoYVg liyTCEIoh1INgFVRcXLeKFB3oHpn/hcgZf5bo02m6zgY8wLebn4xECDBBaS5cLix EUk4TwpLM+GO =9uUW -----END PGP SIGNATURE-----
