menhir-20130911-3-omv2015.0.i586.rpm


Advertisement

Description

menhir - Menhir is a LR(1) parser generator for OCaml

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Contrib Release i586
Package name menhir
Package version 20130911
Package release 3-omv2015.0
Package architecture i586
Package type rpm
Installed size 2.76 MB
Download size 858.67 KB
Official Mirror abf-downloads.openmandriva.org
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.

Alternatives

Package Version Architecture Repository
menhir-20130911-3-omv2015.0.x86_64.rpm 20130911 x86_64 OpenMandriva Contrib Release
menhir - - -

Requires

Name Value
libc.so.6 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1) -
libc.so.6(GLIBC_2.1.2) -
libc.so.6(GLIBC_2.15) -
libc.so.6(GLIBC_2.2) -
libc.so.6(GLIBC_2.3) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.4) -
libc.so.6(GLIBC_2.7) -
libdl.so.2 -
libdl.so.2(GLIBC_2.0) -
libdl.so.2(GLIBC_2.1) -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -

Provides

Name Value
menhir == 20130911-3:2015.0

Download

Type URL
Binary Package menhir-20130911-3-omv2015.0.i586.rpm
Source Package menhir-20130911-3.src.rpm

Install Howto

  1. Enable OpenMandriva Contrib Release repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install menhir rpm package:
    # urpmi menhir

Files

Path
/usr/bin/menhir
/usr/lib/ocaml/menhirLib/META
/usr/lib/ocaml/menhirLib/menhirLib.cmi
/usr/lib/ocaml/menhirLib/menhirLib.cmo
/usr/lib/ocaml/menhirLib/menhirLib.o
/usr/share/doc/menhir/manual.pdf
/usr/share/doc/menhir/demos/Makefile
/usr/share/doc/menhir/demos/Makefile.auto
/usr/share/doc/menhir/demos/Makefile.shared
/usr/share/doc/menhir/demos/OMakefile.shared
/usr/share/doc/menhir/demos/ocamldep.wrapper
/usr/share/doc/menhir/demos/calc/Makefile
/usr/share/doc/menhir/demos/calc/OMakefile
/usr/share/doc/menhir/demos/calc/OMakeroot
/usr/share/doc/menhir/demos/calc/README
/usr/share/doc/menhir/demos/calc/calc.ml
/usr/share/doc/menhir/demos/calc/lexer.mll
/usr/share/doc/menhir/demos/calc/parser.mly
/usr/share/doc/menhir/demos/calc-param/Makefile
/usr/share/doc/menhir/demos/calc-param/OMakefile
/usr/share/doc/menhir/demos/calc-param/OMakeroot
/usr/share/doc/menhir/demos/calc-param/README
/usr/share/doc/menhir/demos/calc-param/calc.ml
/usr/share/doc/menhir/demos/calc-param/lexer.mll
/usr/share/doc/menhir/demos/calc-param/parser.mly
/usr/share/doc/menhir/demos/calc-param/tokens.mly
/usr/share/doc/menhir/demos/calc-two/Makefile
/usr/share/doc/menhir/demos/calc-two/OMakefile
/usr/share/doc/menhir/demos/calc-two/OMakeroot
/usr/share/doc/menhir/demos/calc-two/README
/usr/share/doc/menhir/demos/calc-two/algebraic.mly
/usr/share/doc/menhir/demos/calc-two/calc.ml
/usr/share/doc/menhir/demos/calc-two/common.mly
/usr/share/doc/menhir/demos/calc-two/lexer.mll
/usr/share/doc/menhir/demos/calc-two/reverse.mly
/usr/share/doc/menhir/demos/calc-two/tokens.mly
/usr/share/man/man1/menhir.1.xz
/usr/share/menhir/standard.mly

See Also

Package Description
menhir-devel-20130911-3-omv2015.0.i586.rpm Development files for menhir
mercurial-server-1.2-2-omv2013.0.noarch.rpm Mercurial authentication and authorization tools
mergelog-4.5-7-omv2015.0.i586.rpm Merges httpd log files by date
merlin-0.9.0-3-omv2015.0.i586.rpm Nagios distributed monitoring
metaconf-1.3.1-12-omv2015.0.noarch.rpm Maintains multiple configurations in the same machine
metadata-extractor-2.3.1-3-omv2015.0.noarch.rpm A project to extract Exif and Iptc image meta-data from media files
metadata-extractor-javadoc-2.3.1-3-omv2015.0.noarch.rpm User documentation for metadata-extractor
metalink-0.3.6-3-omv2015.0.i586.rpm A commandline metalink generator
metasploit-4.4.0-3-omv2015.0.noarch.rpm Penetration Testing Resources
metasploit-gui-4.4.0-3-omv2015.0.noarch.rpm GUI for metasploit
meterbridge-0.9.2-5-omv2015.0.i586.rpm Software meterbridge for Jack
mew-6.5-3-omv2015.0.i586.rpm Messaging in the Emacs World
mfs-cgi-1.6.26-7-omv2015.0.i586.rpm MooseFS CGI Monitor
mfs-chunkserver-1.6.26-7-omv2015.0.i586.rpm MooseFS data server
mfs-client-1.6.26-7-omv2015.0.i586.rpm MooseFS client
Advertisement
Advertisement