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

ocaml-menhir-20220210-13.fc38 RPM for aarch64

From Fedora 38 for aarch64 / o

Name: ocaml-menhir Distribution: Fedora Project
Version: 20220210 Vendor: Fedora Project
Release: 13.fc38 Build date: Tue Jan 24 18:48:23 2023
Group: Unspecified Build host: buildvm-a64-32.iad2.fedoraproject.org
Size: 7168883 Source RPM: ocaml-menhir-20220210-13.fc38.src.rpm
Packager: Fedora Project
Url: https://gallium.inria.fr/~fpottier/menhir/
Summary: LR(1) parser generator for OCaml
 
Menhir is a LR(1) parser generator for the Objective Caml programming
language.  That is, Menhir compiles LR(1) grammar specifications down to
OCaml code.  Menhir was designed and implemented by François Pottier and
Yann Régis-Gianas.

Provides

Requires

License

GPL-2.0-only

Changelog

* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 20220210-13
  - Bump release and rebuild
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 20220210-12
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 20220210-11
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 20220210-10
  - Rebuild for coq 8.16.1
* Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 20220210-9
  - Rebuild for coq 8.16.0
* Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 20220210-8
  - Rebuild to fix coq dependency
  - Convert License tags to SPDX
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 20220210-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 20220210-6
  - Do not build the coq-menhirlib package on i686
  - Use new OCaml macros
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 20220210-6
  - OCaml 4.14.0 rebuild
* Sat Mar 26 2022 Jerry James <loganjerry@gmail.com> - 20220210-4
  - Rebuild for coq 8.15.1
* Tue Mar 01 2022 Jerry James <loganjerry@gmail.com> - 20220210-3
  - Skip building the manual for EPEL
  - Remove odoc support
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 20220210-2
  - Build with coq support
* Thu Feb 24 2022 Jerry James <loganjerry@gmail.com> - 20220210-1
  - Version 20220210
  - Note the bundling of fix and pprint
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 20211230-3
  - OCaml 4.13.1 rebuild to remove package notes
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 20211230-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Jan 17 2022 Jerry James <loganjerry@gmail.com> - 20211230-1
  - Version 20211230
* Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 20211223-1
  - Version 20211223
* Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 20211128-1
  - Version 20211128
* Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 20211012-1
  - Version 20211012
* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 20210929-3
  - Bump release and rebuild.
* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 20210929-2
  - OCaml 4.13.1 build
* Mon Oct 04 2021 Jerry James <loganjerry@gmail.com> - 20210929-1
  - Version 20210929
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 20210419-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Tue Jun 08 2021 Jerry James <loganjerry@gmail.com> - 20210419-1
  - Version 20210419
* Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 20201216-3
  - Rebuild for coq 8.13.1
* Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 20201216-2
  - OCaml 4.12.0 build
* Wed Feb 24 2021 Jerry James <loganjerry@gmail.com> - 20201216-1
  - Version 20201216
  - Some applications of menhir require menhirLib.ml, so install it
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 20201201-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

Files

/usr/bin/menhir
/usr/lib/.build-id
/usr/lib/.build-id/08
/usr/lib/.build-id/08/6ed86a7073b8b02ad03ea0e568283bbbe70ad6
/usr/lib/.build-id/b0
/usr/lib/.build-id/b0/44c96a5e11590dc8c702677108305ec859d2e0
/usr/lib64/ocaml/menhir
/usr/lib64/ocaml/menhir/META
/usr/lib64/ocaml/menhir/dune-package
/usr/lib64/ocaml/menhirSdk
/usr/lib64/ocaml/menhirSdk/META
/usr/lib64/ocaml/menhirSdk/cmly_api.ml
/usr/lib64/ocaml/menhirSdk/cmly_format.ml
/usr/lib64/ocaml/menhirSdk/cmly_read.mli
/usr/lib64/ocaml/menhirSdk/dune-package
/usr/lib64/ocaml/menhirSdk/keyword.mli
/usr/lib64/ocaml/menhirSdk/menhirSdk.a
/usr/lib64/ocaml/menhirSdk/menhirSdk.cma
/usr/lib64/ocaml/menhirSdk/menhirSdk.cmi
/usr/lib64/ocaml/menhirSdk/menhirSdk.cmt
/usr/lib64/ocaml/menhirSdk/menhirSdk.cmx
/usr/lib64/ocaml/menhirSdk/menhirSdk.cmxa
/usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs
/usr/lib64/ocaml/menhirSdk/menhirSdk.ml
/usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_api.cmi
/usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_api.cmt
/usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_api.cmx
/usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_format.cmi
/usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_format.cmt
/usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_format.cmx
/usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_read.cmi
/usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_read.cmt
/usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_read.cmti
/usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_read.cmx
/usr/lib64/ocaml/menhirSdk/menhirSdk__Keyword.cmi
/usr/lib64/ocaml/menhirSdk/menhirSdk__Keyword.cmt
/usr/lib64/ocaml/menhirSdk/menhirSdk__Keyword.cmti
/usr/lib64/ocaml/menhirSdk/menhirSdk__Keyword.cmx
/usr/lib64/ocaml/menhirSdk/menhirSdk__Version.cmi
/usr/lib64/ocaml/menhirSdk/menhirSdk__Version.cmt
/usr/lib64/ocaml/menhirSdk/menhirSdk__Version.cmx
/usr/lib64/ocaml/menhirSdk/version.ml
/usr/share/doc/ocaml-menhir
/usr/share/doc/ocaml-menhir/manual.pdf
/usr/share/licenses/ocaml-menhir
/usr/share/licenses/ocaml-menhir/LICENSE
/usr/share/man/man1/menhir.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 22:47:55 2024