[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#363539: marked as done (ITP: menhir -- Parser generator for OCaml)

Your message dated Sat, 08 Jul 2006 11:08:06 -0700
with message-id <E1FzHDq-00045J-NJ@spohr.debian.org>
and subject line Bug#363539: fixed in menhir 20060615.dfsg-1
has caused the attached Bug report to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere.  Please contact me immediately.)

Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram <smimram@debian.org>

* Package name    : menhir
  Version         : 20060412
  Upstream Author : François Pottier <Francois.Pottier@inria.fr>, Yann Régis-Gianas <Yann.Regis-Gianas@inria.fr>
* URL             : http://pauillac.inria.fr/~fpottier/menhir/
* License         : modified QPL (as OCaml) + LGPL
  Programming Lang: OCaml
  Description     : Parser generator for OCaml

Menhir is a LR(1) parser generator for OCaml. It is mostly compatible
with the standard ocamlyacc and has the following enhancements:
 * it accepts LR(1) grammars,
 * it offers parameterized nonterminal symbols as well as a library of
   standard definitions,
 * it explains conflicts in terms of the grammar,
 * it allows grammar specifications to be split over multiple files and
   parametrized by OCaml modules,
 * it produces reentrant parsers.

-- System Information:
Debian Release: testing/unstable
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: i386 (i686)
Shell:  /bin/sh linked to /bin/bash
Kernel: Linux 2.6.16-1-686
Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1)

--- End Message ---
--- Begin Message --- 
Source: menhir
Source-Version: 20060615.dfsg-1

We believe that the bug you reported is fixed in the latest version of
menhir, which is due to be installed in the Debian FTP archive:

menhir_20060615.dfsg-1.diff.gz
  to pool/main/m/menhir/menhir_20060615.dfsg-1.diff.gz
menhir_20060615.dfsg-1.dsc
  to pool/main/m/menhir/menhir_20060615.dfsg-1.dsc
menhir_20060615.dfsg-1_i386.deb
  to pool/main/m/menhir/menhir_20060615.dfsg-1_i386.deb
menhir_20060615.dfsg.orig.tar.gz
  to pool/main/m/menhir/menhir_20060615.dfsg.orig.tar.gz



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 363539@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Samuel Mimram <smimram@debian.org> (supplier of updated menhir package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Sat,  8 Jul 2006 09:24:11 +0000
Source: menhir
Binary: menhir
Architecture: source i386
Version: 20060615.dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <smimram@debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description: 
 menhir     - Parser generator for OCaml
Closes: 363539
Changes: 
 menhir (20060615.dfsg-1) unstable; urgency=low
 .
   * Repackaged upstream's tarball to remove manual.pdf for which we don't have
     the sources (yet).
 .
 menhir (20060615-1) unstable; urgency=low
 .
   * New upstream release.
   * Removed makefile.dpatch, found a better way to use the makefile.
   * Added manpage.dpatch to remove invalid characters from the manpage.
   * Updated standards version to 3.7.2, no changes needed.
 .
 menhir (20060412-1) unstable; urgency=low
 .
   * Initial release, closes: #363539.
Files: 
 00fef521d1679cb5632c3ddf72e90c28 626 devel optional menhir_20060615.dfsg-1.dsc
 ea03666bcfd8ec9d578471943a8e4580 163483 devel optional menhir_20060615.dfsg.orig.tar.gz
 3a7769ecfe7bb8e610d4f51a5d574f14 4242 devel optional menhir_20060615.dfsg-1.diff.gz
 47f417f0c3df19091639f5d0c4e70a53 243760 devel optional menhir_20060615.dfsg-1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)

iD8DBQFEr3yzIae1O4AJae8RAmEvAJ43LDb41pbQkM9yKK5E9oxmNXM1TwCfeZZQ
DiNSfkQAlWMeC8+rO6Y94Sw=
=JDcs
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: