Accepted coq-hott 8.15-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hott 8.15-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 22 Aug 2022 08:42:49 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=ow5/U6NhysWI26rlYSF79sfiwgbHkuUgGEZVUd8dR0w=; b=ho3HpntKpU4CRv2EcNH+2uUb2E AhM0JQSyRXagCqjOxxq3LtBm7Uev3z2Gw804DMi4Uwhjl+6hE1Ge5rYQ/Rrc8vU0VOuhfdCKiMD7M If/ddIyWrPWFeMgRsK8qJZJbuVAkKfJagARUJxyvKzfZZBQxwdeKMzYEmjim06WItCUBEPRVtCkmn dxXd+ZvAzp7InP0yTM+fCYdA0kfEqIyad/PPuY4+YqTdoMZPGUripRTa/lqu+TlquQny1WBNuELAO cqRP4IRTNPRVG0jPl34yybDdKwInDtIMnj3jcan6dScn0ZvhFO/QMISYy4N5GhQtl8/4MAe227iVX MW5MojOA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oQ31F-00HWqL-V3@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----