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

ocaml-menhir-devel-20170712-1.1 RPM for armv7hl

From OpenSuSE Ports Leap 15.5 for armv7hl

Name: ocaml-menhir-devel Distribution: openSUSE Step 15
Version: 20170712 Vendor: openSUSE
Release: 1.1 Build date: Tue Feb 9 20:07:39 2021
Group: Development/Languages/OCaml Build host: armbuild24
Size: 261838 Source RPM: ocaml-menhir-20170712-1.1.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, Tue Jul 9 18:42:22 2024