coq-libhyps_2.0.8-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 15:39:56 +0100
Source: coq-libhyps
Architecture: source
Version: 2.0.8-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044177
Changes:
coq-libhyps (2.0.8-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044177).
* Package new upstream.
Checksums-Sha1:
15656a1918c594603c9c4b9922a2f474086165a5 2072 coq-libhyps_2.0.8-1.dsc
f76fddba5e33d6c43ce07a437f9916fecfc41a08 37247 coq-libhyps_2.0.8.orig.tar.gz
d0b419aa87c3fcfc9be7b66fb23b7686bf367f8e 2080 coq-libhyps_2.0.8-1.debian.tar.xz
2e757fe2617c35594ada17f151ed42e0a3951c1b 7840 coq-libhyps_2.0.8-1_source.buildinfo
Checksums-Sha256:
e7f6c1dd6bcfb9ce7c3774c5e042c0372ad29dd0e5adcc0d8976a8ad8030ea2f 2072 coq-libhyps_2.0.8-1.dsc
e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
4b40558f6b690e543b3cfc158cc4cf8af0d88249c23dcc14b808105f8a7a4551 2080 coq-libhyps_2.0.8-1.debian.tar.xz
d82190cbed7e6731c8c1478a637e1f0f23dda71fe6e17cb696274ff9aff99ad8 7840 coq-libhyps_2.0.8-1_source.buildinfo
Files:
1295802dc3f0287a32cde784485b2680 2072 ocaml optional coq-libhyps_2.0.8-1.dsc
ca5263992fcd5f55211991f55a2d3c73 37247 ocaml optional coq-libhyps_2.0.8.orig.tar.gz
619bc147226ede968c2b3b5b899f570c 2080 ocaml optional coq-libhyps_2.0.8-1.debian.tar.xz
e5894bdbdef5151591c3d0deecee0150 7840 ocaml optional coq-libhyps_2.0.8-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWETl0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpAYQAKWX2UHEevbmIkeYvwKSKRFe5a9+rd5R
YlWTKrM2CScIDyeDypyuV/REk7fqr8/NO9HahvFQn23CNBiyUeBzNsFwO/VnNNY6
o14Fd4ibwoKqsmN/GfrhgarCxPhTNKnXhnzvgtah7lzEgkuw+SHCft5GZkQr3pAo
52YEEE5P+1AbEjEX1gw4AkFwAEFOPtX+/PrTFgCP72HaBXIh3IUFPF963I3vgINc
yoahdNmfAQCsDr8MNmRkIdR/GNAU8O+eU2G9KLP1pyfCXqmyn0jZeHincZUvbGvo
XYMPHY2EZ8h9UuBACz+YIJOstLrEzHUi8YS2Sid7egOPbsAbEU2UeTC0fc5/eNGD
HG9YZNBp89yeDVeNsY34G48RpL78cWVCDJsyQsRHLdDps5OgooMU8pMG6tiRa6K8
nyirUspquEZ1dWC+jMSkkELh/U/nnn3//DjIDVEPZn6Qbjh8WHY1YqnB/1/FMFmn
ytRDhSLG5JbjFKdF3digyXcBSTDKwbtbboOz/ZINaiK0mKUGGxQtLuvtY17ATJUE
yulNJ2chaiVka6Hnn0Tm3Fo8QaWvZ9SkiWjfpXVpzNAxljgrjE4AoKHVLokwAu8M
hCLgD9MCF3CcvNwL+gBkP/A5qyC9QHeUtcyYA+PDT7mo09ox7chVJZwKoRbLvmaq
65381EZyaXzu
=If3h
-----END PGP SIGNATURE-----
Reply to: