[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq-stdpp_1.8.0-1_source.changes ACCEPTED into unstable




Accepted:

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


Thank you for your contribution to Debian.


Reply to: