-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 19 Aug 2022 11:14:14 +0200 Source: coq-stdpp Architecture: source Version: 1.8.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-stdpp (1.8.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: fd2a05d0823b8b44ba1b43868cbd7d30dd84fa3d 2036 coq-stdpp_1.8.0-1.dsc 5fad69b07b70bd39cbf9d70f8debec53cc6b924d 254469 coq-stdpp_1.8.0.orig.tar.gz d1711efcf8f14221d25082c3edc8d9b642f5e47a 2300 coq-stdpp_1.8.0-1.debian.tar.xz 1e27a009634dbb17af70fd1436ae60aad81986fa 6948 coq-stdpp_1.8.0-1_source.buildinfo Checksums-Sha256: 68f2c02e1726fa11f7f79b5ed93b3040b5db55c8887fe09bdea0d524fdd425df 2036 coq-stdpp_1.8.0-1.dsc dab131d35f5b647bc3f846d64d48c154dd999461561ad1d94b477249905f7328 254469 coq-stdpp_1.8.0.orig.tar.gz 8de8b061542c8d59e42854830394412d9a5315f23070ded7b0bf5267647918bc 2300 coq-stdpp_1.8.0-1.debian.tar.xz 9c0a4e53788596960da7e53cfca6657b54a076ad8a8a197a61dc6819fdc07df6 6948 coq-stdpp_1.8.0-1_source.buildinfo Files: 305c441903f132cc589a2dfc0172d5d0 2036 ocaml optional coq-stdpp_1.8.0-1.dsc b6202104a62a6f71a9416ba6ca1a380b 254469 ocaml optional coq-stdpp_1.8.0.orig.tar.gz e8aef8457038decbce94969fb9d5ab38 2300 ocaml optional coq-stdpp_1.8.0-1.debian.tar.xz 07c20d7c1dbcd1704989e2d7af46773f 6948 ocaml optional coq-stdpp_1.8.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL/VIsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRcpYP/jA0hGhPtR1ai+IseWDvlnFPKL5wzS5J LghNJ/jXgQ9///xQ/gdfT7XIQyS0iUOMtU5ockJmLNt12c4oG84YHbY8+W0B/8wc tLy5pxDmI4MED9TmKnzUax1dr9TkFOkh6DLIq3Fqh86OxvXDLMEW/fhCn+yvgPMj VADV7I+4sjjeJA7nYxLKjSetoiwpKBzFZC947nK0lrdgRvGrV0cPqf7PP7JImgZ3 Ku4vx8OtjKN5pUT/k2skieATzC2EFe9v/NlnxzPh2R4DqK4w3c9j4NjAxLNqvkLJ HVYoy68CcS5yv95FvMCPRc+FVddwu9FGHyetLesw4mnwMHhVcUrokAbwjflPgjpp FFwQZH+AngFwdHZnAdtD/tSDrh8lbb6ClPYOhKFioDs6aSXCpxG4NDD1ztQVgUHk B83XoKwazI1976T05oBLIw8F2ZrzTQ+R5PblojQagzR2VvDYY/ExviP3FJcr8pqH LQ2/PMAKUrZQXaEbHsSHU3xsx+9cSvqEAlvCNG26zrUSrnQkTwp6IF/lNvoJNpoA AAlhpGT+4NM70Vowkq9IKwge548vujKXxUPNStgIE5UvvcGKePiCPrYz9DibGDe4 SeCdGR4lfWYKzwlajqZv6h5nh95bbYpITroB+4xXE9Ok3Qa/Bf0IWMwXk9Jqw7wo aeKLbvviyGZq =7+jx -----END PGP SIGNATURE-----
