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