Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 30 Mar 2024 09:44:04 +0100
Source: coq-hott
Architecture: source
Version: 8.19-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.19-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
ea9d740c87f7bbf69314464d7141c31f0cb9bfbb 2029 coq-hott_8.19-1.dsc
9b908e9846051dd0e1dff7c8e0cad950e5cd22c0 983985 coq-hott_8.19.orig.tar.gz
098f0a83dbe580bfc302d221518d0822748c8490 2908 coq-hott_8.19-1.debian.tar.xz
fa5815477eb7c4707dfa0273c2ac313b59da287c 8329 coq-hott_8.19-1_source.buildinfo Checksums-Sha256:
97124ea36026305f05899f47c464149a9ec37623dac21d2e6e80a7812d2ca581 2029 coq-hott_8.19-1.dsc
b11a1898e751d76d3ff5fe1bc9c8ab55ebe48762835ad6a472db28cb958111b6 983985 coq-hott_8.19.orig.tar.gz
b6b063748f632e66d0464868831d5f9bea80ff6bbb640c8b6da8ef7f9925eeb6 2908 coq-hott_8.19-1.debian.tar.xz
a283de754f9c9a800af2803ff1c9fc41171783a0e31aca689479b9b4ac16dd35 8329 coq-hott_8.19-1_source.buildinfo
Files:
54819539cd4351c07e7e55bc62464378 2029 ocaml optional coq-hott_8.19-1.dsc
6066b30fa266e20701d00f360a43a174 983985 ocaml optional coq-hott_8.19.orig.tar.gz
20af0df3ffac297439b86598c8c5b807 2908 ocaml optional coq-hott_8.19-1.debian.tar.xz
b85410889cab5124fbac44f2a132a743 8329 ocaml optional coq-hott_8.19-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH0PESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRbm0P/jIxLXK2AuxFP46CN0eWtOi3/6K70ml1 NZfkHnSE98M6Gl83xPz1yFnZL3v87P7xyWxqySz6nPwuUi5vtVbaPkTpRU54bu5P 4bkzl3hw9a67fClI/khcqograqYkOZ+AjwEO0KpV5qfFAzKI/9x88fUWtadAGZKA FtpczaYlTPXz4uwnoSj0LJDDjRDU6or1bKn+RaEC1Go3q47rR+qhWYnhHbX0hCzq qmxA3FZhPzkmadQv9PPPMT1HlBk17tlIEj4JyJ7/3Vo+G8sq2Q6K49U78ziFrAiE i3E2VCc5kGh3ZX8dcjKcB6EiLPXxO8WAsfKWinH7IjC9RtY/4QRECoc86MXInck8 hvchd0uhv+jLhusqszjcQs+bZqNvijujiLH99t+dBEa2OCrM3XWGLzF4TQ4BV3Gp 6oH3yxc6RA8vWz6+Z6mXjAGOS6c8YgMsMs1CCa/B3ZqvZGm8OVSSsMvlpTjilQ0q rXDgHv2gZpwOuqQ2PD0SyzEgUZctJl0CPAS76pPGwRfbVm/ohe0Tp3Mt9THVOwG0 AjEtgRpzy47dylK7rxePSbOFHZQdopjGzwUSCeAnub3DAXoBAwgwDYfuOUvOmDr4 DN/qtAOL/m4bfEggj17PHE1TSAnNIGs68qxu+WsYG8N3nwDgOJ9SWIAuo8JyHswL
niVswXddSRxY
=uzdZ
-----END PGP SIGNATURE-----
--==============S14093904166200856=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi0UpgAKCRCb9qggYcy5 IRvvAQCyAuuF16HpgPZXYK02xZBw/FRgx8k28Yigie8p7nlxIQEA4/j83H3NGgGA Gn+MN7UkAnaoHTwkli1SI0IZ0dTYKAY=x4TU
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)