Name: coq-menhirlib	Distribution: Fedora Project
Version: 20220210	Vendor: Fedora Project
Release: 10.fc37	Build date: Sun Nov 27 04:45:20 2022
Group: Unspecified	Build host: buildvm-a64-34.iad2.fedoraproject.org
Size: 7311108	Source RPM: ocaml-menhir-20220210-10.fc37.src.rpm
Packager: Fedora Project
Url: https://gallium.inria.fr/~fpottier/menhir/
Summary: Support library for verified Coq parsers produced by Menhir

The Menhir parser generator, in --coq mode, can produce Coq parsers.
These parsers must be linked against this library, which provides both an
interpreter (which allows running the generated parser) and a validator
(which allows verifying, at parser construction time, that the generated
parser is correct and complete with respect to the grammar).

Provides

Requires

coq(aarch-64)
ocaml(AcyclicGraph) = 00edc3e526b6239e9ad4c9319eaaabd5
ocaml(CArray) = 3bf67d1381824155797389de8a32d728
ocaml(CAst) = b49a9e05558d074ce2420f1481d80d8a
ocaml(CDebug) = a0c286baa9a2b79d6bec187ce25083a3
ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc
ocaml(CList) = a742212da585b925999bb1e9c57f8886
ocaml(CMap) = cbcf10800400dde7f75cbc0cc6a0a739
ocaml(CPrimitives) = 98ddda2b8661651d0ac1c4d2f3adc78a
ocaml(CSet) = 10548a97a94e3c63dea0f824f53da608
ocaml(CSig) = 93d511bb9f97d6117a9dba3706ab0743
ocaml(CString) = f53fe8692b6d16ecf125c5433c67ee1d
ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4
ocaml(Constr) = 9ca352bce78df900bce25f5e83b3e3ec
ocaml(Context) = 233f361cbf25095b743d2afa636ee001
ocaml(Conv_oracle) = a9dd31ebef4b0f31606274cf6690f783
ocaml(Cooking) = c511194cd3d1c75d0ec51fe57d5c4b93
ocaml(Declarations) = af077788df86ae3c100cb12d0e433100
ocaml(Environ) = 81958cbbb97b08eb74f21205ecbe734b
ocaml(Esubst) = 746f3c41caf469b8602bbc0673a9de61
ocaml(Evar) = 156cdf64bb05c4ab0c4051f998dfab52
ocaml(Exninfo) = 766d613c58c5e25783f49ff1e5b36922
ocaml(Float64) = 712fa5d21be885f62f4afb0c1b2e620e
ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542
ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074
ocaml(Int) = c638a3a3a3350b9a3cd3aecfc1548b44
ocaml(Loc) = de5fd01aaa49ae97f2332d9b30807adc
ocaml(Mod_subst) = b56a185b9f7bb6f0f0f519c06bf981db
ocaml(NCoq_Arith_PeanoNat) = 3922c4f429b4350bba2dd2dab23b5b5a
ocaml(NCoq_Bool_Bool) = 0804aef187ec6ef5a4c6bc88c0a4973b
ocaml(NCoq_Classes_Morphisms) = 6b266a73e315469f08ebc542bf8746e8
ocaml(NCoq_Classes_Morphisms_Prop) = c52138961674f9ee5fab86bc21830c4a
ocaml(NCoq_Classes_RelationClasses) = 03470792223f41943cca775a8537bcad
ocaml(NCoq_Init_Datatypes) = 7dff06490587ae72d8c480e28d0792c8
ocaml(NCoq_Init_Decimal) = 0091886e0df87b48c1b71a630733d322
ocaml(NCoq_Init_Hexadecimal) = 48f69a780f3ab731bfd5fd9892b611dc
ocaml(NCoq_Init_Logic) = 8d49d9267163e6178eb2130b0afa5363
ocaml(NCoq_Init_Nat) = ba503b0fd72b1b323ac75b26585630aa
ocaml(NCoq_Init_Number) = cd525699ffce1c8a6f907027bb87d10f
ocaml(NCoq_Init_Peano) = 67f231ba5cf8725357b5682f1d4ed41b
ocaml(NCoq_Init_Specif) = 6ee28c2862fc7fd46a5168a9f874140a
ocaml(NCoq_Init_Wf) = 5bca515f37535f096c090facf9f2ee7b
ocaml(NCoq_Lists_List) = f0f59ccc11cabe932e06f5bc97cf054c
ocaml(NCoq_Numbers_BinNums) = f68e6acf6ffb202993bf722adf5f5260
ocaml(NCoq_PArith_BinPos) = 567a8354cd285d3669d47d582c454eca
ocaml(NCoq_Program_Basics) = 819299f98ae3fdc97e4a9a2c9609ffae
ocaml(NCoq_Relations_Relation_Definitions) = 50d48e86dd918045ba6710f690346c4e
ocaml(NCoq_Structures_OrdersTac) = e653cee5a401486b918c1d13e4ee646c
ocaml(NMenhirLib_Alphabet) = 864ae515b6cd27153861871cef965205
ocaml(NMenhirLib_Grammar) = 35299fa26b48dbb91ffa7948b05ef5f1
ocaml(Names) = 0b6c349e44c595f40356f60ca49fa766
ocaml(Nativecode) = 02dbeca2f7bfac8ee80f221d7d1bcb8a
ocaml(Nativeconv) = 60d8b9f9f4561c30226973b77f29c919
ocaml(Nativelambda) = 219578857e7b319faa4d145a4fa5ff68
ocaml(Nativelib) = 7b23ee7251439aa612f59354c020ea67
ocaml(Nativevalues) = 151356e5f71c48ba131e257d7b5d6b0e
ocaml(Opaqueproof) = b1745fe14cd37c212d34eea094f1b8df
ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866
ocaml(Pp) = b42c7d685f7cf8e56cb9e5cb72b082aa
ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5
ocaml(Range) = 346d147227354e938de6b932d04d6b3d
ocaml(Reduction) = 3523f631320a31383fd961d753a8e437
ocaml(Retroknowledge) = 921f47b24ba103d9c6a00670a3a8a6c8
ocaml(Rtree) = 3aeff8b2ebba7f5453fc613375ce0644
ocaml(Sorts) = e73c70ce289f5c49f0cf7f5a0ceeefc2
ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930
ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518
ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355
ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
ocaml(Stdlib__Stream) = 510a78f010f6c530a911189d7538d002
ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(Term) = c1500a859572f47c5adeb740fbcebf6b
ocaml(TransparentState) = 1dab58426370af71f458b92a6fb5ef06
ocaml(UGraph) = bd28bddd5c33ca5c1a5f9f43f907e5da
ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b
ocaml(Univ) = 6feb5ec642e4daf30a0944e888214cea
ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c
ocaml(Util) = 46a1f0249bfbf29202e10de25200d4ea
ocaml(Vmbytecodes) = 88733f1084158f9273bb318495213675
ocaml(Vmemitcodes) = 2ee3a68ca9992bc9e1f6aeb9e6e33af6
ocaml(Vmvalues) = 6cfd8f0d13168b127ebed3d4375b15c3
ocamlx(CamlinternalLazy) = 162669b09093ea11100da3962b876e9b
ocamlx(NCoq_Arith_PeanoNat) = 0c2031d176e9ca1291e7e8c9fb2e7bf6
ocamlx(NCoq_Init_Datatypes) = cdbab4b0bd137a1bc00d54561f3dd061
ocamlx(NCoq_Init_Logic) = 41d65a6a2b1c55d6e2f10cf6ded4b229
ocamlx(NCoq_Init_Nat) = 64321e52710eeaa352d709d8ccafe6cf
ocamlx(NCoq_Lists_List) = 8907851d368bbc622072348a2536b0a3
ocamlx(NCoq_Numbers_BinNums) = e0612228d82543c6ffaaa7a7352608e9
ocamlx(NCoq_PArith_BinPos) = 29ff38614d02d547af2edc8d670f7ac6
ocamlx(NMenhirLib_Alphabet) = 0ccbc807de82cc05c670a87d73b0fb13
ocamlx(NMenhirLib_Grammar) = 8f14405762f254cfadd6c8f2c300e10d
ocamlx(Nativecode) = 25dd46105be7e78ba71f11e778374924
ocamlx(Nativevalues) = c6cb05a1550531a6790b95fa67b03342
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)

License

LGPL-3.0-or-later

Changelog

* 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
* Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 20201201-2
  - Rebuild for coq 8.12.2
* Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 20201201-1
  - Version 20201201

Files

/usr/lib64/ocaml/coq-menhirlib
/usr/lib64/ocaml/coq-menhirlib/META
/usr/lib64/ocaml/coq-menhirlib/dune-package
/usr/lib64/ocaml/coq/user-contrib/MenhirLib
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Alphabet.cmi
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Alphabet.cmx
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Alphabet.cmxs
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Automaton.cmi
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Automaton.cmx
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Automaton.cmxs
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Grammar.cmi
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Grammar.cmx
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Grammar.cmxs
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Interpreter.cmi
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Interpreter.cmx
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Interpreter.cmxs
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Interpreter_complete.cmi
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Interpreter_complete.cmx
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Interpreter_complete.cmxs
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Interpreter_correct.cmi
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Interpreter_correct.cmx
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Interpreter_correct.cmxs
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Main.cmi
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Main.cmx
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Main.cmxs
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Validator_classes.cmi
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Validator_classes.cmx
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Validator_classes.cmxs
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Validator_complete.cmi
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Validator_complete.cmx
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Validator_complete.cmxs
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Validator_safe.cmi
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Validator_safe.cmx
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Validator_safe.cmxs
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Version.cmi
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Version.cmx
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/.coq-native/NMenhirLib_Version.cmxs
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Alphabet.glob
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Alphabet.v
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Alphabet.vo
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Automaton.glob
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Automaton.v
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Automaton.vo
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Grammar.glob
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Grammar.v
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Grammar.vo
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Interpreter.glob
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Interpreter.v
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Interpreter.vo
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Interpreter_complete.glob
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Interpreter_complete.v
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Interpreter_complete.vo
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Interpreter_correct.glob
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Interpreter_correct.v
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Interpreter_correct.vo
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Main.glob
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Main.v
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Main.vo
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Validator_classes.glob
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Validator_classes.v
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Validator_classes.vo
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Validator_complete.glob
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Validator_complete.v
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Validator_complete.vo
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Validator_safe.glob
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Validator_safe.v
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Validator_safe.vo
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Version.glob
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Version.v
/usr/lib64/ocaml/coq/user-contrib/MenhirLib/Version.vo
/usr/share/doc/coq-menhirlib
/usr/share/doc/coq-menhirlib/CHANGES.md
/usr/share/doc/coq-menhirlib/README.md
/usr/share/licenses/coq-menhirlib
/usr/share/licenses/coq-menhirlib/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 19:05:07 2024

coq-menhirlib-20220210-10.fc37 RPM for aarch64

From Fedora 37 updates for aarch64 / Packages / c

Provides

Requires

License

Changelog

Files