Accepted mathcomp-finmap 1.5.1-1 (source amd64) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 09 Feb 2022 07:49:56 +0100
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: source amd64
Version: 1.5.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-mathcomp-finmap - finite sets and maps extension for Mathematical Components
Closes: 1005214
Changes:
mathcomp-finmap (1.5.1-1) unstable; urgency=medium
.
* Initial release. (Closes: #1005214)
Checksums-Sha1:
c2457297c45163483fe8e478280f3fcd328b3a60 2071 mathcomp-finmap_1.5.1-1.dsc
25c2a40ed57d5dda6ee54833c482f868f099a1b7 63804 mathcomp-finmap_1.5.1.orig.tar.gz
7157c125522d90983e986af44a9d647079eb3cb9 8344 mathcomp-finmap_1.5.1-1.debian.tar.xz
ef9a20d04b52ff35c2b95ce73749b83a0317bfce 687780 libcoq-mathcomp-finmap_1.5.1-1_amd64.deb
e3e65a7abb3befb3cc666d1fb3a4abd74c266875 7770 mathcomp-finmap_1.5.1-1_amd64.buildinfo
Checksums-Sha256:
88346754f58f840d5b85389d89e78e525cdb299309cedd0306e6e6aa7d46f36c 2071 mathcomp-finmap_1.5.1-1.dsc
beae8e94b7a092fdb47f715384ad47716841a5e5925390426c7bfa3223f3b39d 63804 mathcomp-finmap_1.5.1.orig.tar.gz
910584e72db012ff937589c6ed1fd21a3cf4a413bc909af453a38fd2b64de0c1 8344 mathcomp-finmap_1.5.1-1.debian.tar.xz
2f7ff7032272e33a1fe27abb894959487745a9895ecd7115f039371025789591 687780 libcoq-mathcomp-finmap_1.5.1-1_amd64.deb
ee958c73740cf81e3f649b2cf005bdb56419f58dc91ed874087660fdfe098601 7770 mathcomp-finmap_1.5.1-1_amd64.buildinfo
Files:
71961bda9b4f7ba04fa3051311268b05 2071 ocaml optional mathcomp-finmap_1.5.1-1.dsc
65b16ece6ba65b44e24d55b33d50803e 63804 ocaml optional mathcomp-finmap_1.5.1.orig.tar.gz
9fecb322b866c32bda8348f95b3ace54 8344 ocaml optional mathcomp-finmap_1.5.1-1.debian.tar.xz
677e74848212d8bc4b11eec373c4975a 687780 ocaml optional libcoq-mathcomp-finmap_1.5.1-1_amd64.deb
27e4a631e1dd0586bc96b3b45a778076 7770 ocaml optional mathcomp-finmap_1.5.1-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIDaVoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRbdoP/iHO2yZ1fCOeSvgyTdJgTjP/YxwCgR/Z
sa2zoitvdMaJh0WXeWZvTxexsrxNHdudcebhTp8cxUW7vON09mKYompbPPMp0W45
ZfOKK+AVWmxbboTv1jnIecxgrbXcxFWS9GowiGzfKTsGfuy+Wc53RyTm6gJIAV7s
R4i0WcJ1/Jd8KI0V2+ESju4haEXErYQ31kojrXPs+fBGTP0xgAil8/dZA9jEPk6q
T84MoycNFeT1TqWb+E8+h3uo2w6SIeJ9cEShNFKZKdwNxze5nFYr1L09B7rW6Sjl
j8+qY90lXOq4erY80zplfG2n2GIKTY7GBCwoOmS180t3cHaBSdAabSdPH+NRvh+V
y8MVxuNrPxTHz4motaGlhO/s0iJ481scnIlCo+BfgOLkrkKJ/CfkVhXp07ol0Eqa
/XJDLnpcUnZUOHhd2vmZtVbASoGWfqpx21BVQB1+BzTSIL8bHl39T70ep1rEz4nN
gLcXoFR+64kK8NlbMniCHpJbqZQ9RyHQfCLLCyY2JTmH2aUNcAiLnWILfAOrFMQf
9uUXapjNNw2XitMxmdNzhdCDLQ+5VY7bkC/9ymmOTBYBtH2T7ZdygEWgzPHVwBh4
Yg/s8OXPOqNJU9EZT0PuGjKvUsyrTM1rshhM9oopkiT9YE705Nd9ZWpYKrCblupE
IYnA5blUqHHX
=3H8e
-----END PGP SIGNATURE-----