Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-menhir-devel-20170712-lp152.3.2 RPM for armv7hl

From OpenSuSE Ports Leap 15.2 for armv7hl

Name: ocaml-menhir-devel Distribution: openSUSE Leap 15.2
Version: 20170712 Vendor: openSUSE
Release: lp152.3.2 Build date: Thu Nov 21 07:58:25 2019
Group: Development/Languages/OCaml Build host: obs-arm-5
Size: 261838 Source RPM: ocaml-menhir-20170712-lp152.3.2.src.rpm
Packager: https://bugs.opensuse.org
Url: http://gallium.inria.fr/~fpottier/menhir/
Summary: Development files for ocaml-menhir
The ocaml-menhir-devel package contains libraries and signature files for
developing applications that use ocaml-menhir.

Provides

Requires

License

LGPL-2.0

Changelog

* Tue Jul 25 2017 ohering@suse.de
  - Use Group: Development/Languages/OCaml
* Mon Jul 17 2017 olaf@aepfle.de
  - Update to version 20170712
* Mon Jul 17 2017 ohering@suse.de
  - Wrap specfile conditionals to fix quilt setup
* Mon Jul 17 2017 ohering@suse.de
  - Remove autodeps for pre openSUSE 12.1 releases
* Tue May 24 2016 olaf@aepfle.de
  - Initial version 20160504 for coccinelle

Files

/usr/lib/ocaml
/usr/lib/ocaml/menhirLib
/usr/lib/ocaml/menhirLib/menhirLib.cmx
/usr/lib/ocaml/menhirLib/menhirLib.ml
/usr/lib/ocaml/menhirLib/menhirLib.mli
/usr/lib/ocaml/menhirSdk
/usr/lib/ocaml/menhirSdk/menhirSdk.cmx
/usr/share/doc/packages/ocaml-menhir-devel
/usr/share/doc/packages/ocaml-menhir-devel/LICENSE
/usr/share/man/man1/menhir.1.gz


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Mar 9 12:35:51 2024