-----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-----