معرفی شرکت ها

coq-menhirlib-20220210-15.fc38.x86_64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Support library for verified Coq parsers produced by Menhir
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته coq-menhirlib
نام فایل بسته coq-menhirlib-20220210-15.fc38.x86_64.rpm
نسخه بسته 20220210
انتشار بسته 15.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Fri 27 Oct 2023 09
هاست سازنده buildhw-x86-07.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://gallium.inria.fr/~fpottier/menhir/
مجوز LGPL-3.0-or-later
حجم دانلود 1.9M
حجم نصب 6.466M
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).


جایگزین ها

بسته نسخه معماری مخزن
coq-menhirlib-20220210-13.fc38.aarch64.rpm 20220210 aarch64 Fedora Everything
coq-menhirlib-20220210-13.fc38.x86_64.rpm 20220210 x86_64 Fedora Everything
coq-menhirlib-20220210-15.fc38.aarch64.rpm 20220210 aarch64 Fedora Everything


نیازمندی

مقدار نام
- coq(x86-64)
= 6db97d4aba38e99b1ce79c13c9dc26ae ocaml(AcyclicGraph)
= 3bf67d1381824155797389de8a32d728 ocaml(CArray)
= e6f0ae1977289571e268f9f4798f45af ocaml(CAst)
= a0c286baa9a2b79d6bec187ce25083a3 ocaml(CDebug)
= 7a5613ac8c99a7839b27f0eb26c409cc ocaml(CEphemeron)
= 963264b024cbb32e5211e7abb601d1fc ocaml(CList)
= b5f62fbd6f9416f40b63b0dac2bac8a8 ocaml(CMap)
= b572f5424b98ffcb8968be2d42112246 ocaml(CPrimitives)
= 10548a97a94e3c63dea0f824f53da608 ocaml(CSet)
= 93d511bb9f97d6117a9dba3706ab0743 ocaml(CSig)
= 59f179ae315fc18388551aa9972e0dfc ocaml(CUnix)
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(CamlinternalLazy)
= 670799fa78880c542c37d64b3baf38aa ocaml(Constr)
= 233f361cbf25095b743d2afa636ee001 ocaml(Context)
= a9dd31ebef4b0f31606274cf6690f783 ocaml(Conv_oracle)
= 2c425c1e71f2ea9e68941efc72edf46e ocaml(Cooking)
= aaa7cf86083c22fe0bdc650b9766d7f2 ocaml(Declarations)
= 52e9defc7fd393e51d052bac59d8446f ocaml(Environ)
= a96ceb099c2f1fb6d9584a61b57ee72b ocaml(Esubst)
= 5410ca5e116902547a19a06b75d92579 ocaml(Evar)
= 1108fbdf2827b6d2494e3e4bca2b55f0 ocaml(Exninfo)
= 919fb2eabc120f3c4e0129cfc56531e2 ocaml(Float64)
= 56cbe0a8daebf59b513cd61e5af4c4a0 ocaml(Genlambda)
= 04171b8e413a80692dcbea1031ff4542 ocaml(Hashcons)
= b5af2da2ba0f0aa4ffcd46fea97b6074 ocaml(Hashset)
= 5d7dae0fd8a18e8d5aa73a19ee3bbc40 ocaml(Int)
= de5fd01aaa49ae97f2332d9b30807adc ocaml(Loc)
= 883ff24157873ad45c0b936416e276f3 ocaml(Mod_subst)
= 1d70648159fea896330b722effcda00c ocaml(NCoq_Arith_PeanoNat)
= d5e3820210fece680272192a53606d50 ocaml(NCoq_Bool_Bool)
= 1bdbf76503a06382644347d42d2cddf0 ocaml(NCoq_Classes_Morphisms)
= 8dc18d10a83bafa73f8c06b66e514d49 ocaml(NCoq_Classes_Morphisms_Prop)
= d91638f3f38485aaeb3d2e9028952e21 ocaml(NCoq_Classes_RelationClasses)
= ba14e8401b72fef301fdb473e3d2bafa ocaml(NCoq_Init_Datatypes)
= a621a9c215aec9d7e16885a0b523e497 ocaml(NCoq_Init_Decimal)
= 89179eec46359242ebf24e32c6fb6f13 ocaml(NCoq_Init_Hexadecimal)
= 5844583c4d0cb46a11802ac8553e2206 ocaml(NCoq_Init_Logic)
= 0e426f499ecc6441a0c78e922372ac9d ocaml(NCoq_Init_Nat)
= aab1d75d4dbd4729ce71c397398cc45e ocaml(NCoq_Init_Number)
= c08de57feb63472602832118f771ac58 ocaml(NCoq_Init_Peano)
= 62e06202f4fd1331cd5f556440e30b6c ocaml(NCoq_Init_Specif)
= aabb09f2e37b54489b8a2b02eb8330ba ocaml(NCoq_Init_Wf)
= 983adfe7b13f4c4334ca68f5997c595c ocaml(NCoq_Lists_List)
= 5d537f42a06df908f38b8169b430149a ocaml(NCoq_Numbers_BinNums)
= e44ceb5a5503da0ba401248b814fd16e ocaml(NCoq_PArith_BinPos)
= 84d6c3405bd68df089341f4153a1804d ocaml(NCoq_Program_Basics)
= ac7c54de55154e1e6fa55367d66f6f11 ocaml(NCoq_Relations_Relation_Definitions)
= b4a592883b667daf1534538003f4f02d ocaml(NCoq_Structures_OrdersTac)
= af40c63f6540534d30ff9f2f7e7f6319 ocaml(NMenhirLib_Alphabet)
= 005f215bf6b5612eed8f8d385bd73f9d ocaml(NMenhirLib_Grammar)
= 2ea9132743d37e1af5c8327b5dc400b1 ocaml(Names)
= 842a27615e40a598a3aabe25b3b65322 ocaml(Nativecode)
= 8d892045979e0114aa149472891fd7cd ocaml(Nativeconv)
= c14db6be2a471852ffc636e36467ec57 ocaml(Nativelib)
= 50c4bb93028b49d5f9a3462bd4dda4e2 ocaml(Nativevalues)
= 999bfd5f937c49fe3b1b03eafd7a3c8b ocaml(Opaqueproof)
= 3587b91abccbee918d16a0ecc7071866 ocaml(Parray)
= b42c7d685f7cf8e56cb9e5cb72b082aa ocaml(Pp)
= e10f527c1e68b4fcf4187c345bdd22e5 ocaml(Predicate)
= 346d147227354e938de6b932d04d6b3d ocaml(Range)
= 061463a7ecc6882acd7c10c1c6cf2653 ocaml(Reduction)
= 921f47b24ba103d9c6a00670a3a8a6c8 ocaml(Retroknowledge)
= 3aeff8b2ebba7f5453fc613375ce0644 ocaml(Rtree)
= 87266e831aa0fb41e7e69d43dba10e03 ocaml(SList)
= e73c70ce289f5c49f0cf7f5a0ceeefc2 ocaml(Sorts)
= 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib)
= 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Array)
= 994a14f10d5ae081663b52b790ee11d3 ocaml(Stdlib__Bigarray)
= 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Buffer)
= 4555217c759e89d65daa8f682eb09b35 ocaml(Stdlib__Complex)
= 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Either)
= b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Format)
= a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int32)
= 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Int64)
= 01430d340c028322c7247031a874e355 ocaml(Stdlib__Lazy)
= ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__List)
= 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Map)
= 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Obj)
= b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Seq)
= 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Set)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= 7a45b29ea54c962bdd7f36b12dac3b17 ocaml(Term)
= 1dab58426370af71f458b92a6fb5ef06 ocaml(TransparentState)
= 2fd6f0b34adce97d21c5d93b17310f9b ocaml(UGraph)
= 5150bcb618feddc1f891db28ba2fa04b ocaml(Uint63)
= f7225d1b1091516b25bcad262c410029 ocaml(Univ)
= 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Unix)
= 82442e4e897c61e9ffd5234974e104ef ocaml(Util)
= cb3ff5d5b665cb384fb59c1413884523 ocaml(Values)
= 0ec5367f45655d3cfc46db2e6443e395 ocaml(Vmbytecodes)
= 346ef462a1e0243aad6f2621f358e795 ocaml(Vmemitcodes)
= 1faa9be887b3fe66b213790f9bb1a3d8 ocaml(Vmvalues)
= 0573444d7d158417dbd5f4f46081e73b ocamlx(CamlinternalLazy)
= 6f988b5d94ba39f80628143ee457b74a ocamlx(NMenhirLib_Alphabet)
= eef4f52997ca52bf252a36ec6edec71a ocamlx(NMenhirLib_Grammar)
= 5a7e0e94055b1546ca43d838d54c067d ocamlx(Nativecode)
= dbcd9cbff7a6549a641c25e4afb7c276 ocamlx(Nativevalues)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 20220210-15.fc38 coq-menhirlib
= 20220210-15.fc38 coq-menhirlib(x86-64)
= af40c63f6540534d30ff9f2f7e7f6319 ocaml(NMenhirLib_Alphabet)
= b48344f6453ca0f042b6f7a6bb00a61e ocaml(NMenhirLib_Automaton)
= 005f215bf6b5612eed8f8d385bd73f9d ocaml(NMenhirLib_Grammar)
= 3991d2c7a9b6e7675924513c7ff0e62c ocaml(NMenhirLib_Interpreter)
= c2cdce086ec22a6b618d9d67599650ac ocaml(NMenhirLib_Interpreter_complete)
= f55725aaee65e3c4ae3934fbd17b2ac3 ocaml(NMenhirLib_Interpreter_correct)
= 2804b3ce5768be694d477605e8b45ed7 ocaml(NMenhirLib_Main)
= 955898c5fc0aad50ebcbab3a207947ae ocaml(NMenhirLib_Validator_classes)
= b5f5f141d331f1ee43732af52502bdbe ocaml(NMenhirLib_Validator_complete)
= e863768e6b85ef11a0d31f0975b22b00 ocaml(NMenhirLib_Validator_safe)
= 54ee6e9b1ed838a7ab0a2bdc1146f5be ocaml(NMenhirLib_Version)
= 6f988b5d94ba39f80628143ee457b74a ocamlx(NMenhirLib_Alphabet)
= 1f9fd8d1b6cd0173779230e998f2d52b ocamlx(NMenhirLib_Automaton)
= eef4f52997ca52bf252a36ec6edec71a ocamlx(NMenhirLib_Grammar)
= b811d20812db3d95effcdb2d0a569962 ocamlx(NMenhirLib_Interpreter)
= 9da558613045368817826e92050feb74 ocamlx(NMenhirLib_Interpreter_complete)
= 643132c9a1f844c9e9039450797abe1f ocamlx(NMenhirLib_Interpreter_correct)
= 3dca8d962df1b08ba8d5d12ddb8de149 ocamlx(NMenhirLib_Main)
= 5e94004d42d567476c8eb2d7723c25bf ocamlx(NMenhirLib_Validator_classes)
= 6df4c66bb2e7d888015c8955db45a467 ocamlx(NMenhirLib_Validator_complete)
= 6ba7519873ae18c0bd8be494b4c48082 ocamlx(NMenhirLib_Validator_safe)
= a89e4f593244eb02c6f7cdbb5bc47728 ocamlx(NMenhirLib_Version)


نحوه نصب


نصب پکیج rpm coq-menhirlib:

    dnf install coq-menhirlib-20220210-15.fc38.x86_64.rpm


فایل ها

مسیرها
/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
... and 26 more


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-10-27

Rebuild for coq 8.17.1

2023-04-01

Rebuild for coq 8.17.0

2023-01-24

Bump release and rebuild

2023-01-24

Rebuild OCaml packages for F38

2023-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-11-26

Rebuild for coq 8.16.1

2022-09-16

Rebuild for coq 8.16.0

2022-08-18

Rebuild to fix coq dependency
Convert License tags to SPDX

2022-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-19

Do not build the coq-menhirlib package on i686
Use new OCaml macros

2022-06-19

OCaml 4.14.0 rebuild

2022-03-26

Rebuild for coq 8.15.1

2022-03-01

Skip building the manual for EPEL
Remove odoc support

2022-02-28

Build with coq support

2022-02-24

Version 20220210
Note the bundling of fix and pprint

2022-02-04

OCaml 4.13.1 rebuild to remove package notes