Accepted ssreflect 1.14.0-5 (source all) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 06 Feb 2022 18:14:01 +0100
Source: ssreflect
Binary: libcoq-mathcomp libcoq-mathcomp-algebra libcoq-mathcomp-character libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-solvable libcoq-mathcomp-ssreflect
Architecture: source all
Version: 1.14.0-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-mathcomp - Mathematical Components library for Coq (all)
libcoq-mathcomp-algebra - Mathematical Components library for Coq (algebra)
libcoq-mathcomp-character - Mathematical Components library for Coq (character)
libcoq-mathcomp-field - Mathematical Components library for Coq (field)
libcoq-mathcomp-fingroup - Mathematical Components library for Coq (finite groups)
libcoq-mathcomp-solvable - Mathematical Components library for Coq (finite groups II)
libcoq-mathcomp-ssreflect - Mathematical Components library for Coq (small scale reflection)
Changes:
ssreflect (1.14.0-5) unstable; urgency=medium
.
* Fix libcoq-mathcomp's doc-base.
Checksums-Sha1:
de6cf571c0c9fc027de3822997f96c9e1b16badd 2592 ssreflect_1.14.0-5.dsc
3e56085484255c1f4ae40e44e946616e6568ea8a 12332 ssreflect_1.14.0-5.debian.tar.xz
10eb5e4cca33dc77fa133e0457eeba462a3703dc 6405344 libcoq-mathcomp-algebra_1.14.0-5_all.deb
2c5bd01cc13f2f2bb88bf6e993ac9ef1f56ce268 3967208 libcoq-mathcomp-character_1.14.0-5_all.deb
6c35e4c707367e28107c31a29ecfa7e58f66cfb1 2795628 libcoq-mathcomp-field_1.14.0-5_all.deb
47cc9108f087ddedf06649d34fc3e0545f8c3f7d 1892872 libcoq-mathcomp-fingroup_1.14.0-5_all.deb
a425f65edd709bde863435815ce1f3c5740f71b0 4611620 libcoq-mathcomp-solvable_1.14.0-5_all.deb
ff84c7d8d91547aff44cacd5ef0d11d73148d36f 4110268 libcoq-mathcomp-ssreflect_1.14.0-5_all.deb
b7cdf3294cfd855eb0da2b4e6529610b82244941 3151876 libcoq-mathcomp_1.14.0-5_all.deb
b984b96ae06993ec012608e1f31b6cb009e72880 9554 ssreflect_1.14.0-5_amd64.buildinfo
Checksums-Sha256:
7d9dfe00e5a3e6bb85e53d86cc37bc8fc6ce4ac7a5f5817b4b2240d1db9ac1d2 2592 ssreflect_1.14.0-5.dsc
53749d137a43ccd6498cd3ce82cf766c9ebaef5539913a6c7829fc130580ca69 12332 ssreflect_1.14.0-5.debian.tar.xz
8eab7b7b18de2b810564c6920b5af09557d6c4db16b22a37c8b0e82004fc6840 6405344 libcoq-mathcomp-algebra_1.14.0-5_all.deb
4e73d7ec7c6178f7d050d38fe2ec47f1ed4c2d1fb23e02121741f73d6852eaa6 3967208 libcoq-mathcomp-character_1.14.0-5_all.deb
a44e2969347b303ce0bf9f886fa80ffee8b533e29c4873d4c7e851a1811342b0 2795628 libcoq-mathcomp-field_1.14.0-5_all.deb
69fb118b283c561da9c6bc01d01063cc8858066b191fd839569c23c68db207ca 1892872 libcoq-mathcomp-fingroup_1.14.0-5_all.deb
7b2bd7136fd0793d4b9e32ce4478d3370db971cbe0362b99643aecc127beb8e7 4611620 libcoq-mathcomp-solvable_1.14.0-5_all.deb
17c11beaefbcb8004ab48d52edbfe5473b258eb5e0bba9eda2e133a35dcba039 4110268 libcoq-mathcomp-ssreflect_1.14.0-5_all.deb
3351bba886521a92ccce1131b6a43d8d49c05e88a646d0759c57ba05d540f45c 3151876 libcoq-mathcomp_1.14.0-5_all.deb
bace1e6badcd7c513b666b5e7efc0a1287b61f77ea85d86cb159cdf26893be22 9554 ssreflect_1.14.0-5_amd64.buildinfo
Files:
c2e74d1beaaf1787ab12c1f334081e96 2592 math optional ssreflect_1.14.0-5.dsc
ef591dc600d512d5a7a69b94010f314d 12332 math optional ssreflect_1.14.0-5.debian.tar.xz
8ca08712676cea2ef7a728e6f716490d 6405344 math optional libcoq-mathcomp-algebra_1.14.0-5_all.deb
0461b81cde869bdce1744cbc80debe36 3967208 math optional libcoq-mathcomp-character_1.14.0-5_all.deb
97493562bf56f8ad21c7d6843525604f 2795628 math optional libcoq-mathcomp-field_1.14.0-5_all.deb
73a62bc14d428fb0f20070f791b87111 1892872 math optional libcoq-mathcomp-fingroup_1.14.0-5_all.deb
97fa58050d47490e682a01bc25f64a58 4611620 math optional libcoq-mathcomp-solvable_1.14.0-5_all.deb
899708a4510035ff4f2675065d62318c 4110268 math optional libcoq-mathcomp-ssreflect_1.14.0-5_all.deb
8c8d56203259ecbc82685f69488db6f4 3151876 math optional libcoq-mathcomp_1.14.0-5_all.deb
ea2b85fdbb4cf0e86f513b7370ed5e57 9554 math optional ssreflect_1.14.0-5_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIAKQoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbsVD/4hU9BpPNTW40i6794qTRmb
7HhUFesefRGVMboREOlDfQJ4CbE1m7fDrstyoouK2stS2Qaua+gxbZaXnuFitsRg
IMafO8vZo8sQ+94MnL/bMiToCCbtTMxJYipMMUZeBx/uMkBSqtGsGAqgTI/W3Ggm
6ZJf4UqPSxjUFdpxTAiKjnXXtLnPi69WoF71rjIlR56keSb4fSAgs2r+18Hd0iQ7
YnHD1SOMA/gLFKKr/9DHLK5iSLxVB0xjKBEgb87MxmRanQGVT5hDx3Ee1DyzAuJ+
ehFelFH+LIqf9Ob7f79xmZKWmUI3WndtsUbUuhABLC7baeBWPZMit18+8mH0t545
Mh6UH0OruWWrORuaKjgNkxdCBGoTcBrg7EEPVE4cbcyaNtnyy8zkefkObMA72v/I
t32eZIXuk3/aq2gW2lSbbFTod8JVT9cWgAuaFoQhccOlP6hfVV69L5IgGKMeXy47
fyvY0720WENbgkuKQJ5NwsX+EvET20eEzG9bNZaqujWHwvH7M3sfyLtseiIB+uXC
/hQlXFSyS5FM2snkI/wG3hD+i56a0C4mDj6FUh4IX7mG6MF5LTiXVMz8eXCYN3OY
/4wmd2xkg+7JT1UTGOXYRjZZB1d1yaFO9MwChbJU9LO2h4kdCTl8ocZIfpMuIaNF
syvIgeL2d111SFYFrYXPZA==
=zTOw
-----END PGP SIGNATURE-----