Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
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.
LGPL-2.0
* 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
/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