Accepted coq-simple-io 1.7.0-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-simple-io 1.7.0-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 08 Jul 2022 23:00:09 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=0dVRHjIWq3Ljd9hl2lmQqTwb5USEE0fcgB7CoLcRtsQ=; b=cuKH2+khLdS8/IkSXp4oMPrvML c2+m6G5v+S0l3LXCkVl7QpmLElg2fRNMJA5TvvA8Xq8rPkT4Mn10LvLaQpTvQCdthIj/zfFAY7I77 I6pLqwJF3WyMwDopDrrpHc0L6reYTFvPn/twlAV2mJb6GJue9B+t8B5u1GFx2OHXxY46SNvXBoMOU hGydPh1M4wiY4c95URDQlTbQJ9Emu9oc+qlMA3pMuP3obTQV3CmL1VsIakJeQqttt85VQOJWd0zkw Anio4TPz7x2+Gh06cgBY3fgSIm5LA7xzKdpl+YoUVtqc4ZbFk4TfAJ4KTy0kvCrcU7E9S/iIvsNU3 fW606AqA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o9wxF-0007Yq-Tc@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----