Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--==============937624183899580957=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz20sgAKCRCb9qggYcy5 IV5YAQDdwmQ1rHreQWYY4hqbP1bWPQ20MJ4GI83n/3gDe6GzKgD8CxWTfgP2lJ/D pdADjz5X3YTv/mmLTpWU1/f5FlWNOwU=supl
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)