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