معرفی شرکت ها

coq-menhirlib-20220210-15.fc38.aarch64.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 aarch64
نام بسته coq-menhirlib
نام فایل بسته coq-menhirlib-20220210-15.fc38.aarch64.rpm
نسخه بسته 20220210
انتشار بسته 15.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Fri 27 Oct 2023 09
هاست سازنده buildvm-a64-39.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://gallium.inria.fr/~fpottier/menhir/
مجوز LGPL-3.0-or-later
حجم دانلود 1.9M
حجم نصب 8.220M
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.x86_64.rpm 20220210 x86_64 Fedora Everything


نیازمندی

مقدار نام
- coq(aarch-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(aarch-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.aarch64.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