[ubuntu/eoan-proposed] menhir 20190626-5ubuntu1 (Accepted)

[Gianfranco Costamagna]

menhir (20190626-5ubuntu1) eoan; urgency=low

  * Merge from Debian unstable.  Remaining changes:
    - Fix build error due to exported V=1 function in launchpad
      buildd configuration (patch accepted upstream)

menhir (20190626-5) unstable; urgency=medium

  * Fix dependencies of the "library" test.

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

Date: Thu, 22 Aug 2019 12:01:26 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/menhir/20190626-5ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 22 Aug 2019 12:01:26 +0200
Source: menhir
Binary: menhir libmenhir-ocaml-dev menhir-doc libmenhir-coq
Architecture: source
Version: 20190626-5ubuntu1
Distribution: eoan
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 libmenhir-coq - Support library for verified Coq parsers produced by Menhir
 libmenhir-ocaml-dev - Menhir library for OCaml
 menhir     - Parser generator for OCaml
 menhir-doc - Documentation of the Menhir parser generator for OCaml
Changes:
 menhir (20190626-5ubuntu1) eoan; urgency=low
 .
   * Merge from Debian unstable.  Remaining changes:
     - Fix build error due to exported V=1 function in launchpad
       buildd configuration (patch accepted upstream)
 .
 menhir (20190626-5) unstable; urgency=medium
 .
   * Fix dependencies of the "library" test.
 .
 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:
 63b921f0df79498b650f330620013f571bb52388 2309 menhir_20190626-5ubuntu1.dsc
 9c2149a410953bc1f0bc6f97437f5509954ec324 2487950 menhir_20190626.orig.tar.gz
 ffa76d98d96c78717f38b3061cbd8c00481f50a5 17076 menhir_20190626-5ubuntu1.debian.tar.xz
 f2db60e1dd4d4a64c4bdb4bd3fed72ae65c23ed8 10409 menhir_20190626-5ubuntu1_source.buildinfo
Checksums-Sha256:
 8541f1e06715995b7ee14aaa40ee34438d753d97cbd8c3084744e22e0a5a8e4e 2309 menhir_20190626-5ubuntu1.dsc
 84f779c4883f969365915e5b3900b458eeae2acf13164ace52ec5696febb5031 2487950 menhir_20190626.orig.tar.gz
 7262b13ca82d33f2830b033991262001d441f89595f3c58a802a83569ef3be1e 17076 menhir_20190626-5ubuntu1.debian.tar.xz
 b4f28df374e6a270f12ece6148504b52691f0bead1cbcf629ae7d4b9e39c7969 10409 menhir_20190626-5ubuntu1_source.buildinfo
Files:
 bf138daf0d73af4b8be33e8f26a2b72f 2309 ocaml optional menhir_20190626-5ubuntu1.dsc
 097afbd686172e15bef0ccb938b9c634 2487950 ocaml optional menhir_20190626.orig.tar.gz
 a4ad07c26e1fd479e4b691bc2ec1c9a7 17076 ocaml optional menhir_20190626-5ubuntu1.debian.tar.xz
 83539f2066488ede3701641d0c348411 10409 ocaml optional menhir_20190626-5ubuntu1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1eaEQACgkQ808JdE6f
XdnlkA//R6OePEHWFVKrU0MYALwZXBV/cD5MZPdTGeHnir4V0XijhcAh9V+Wh+jM
DxM871VpSb4h/lcWZbFzG4zWPZc9FdQDACJ5v3jC7Ubn1KUTsQ99sLlAzmym+xG4
88cBnHHbpqIkzCEWjBJCeWD9tq0r0Ijhs1tKWXkq/RHNgqYHaTKd/hsfQ45nHyrD
JwMhehaL1A0HVpGaj/lVSf3lJWrf2If9opiZYApamf/E1GwxUntdIXBor9S2wJuw
Rn2x2Uvantl6pH1MnX/hAEgkrzliUf2rZ8FSy+udV19AiKQ0/w6JzssRGzDuAn7b
tXtkLR6oVxWNDkZHWV42nPwBDgIE0BYXoe9icUDjQG/SgRpWRCbTf1EWnyRXEcGa
xr7zjmoX9kuIw/Id+OORExCAGDv4xR24ChdiHDVJWrnR5w3sP2J1PKypqU1Ri21A
csfA3G0O27lHmKJOxUgR27OyabvZERw1d61c0fqx1H2b0A4CHQFWrtoAaQYvXJVV
w3C4ivGQzJhVt2VNSZTARV8dBAbuPRNd9l0jJN3PsZvu2F4n2/wtqF7KfFZt6/kL
JV1qcPezmtrfemToOJuPxEWiHR2penW4WgZV8pXpHz92SfEQvU6Brj7vN2sgTAK7
d7ka8Z4I9p8snRdLPasVjrdtMCqBR3EwJbX4x9x/7e5Bc9JpXo8=
=KGol
-----END PGP SIGNATURE-----