Accepted coq-iris 3.6.0-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-iris 3.6.0-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 18 Jul 2022 15:02:01 +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=gMwaBpagRrjAoovaY772dtonw6I5hfp7GY7fcsk27MU=; b=r6AVCIB6Cho5uh/CK8zMDtFv+U WFpSzjKHn/uMncaw7srGIeYinKz/h0NzVmI3sulcKXJpFHgASCPJSmmXTUAIKXezTl1BaOBjg/ZNt j4CFyrp4FRJRhghbJ1aV2P9YZsTFty/z732JbvKmJjRm7Rby8HLgC+2Fh/608+R5WO7paGWrBqQ5b wqkJS5ew0PSyZA5Sj3Y/WNLAaqWtvB7yOZw+vzmAC4Pma+z7hFXay3Pbe6zBlNo3NdL7IXxpbirYW 93jb7AmDBxVFo5Ck3w4v6rRUH7vWPjsn9TDStvbKJUferH9Bz4qD/VMG28lnJfjcMjdHKZG+oSpqJ 8gBvu5IA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oDSG1-0000PG-4i@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 14 Jul 2022 18:05:39 +0200
Source: coq-iris
Binary: libcoq-iris
Architecture: source amd64
Version: 3.6.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-iris - high-order concurrent separation logic framework for Coq
Closes: 1014921
Changes:
coq-iris (3.6.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014921)
Checksums-Sha1:
3ba87b3ef041f3e85b1911ed2db419ccd7c381d9 2147 coq-iris_3.6.0-1.dsc
3c1db57e7332c5695a5e21487433ca9eeaa5d1bf 665224 coq-iris_3.6.0.orig.tar.gz
d894cdb778956893922ff5d3919987822a85b867 11856 coq-iris_3.6.0-1.debian.tar.xz
c453042192e9d3fd84711e8df5dec5e76d72cbcf 13749 coq-iris_3.6.0-1_amd64.buildinfo
c3b722fc258b4cbc9e93ec27991b6487c43a68a8 11173452 libcoq-iris_3.6.0-1_amd64.deb
Checksums-Sha256:
eeab6639d13ba61fd39b0dc016cac1e185db316214ec754c228fe411fc45d1b9 2147 coq-iris_3.6.0-1.dsc
29f43a378f4e4c9a19e1fa0013c9e9f2ad026999c8ba625fb085b0266828a64c 665224 coq-iris_3.6.0.orig.tar.gz
f5426af42e7a128a7031b8b8b11c900371bed6a766b6c80957e5cfe3e5400d6e 11856 coq-iris_3.6.0-1.debian.tar.xz
34f2fd4cfe4a195a9362c1fa55fe36b49acddb7d2827a72607a1e1c949aa3ca0 13749 coq-iris_3.6.0-1_amd64.buildinfo
f56f7da0fbf5cf96f3d6a4f59a5d5120d12df33e80163e184c6a776acbac4a98 11173452 libcoq-iris_3.6.0-1_amd64.deb
Files:
f7d17b4a66161c949e74b765e506b7fa 2147 ocaml optional coq-iris_3.6.0-1.dsc
4ce793ee59065df58cef5f6deabc709a 665224 ocaml optional coq-iris_3.6.0.orig.tar.gz
eaf44109739149a07f209f1f51c83a77 11856 ocaml optional coq-iris_3.6.0-1.debian.tar.xz
b94ba93363e093bcc72eb941ac4a6e73 13749 ocaml optional coq-iris_3.6.0-1_amd64.buildinfo
dd0ab7201f5d5209c3382145f00ec2a8 11173452 ocaml optional libcoq-iris_3.6.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLQSSQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNnoQAIRJokt0QdYozu6JQoufwGJMFtQ+H6Ba
rn0qd9QLUEBgUJuaeboIA3jCw68Urh5wrw+xmRi8E6mV3kOdLJCiy5D8XLYvemhO
HybusF3bWFBRBFFXnvFrwyejkBr062yj44l6lqgmcdUeaMUoCwDTre/5452gJM/F
9jd5gzeJRmrRbD0y37oAPhQXc17WvJ11Tb7BZX3U7IrZChYKLAOoBaBDOaaNRcGM
VOLfuiXcDhhDmI1zHTHnCJKMlJK4cpyQfDG7oB6RYTnUanJBaeRUKa0ryF5Z5d3f
U9WRyYFvAiTZRzDoc875emaIyZE/RGD9xIkd/OKSnmKeyWXCqJvOiGNZCkiyy4uB
W90um2rZ8EMVvn7FvereJ/pGdzlo7eHIlea6T4KVsiQyRSXE4AckhZjEkZTLHlQ8
NNAiXv936+BtpVJjrYzdgVAmFrrRXCGBu2T2FwH6bpgV5ajr4eoF1sDICBJuwQG8
NmNa0pdqZLku0eogrl+UnhxDN+GxklAgQ+dibJmsELjFx/mGm3p8gReiHKfANw6h
t7Hxx2+lsgzdzXMu2QludvQT0SQfz2gQVugEp5aD03tyKSqgpNynA/kWjWrGM7fg
LWgmkyxl+Ky5ayGv2E9wk5M4Dp7bG5Pub8QwRLWT1NcvoAFseiCTL2xZXzXNpPSu
M+xe0x8vVpzd
=SZlv
-----END PGP SIGNATURE-----