Accepted menhir 20190626-4 (source) into unstable
-----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-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@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-----