Back to menhir PTS page

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