Accepted coq-stdpp 1.7.0-1 (source amd64) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 08 Jul 2022 12:04:52 +0200
Source: coq-stdpp
Binary: libcoq-stdpp
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-stdpp - Extended standard library for Coq
Closes: 1014585
Changes:
coq-stdpp (1.7.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014585)
Checksums-Sha1:
2cfed075542fd55cd8b11a2496e5183977f78c21 2036 coq-stdpp_1.7.0-1.dsc
a87bf282e29be7cb975fdfe7c16bcac2bfa5338e 237656 coq-stdpp_1.7.0.orig.tar.gz
8507880728ef6cd9199ac72df5bf99201c63d2b5 2228 coq-stdpp_1.7.0-1.debian.tar.xz
e5b333b78d5370ace25e5aa11e2454327962e5be 7098 coq-stdpp_1.7.0-1_amd64.buildinfo
6437f33fd7c3589a87cd34c75dcdf45164d9a616 3789012 libcoq-stdpp_1.7.0-1_amd64.deb
Checksums-Sha256:
954162c9621baa36e699d478e93e69d84c4bb674244743d2afb94965c1a38f21 2036 coq-stdpp_1.7.0-1.dsc
ff3b87190b1128c8628ca692e54f3cad6af43323ec6d3facb8507d43e541bb07 237656 coq-stdpp_1.7.0.orig.tar.gz
38f9f6aabb1870b72f104fd69f39ad5cf7f6930b6c16911205c693ec610003ae 2228 coq-stdpp_1.7.0-1.debian.tar.xz
00c91cca0544f89579763725f1f77ae901033f947a2e2ec636bead3811300089 7098 coq-stdpp_1.7.0-1_amd64.buildinfo
9ebd2ce4e52812f9c2e4988bf5a44f02c51713d89cad8fa2ada2def19e5dbbf4 3789012 libcoq-stdpp_1.7.0-1_amd64.deb
Files:
54f0a1c313f240fb60dad38453614e14 2036 ocaml optional coq-stdpp_1.7.0-1.dsc
06f68719797be09a97e5cb709fafc076 237656 ocaml optional coq-stdpp_1.7.0.orig.tar.gz
8e8e2643fa938d7b03955a62d53f4dab 2228 ocaml optional coq-stdpp_1.7.0-1.debian.tar.xz
573eb399b0e7fb3be49e76aed13ba5c0 7098 ocaml optional coq-stdpp_1.7.0-1_amd64.buildinfo
e78e198a3dd7eda076ba5a2cacdb44a6 3789012 ocaml optional libcoq-stdpp_1.7.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLIBF8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRVtUP+wb7XmVUSJZjmuDv2MU5yYuaJXKCjb+Z
qR3pVtGBgfBdmD/tbPRJoqn6LLi37i5SC5FQc09FNfHl9CljG0NfyroxVwMGg67s
d/ox3H1hUPH3jGSLvLS2gvK7JkF2R8bJXeQljzHKqGccriDgkuqg2pFEQdOjPXlL
XnYHkJEZjrqHJe4Y5aOVLkjRYszgd9rcp/VHBIvRtl+Naos9/57YVjzVWTZlm+ye
tDlTsNaut5Vn9nsgDJd/8AWxK8oXgFW5zrb54bZT/yYh+UpPCzbJSZJTQQx3SXHF
e7qNaw08tJq7btw8XicPMcq5jJiJfGIbE4FoAPjb75upNq/VJiMoWW+FFqvP3lf1
A6POFS/Qu5KtPFU+wlleuyQ/HoHfTi265z7zaiLmHhcFV2xtBBia6UOIlZ+O7nuP
fHo6Q/S5tmHQvht1muaY/jT1DVGoXdPecid8miznYPGrFSeSKTTn2Xr+ynTUYKiZ
2svo9wReqtWGcxTpdGFUT2jikM++Cm377m7GIQMlNphUgVqUeUAuwMJoz4/gvMRP
DooAGPlLcjFYun2j5GbRGWOaIhWdSYduetOfLDEA0CY0ksBB+hPVtZGpSaSPG+FL
PsNwaTOLnMbR7THwWJ123fqBnQboTEpkszshCZKwFTfEcKgNRypcujgRqFrBamVM
3T7ScS+KtdlO
=nqBj
-----END PGP SIGNATURE-----
Reply to: