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