coq-hott_8.15-4_source.changes ACCEPTED into unstable
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 22 Aug 2022 10:27:23 +0200
Source: coq-hott
Architecture: source
Version: 8.15-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hott (8.15-4) unstable; urgency=medium
.
* Add patch for Coq 8.16.
Checksums-Sha1:
a676d741a62f4aa0d473494c2d4b381c61eec0a4 2024 coq-hott_8.15-4.dsc
b9ce7a8971c16981f62e08d068c77cd259e2bb52 2780 coq-hott_8.15-4.debian.tar.xz
d8c885440aceab3364fbe4d954ed8fa4353e8d8e 7428 coq-hott_8.15-4_source.buildinfo
Checksums-Sha256:
0b740c352a7af77b20b8137f17761653a8738b17feb09596cc588dccf10ed32a 2024 coq-hott_8.15-4.dsc
53b9a07fc2c211e9d711e86597ade41e6230679a0db3e6c1046f4cb55cfc0a34 2780 coq-hott_8.15-4.debian.tar.xz
0cca8a84f4836ed484d29ef9c7a0c469787e9efd851f2420a028488c769175dd 7428 coq-hott_8.15-4_source.buildinfo
Files:
07d6d46a24665c4c3729a594df919f1f 2024 ocaml optional coq-hott_8.15-4.dsc
e8c8f095f6c71ebf7758d642022c1d7a 2780 ocaml optional coq-hott_8.15-4.debian.tar.xz
b174e95f3c7e87f726bbfa8712e978ba 7428 ocaml optional coq-hott_8.15-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMDPh4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNqcP/i9WU4PDg98r1neEIOqJ5IcJQz02LkFr
rsssRHAEsNo4KGNGSNR6CUo+pz2gDaS0sSOa/ZwporMX8w7WOsZxbdjseYb2HOyg
pwoULggWa+jgWsRzakfIMVu32a2VG29UI7797WYwvSqEk8188rVzJcRKZ6CLGVNJ
8q+qv0ZWVptV84iM/PoJQFsPRWuAFqJ7kNEfKWjycCPBL6Ch6GqQsuY7mOAR6P37
kJTRlgucEHIohqv3xfbhXyBaSYNHvhuDFu9ST+rnI2u8oql/G8+AbCQDgijjJh3q
k82QhwlyhcAxhx8F68vyyZAXS18dTFBxoVQEy2+y62l0PxdTfiXhUV0Hxv5G7spW
+0IK/4tXc7t2ec3LRY12mAeHRdWxCr0ePFUixquzodDyUMr99gUFj5wrMT1Ot5QA
zjmM9ZADg+4Efb533VQcDEooMe3EFzfNs0V2us0Z9n37YeOq15T5NJ9WOsLawLyI
paYXrauISYLi5TZJz6zkW8dhg6fIX2ZU2yKhpiswMozlscy0/Rux/eAuSK43A2sR
lWiLQP7Gtshz2WFqpPx5kRNdTM1LHwZO16lOmmUkW6ukEmR4fm2zOQpjTq+i75xt
TE6k2GTCIn8nI1uPh6Ca5/JtXpjUohh8h4wpJy+koG7E4tlOlLU8V4spKgssFjDJ
HdRpSNpwV1q4
=nnr5
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
Reply to: