-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:46:06 +0100 Source: coq-hott Architecture: source Version: 8.20-1 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.20-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: b9067a5ce6fbb9bc9dbe0600045f8544da5e824d 2032 coq-hott_8.20-1.dsc efed39cdf9036dd4e4330d3c6fb661724601ba40 1075968 coq-hott_8.20.orig.tar.gz f6409a56fc1c0ace77e51ecac3d95d5ed3034b33 2988 coq-hott_8.20-1.debian.tar.xz 699a0ada12d3e2f801b5ea48c3f91454a68d9ebf 7116 coq-hott_8.20-1_source.buildinfo Checksums-Sha256: 80bcff27d43940823f48ca747fa51301636ca47882ca417595ad55d3d7ed9d93 2032 coq-hott_8.20-1.dsc 125d4417c7361dfe5ac033372f5120c0ea45db42de91250ffb570f0dd5186f5b 1075968 coq-hott_8.20.orig.tar.gz 7d43d4e016fce182925689820cdf80f3ed588f0178b6d0d497f2b49b94729134 2988 coq-hott_8.20-1.debian.tar.xz 5e21b1dcec41d917f26303fb2d1f0a2ad95d09eb7e2f15d7dcff7081a3e41d63 7116 coq-hott_8.20-1_source.buildinfo Files: cc28372deb2055aaa21ab6541c80935b 2032 ocaml optional coq-hott_8.20-1.dsc a55a107733fbc157db3dc44939c5da3e 1075968 ocaml optional coq-hott_8.20.orig.tar.gz b6ce8b10da0a5a48fd51dbd1efd505cb 2988 ocaml optional coq-hott_8.20-1.debian.tar.xz 88be82756c310691adef7976d6bd46e0 7116 ocaml optional coq-hott_8.20-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sAcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIf0P/2k+zNIUzGUXh/hfT8Ekrn96tsLaI7nb w01KC33WiiCu6qqlp5kX+Yq1PaX5GK/73ueqrlGsgxzBkW1hJeOr/OPde8dXMttt C49IXOEQKpSQkUPaG1eMJkLOQnQnh5Py8ZWAxUxC8A6NQK8UyJ0fbVEdmhci+ua+ +QmuwiE0JrjVnNihQsD3i/XeTLlKkfUGrMnp01L5rzmdo/qMvOqgEmBb0iltAUaw 1MNszBBq+gJx+LStVYxUXYwEltLA+ncEbJYbggmh4Re5/qyvB6ilLxl9npI7vcbO p2BAgCsS0PFAjCE6G9Tnu97F4Dq72FuOZz0fWkXzmfIfTtnpr6I8DxLb5cR/9Hd2 mBTbmROG+xUnzsRr3Jvia1eMu/Vcoc4ygQIRx8nO07IR0qMZ3WjVmam4hs9F20kK W2mN9mD0nf2SW0HuH8StgnnM+LSEZYiijqzL7vQ2SHFuogkYjwHKlcGZbZWzNrm8 T1At9c2pyP8F9Q4Dh/+D5GbL3bDyzEPKKDgMPYkG5HJOEzE8hOqit+synZ8hFKoP AXeoMqHWDyoeOZV4SiuYXewoXimaGehFckwLn2MAFA880rFLjBKOP95gYsV7ES81 SQ3RoMxjchxwg0KUGcHW7UTsLgXexfG5eBiwHgtUWgh2+CX401DxkLtOn07gOyZ0 VBFaN6pVBi4Z =lhoV -----END PGP SIGNATURE-----
