-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 May 2020 23:07:05 +0200 Source: dune-typetree Architecture: source Version: 2.7.0-1 Distribution: experimental Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Ansgar <ansgar@debian.org> Changes: dune-typetree (2.7.0-1) experimental; urgency=medium . * New upstream release. * Use debhelper compat level 13. * Bumped Standards-Version to 4.5.0 (no changes). Checksums-Sha1: 42645c8e734c77bedf8eb61e0699b532b91b16f6 2299 dune-typetree_2.7.0-1.dsc b97e77fcaeb07e37e05108d0644cf877b51e8ab6 62823 dune-typetree_2.7.0.orig.tar.gz 61ea78a935824b7c0d8b10dee658e4f350cf3faf 3412 dune-typetree_2.7.0-1.debian.tar.xz Checksums-Sha256: 0132ae49f63bf84dbf071d24aa7deb7a745027eb73b6abb75ee2194d5f97a5ea 2299 dune-typetree_2.7.0-1.dsc eb51fd192999851ff3fa801c68512bab3cfe8dfd36472a6a039efbbb7ae7f9ca 62823 dune-typetree_2.7.0.orig.tar.gz 7049ded9e73346d9f1181724d5fcb301a1531278f523b6eed8d1159387faa05a 3412 dune-typetree_2.7.0-1.debian.tar.xz Files: 5ce4ea16120de0033074baba8ab9d811 2299 libs optional dune-typetree_2.7.0-1.dsc 9d3e8693d79f87c9cb8ae208a117c5a3 62823 libs optional dune-typetree_2.7.0.orig.tar.gz 54b849a65a187b0e10a708ee15d03863 3412 libs optional dune-typetree_2.7.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEE6XYjQ9o8g2p4zSVKamMCj1p06JMFAl7GRkYSHGFuc2dhckBk ZWJpYW4ub3JnAAoJEGpjAo9adOiTjJIQAJ1n8sqzUyrPiEEPtOGIdDB5GVFkBPQI 08c9Dz7DLCSdCs35BoGNpCArASat3iL9zatZ9I2CJwgt7FoMjusyQBMRPoB+Onwr Jj7EdAqRrzY7Fc/4TBm8F1tEtPczU944a49GBJhyUOkySjM/3wSmyAAcaEwyBcqR Ql4hK3vfMDi+4+kbQWB5oexQuBJVl2hqSc0NdJ6uin3eWOGqm5wMeOk65SeuaWhg V+fybEpdS459Fds0CctmmmTTTPZSDqXnedNJKGOMR2tWRIZiohOQdPk+D3jTZ3qZ hLzGI1jTBtTez9+N/B0yxjNS6FhOWsTRIxA+whJbIV2dGtT8TTbMyfRCCs8KbX0Y FcxFJckxV8P2CPozZWJv0CZTsgxqmv0KelmSOKUKyMLOmlgPUGOqB8kfInBon7gp AsR/dbc7Or6ZOd9Am1vaLVwlfWcQPL9/FIBbKh1dnK7vtCoilJHP+C25qd1qGW3T 6fjDQGXdq6KuW6CdbQ8A43EjlqCmWYa8XeG+JtgA2EFd96Tz1obM8wdrEUN9ZPTj 9A84kuOtICJNcaIvxPQlBvEut65du7o8f77X3p3eM1+uGr/FVhFnoCG5TwoeTiLv i0Voyo4YQ/J9rmQ8g/NuowyXuYmD7F3AQl1coXxptJQ3OEy4jn/Ss6JUJKKlOYE2 E1EwOav47v/v =Hjt1 -----END PGP SIGNATURE-----
