-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 21 Aug 2019 20:17:35 +0200 Source: menhir Architecture: source Version: 20190626-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Changes: menhir (20190626-4) unstable; urgency=medium . [ Stéphane Glondu ] * Remove Samuel from Uploaders . [ Ralf Treinen ] * Package tests: - add test for compilation with the menhir library - use directly the files from upstreams demos/ directory - make tests more verbose Checksums-Sha1: b4ce8963336563ce9232085dea2548b4b82be9d0 2281 menhir_20190626-4.dsc 23a37c024ffa8c73d6fbb516c44ca65d9b9c76fe 16204 menhir_20190626-4.debian.tar.xz 192d6c6557fd0222221b5aa55745b3aa02059e3f 6237 menhir_20190626-4_source.buildinfo Checksums-Sha256: 9bf0cb965da387191d898267c63d11f51f230f99f7a0469ccb78ef3af75b5a5b 2281 menhir_20190626-4.dsc 3c83e09a2f8ff10e8c16b4133f6c9dea49b573f7f0d8ee3f968253436a6fecb9 16204 menhir_20190626-4.debian.tar.xz a3f364b98e6a41c2fe5623437a0b3883308883604195a80d9510e0039d342d44 6237 menhir_20190626-4_source.buildinfo Files: 3bb96b7c640ccbc4b7b18bdffd6018db 2281 ocaml optional menhir_20190626-4.dsc 0eb8949efd575b58e59bb0efc8867a58 16204 ocaml optional menhir_20190626-4.debian.tar.xz 167be13392d49d1ffae9c4a32b627773 6237 ocaml optional menhir_20190626-4_source.buildinfo
-----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl1djeIACgkQdFxHZtTK zf/AsA/+N6atovu5Zh4QONhVVBfYzpf9ZBaDOWyt/DFfIqWbo/kkgPpNaK6+Z7+h RNNfjjbLiT+v39lf6eenxPR/756It0f8FtrzOQwvu9IWnbKdLiG9Vk8+aTPPedPF 4seO0uAJflPFiPOuGX1uQuXmjsGmLu1f98YPwKhfl4Eqm4d/DkakdUNL6AMuOpWe lWX+XrTYfYy5uBwam2+DfKR4DGFoaYAsMf/6evCd7ItYBjDMK8yZSmkw8K1d8lAT QVQmlHjHl5fpGfvjOuybv0fpSYDegR8IfIM+jQBvHmrEfj1oDTd7uZ5v+fO2lm5f sk57bDsTa8pnyzSGzkzsAVJW+SU/p5uSYwYKQWSVjrDTyW0VhLbuGRbuW1MxCL95 8MErTd2460NwZyoUn+KixlvjDDY6OgNvsnPzJmjcGRYMgs4caEWUia1w4QD3cJHy 3NwnNyxtwBubpwzWOYsMDZr/PAp+IdWQzPnOiOfZQKZOiPbjlGQeYIY+4zWB0Py7 4pbFF1267uRHBHSa+mXGdafUZyoys0QiG5oN6kYqdVsNX2f2OJ2VXo2EKQNtxJ5D rKYTAEzMovnmRjhmdxGpRyV9YevvIKg8kRCLdKJyr/5/z5Gc4/N7uNjEOPlGpsad 3OorDm/tEkdnA7FnUYlPG2ufjIjIJkU8qfiqx9xX5p9w6X/nNE4= =O8oH -----END PGP SIGNATURE-----