معرفی شرکت ها

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


نیازمندی

مقدار نام
- coq(x86-64)
= 00edc3e526b6239e9ad4c9319eaaabd5 ocaml(AcyclicGraph)
= 3bf67d1381824155797389de8a32d728 ocaml(CArray)
= b49a9e05558d074ce2420f1481d80d8a ocaml(CAst)
= a0c286baa9a2b79d6bec187ce25083a3 ocaml(CDebug)
= 7a5613ac8c99a7839b27f0eb26c409cc ocaml(CEphemeron)
= a742212da585b925999bb1e9c57f8886 ocaml(CList)
= cbcf10800400dde7f75cbc0cc6a0a739 ocaml(CMap)
= 98ddda2b8661651d0ac1c4d2f3adc78a ocaml(CPrimitives)
= 10548a97a94e3c63dea0f824f53da608 ocaml(CSet)
= 93d511bb9f97d6117a9dba3706ab0743 ocaml(CSig)
= f53fe8692b6d16ecf125c5433c67ee1d ocaml(CString)
= 59f179ae315fc18388551aa9972e0dfc ocaml(CUnix)
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(CamlinternalLazy)
= 9ca352bce78df900bce25f5e83b3e3ec ocaml(Constr)
= 233f361cbf25095b743d2afa636ee001 ocaml(Context)
= a9dd31ebef4b0f31606274cf6690f783 ocaml(Conv_oracle)
= c511194cd3d1c75d0ec51fe57d5c4b93 ocaml(Cooking)
= af077788df86ae3c100cb12d0e433100 ocaml(Declarations)
= 81958cbbb97b08eb74f21205ecbe734b ocaml(Environ)
= 746f3c41caf469b8602bbc0673a9de61 ocaml(Esubst)
= 156cdf64bb05c4ab0c4051f998dfab52 ocaml(Evar)
= 766d613c58c5e25783f49ff1e5b36922 ocaml(Exninfo)
= 712fa5d21be885f62f4afb0c1b2e620e ocaml(Float64)
= 04171b8e413a80692dcbea1031ff4542 ocaml(Hashcons)
= b5af2da2ba0f0aa4ffcd46fea97b6074 ocaml(Hashset)
= c638a3a3a3350b9a3cd3aecfc1548b44 ocaml(Int)
= de5fd01aaa49ae97f2332d9b30807adc ocaml(Loc)
= b56a185b9f7bb6f0f0f519c06bf981db ocaml(Mod_subst)
= 3922c4f429b4350bba2dd2dab23b5b5a ocaml(NCoq_Arith_PeanoNat)
= 0804aef187ec6ef5a4c6bc88c0a4973b ocaml(NCoq_Bool_Bool)
= 6b266a73e315469f08ebc542bf8746e8 ocaml(NCoq_Classes_Morphisms)
= c52138961674f9ee5fab86bc21830c4a ocaml(NCoq_Classes_Morphisms_Prop)
= 03470792223f41943cca775a8537bcad ocaml(NCoq_Classes_RelationClasses)
= 7dff06490587ae72d8c480e28d0792c8 ocaml(NCoq_Init_Datatypes)
= 0091886e0df87b48c1b71a630733d322 ocaml(NCoq_Init_Decimal)
= 48f69a780f3ab731bfd5fd9892b611dc ocaml(NCoq_Init_Hexadecimal)
= 8d49d9267163e6178eb2130b0afa5363 ocaml(NCoq_Init_Logic)
= ba503b0fd72b1b323ac75b26585630aa ocaml(NCoq_Init_Nat)
= cd525699ffce1c8a6f907027bb87d10f ocaml(NCoq_Init_Number)
= 67f231ba5cf8725357b5682f1d4ed41b ocaml(NCoq_Init_Peano)
= 6ee28c2862fc7fd46a5168a9f874140a ocaml(NCoq_Init_Specif)
= 5bca515f37535f096c090facf9f2ee7b ocaml(NCoq_Init_Wf)
= f0f59ccc11cabe932e06f5bc97cf054c ocaml(NCoq_Lists_List)
= f68e6acf6ffb202993bf722adf5f5260 ocaml(NCoq_Numbers_BinNums)
= 567a8354cd285d3669d47d582c454eca ocaml(NCoq_PArith_BinPos)
= 819299f98ae3fdc97e4a9a2c9609ffae ocaml(NCoq_Program_Basics)
= 50d48e86dd918045ba6710f690346c4e ocaml(NCoq_Relations_Relation_Definitions)
= e653cee5a401486b918c1d13e4ee646c ocaml(NCoq_Structures_OrdersTac)
= 864ae515b6cd27153861871cef965205 ocaml(NMenhirLib_Alphabet)
= 35299fa26b48dbb91ffa7948b05ef5f1 ocaml(NMenhirLib_Grammar)
= 0b6c349e44c595f40356f60ca49fa766 ocaml(Names)
= 02dbeca2f7bfac8ee80f221d7d1bcb8a ocaml(Nativecode)
= 60d8b9f9f4561c30226973b77f29c919 ocaml(Nativeconv)
= 219578857e7b319faa4d145a4fa5ff68 ocaml(Nativelambda)
= 7b23ee7251439aa612f59354c020ea67 ocaml(Nativelib)
= 151356e5f71c48ba131e257d7b5d6b0e ocaml(Nativevalues)
= b1745fe14cd37c212d34eea094f1b8df ocaml(Opaqueproof)
= 3587b91abccbee918d16a0ecc7071866 ocaml(Parray)
= b42c7d685f7cf8e56cb9e5cb72b082aa ocaml(Pp)
= e10f527c1e68b4fcf4187c345bdd22e5 ocaml(Predicate)
= 346d147227354e938de6b932d04d6b3d ocaml(Range)
= 3523f631320a31383fd961d753a8e437 ocaml(Reduction)
= 921f47b24ba103d9c6a00670a3a8a6c8 ocaml(Retroknowledge)
= 3aeff8b2ebba7f5453fc613375ce0644 ocaml(Rtree)
= 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)
= 510a78f010f6c530a911189d7538d002 ocaml(Stdlib__Stream)
= 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__String)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= c1500a859572f47c5adeb740fbcebf6b ocaml(Term)
= 1dab58426370af71f458b92a6fb5ef06 ocaml(TransparentState)
= bd28bddd5c33ca5c1a5f9f43f907e5da ocaml(UGraph)
= 5150bcb618feddc1f891db28ba2fa04b ocaml(Uint63)
= 6feb5ec642e4daf30a0944e888214cea ocaml(Univ)
= 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Unix)
= 46a1f0249bfbf29202e10de25200d4ea ocaml(Util)
= 88733f1084158f9273bb318495213675 ocaml(Vmbytecodes)
= 2ee3a68ca9992bc9e1f6aeb9e6e33af6 ocaml(Vmemitcodes)
= 6cfd8f0d13168b127ebed3d4375b15c3 ocaml(Vmvalues)
= 0573444d7d158417dbd5f4f46081e73b ocamlx(CamlinternalLazy)
= 45329762b8adf278295c6f273d9bfdbe ocamlx(NCoq_Arith_PeanoNat)
= 48bef1774c24de06f4788df1cc458a22 ocamlx(NCoq_Init_Datatypes)
= 0f42f274405f8931bcd744b7479f9d9d ocamlx(NCoq_Init_Logic)
= d1b22dbf125594d15c039763555e44fd ocamlx(NCoq_Init_Nat)
= 1df58dc8f3254487ae4b572d841cab42 ocamlx(NCoq_Lists_List)
= 8add6981da76a4e4049478832940e033 ocamlx(NCoq_Numbers_BinNums)
= 3128d0965efc9c3922a2768691979019 ocamlx(NCoq_PArith_BinPos)
= 01e791d4fbc55edc28d5d1b69995e2c4 ocamlx(NMenhirLib_Alphabet)
= 308c31cc43261f4e0700c6b74dfbdc04 ocamlx(NMenhirLib_Grammar)
= 378132e12cd0ddc62cbb443b2537e37f ocamlx(Nativecode)
= b733ab24883fab6226ad7bb0280e587b ocamlx(Nativevalues)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 20220210-13.fc38 coq-menhirlib
= 20220210-13.fc38 coq-menhirlib(x86-64)
= 864ae515b6cd27153861871cef965205 ocaml(NMenhirLib_Alphabet)
= d2505864ca54d32386d54c1949f351fe ocaml(NMenhirLib_Automaton)
= 35299fa26b48dbb91ffa7948b05ef5f1 ocaml(NMenhirLib_Grammar)
= 1644f60030169aa56296839625167e0f ocaml(NMenhirLib_Interpreter)
= 7cb1bd8c5ad3ebd631ca1f58e2c1fd73 ocaml(NMenhirLib_Interpreter_complete)
= 6cbc41cb8838f7746278895f98e23606 ocaml(NMenhirLib_Interpreter_correct)
= 0081ee998ed539ee108652cbb9f54760 ocaml(NMenhirLib_Main)
= cd2b445a6a085b3aadb4011cb037f128 ocaml(NMenhirLib_Validator_classes)
= c208c3032f9281d57cbca6beee7943de ocaml(NMenhirLib_Validator_complete)
= 4919f34389b57cca7c1208b3d0deced7 ocaml(NMenhirLib_Validator_safe)
= 773373d2b62fdea2be9bd4a548223e56 ocaml(NMenhirLib_Version)
= 01e791d4fbc55edc28d5d1b69995e2c4 ocamlx(NMenhirLib_Alphabet)
= 5f9c274321513fbca4a24a1938a30485 ocamlx(NMenhirLib_Automaton)
= 308c31cc43261f4e0700c6b74dfbdc04 ocamlx(NMenhirLib_Grammar)
= 8bd9466c870437e56b4051c092dc7c96 ocamlx(NMenhirLib_Interpreter)
= d9545841431ad0d3254e95ee4fb96b56 ocamlx(NMenhirLib_Interpreter_complete)
= 4df9de0c084d1fb8a1eac9ba4e356dd2 ocamlx(NMenhirLib_Interpreter_correct)
= 5d2bb01535a946ba1dc6cc88cde773b0 ocamlx(NMenhirLib_Main)
= f64240dfdcc39a6a2e677e8f1e094fe0 ocamlx(NMenhirLib_Validator_classes)
= e89cae4849282af419e5ec98ccd8af21 ocamlx(NMenhirLib_Validator_complete)
= ee7f1343253a25314fa9b3083906d1d0 ocamlx(NMenhirLib_Validator_safe)
= eccb426c5e7cbc4313a7a41ca93a65a1 ocamlx(NMenhirLib_Version)


نحوه نصب


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

    dnf install coq-menhirlib-20220210-13.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-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

2022-01-20

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

2022-01-17

Version 20211230