معرفی شرکت ها

coq-menhirlib-20220210-10.fc37.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 37
مخزن Fedora Everything aarch64
نام بسته coq-menhirlib
نام فایل بسته coq-menhirlib-20220210-10.fc37.aarch64.rpm
نسخه بسته 20220210
انتشار بسته 10.fc37
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sun 27 Nov 2022 07
هاست سازنده buildvm-a64-34.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://gallium.inria.fr/~fpottier/menhir/
مجوز LGPL-3.0-or-later
حجم دانلود 1.9M
حجم نصب 6.973M
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-10.fc37.x86_64.rpm 20220210 x86_64 Fedora Everything
coq-menhirlib-20220210-9.fc37.aarch64.rpm 20220210 aarch64 Fedora Everything
coq-menhirlib-20220210-9.fc37.x86_64.rpm 20220210 x86_64 Fedora Everything


نیازمندی

مقدار نام
- coq(aarch-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)
= 6d7bf11af14ea68354925f3a37387930 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)
= 162669b09093ea11100da3962b876e9b ocamlx(CamlinternalLazy)
= 0c2031d176e9ca1291e7e8c9fb2e7bf6 ocamlx(NCoq_Arith_PeanoNat)
= cdbab4b0bd137a1bc00d54561f3dd061 ocamlx(NCoq_Init_Datatypes)
= 41d65a6a2b1c55d6e2f10cf6ded4b229 ocamlx(NCoq_Init_Logic)
= 64321e52710eeaa352d709d8ccafe6cf ocamlx(NCoq_Init_Nat)
= 8907851d368bbc622072348a2536b0a3 ocamlx(NCoq_Lists_List)
= e0612228d82543c6ffaaa7a7352608e9 ocamlx(NCoq_Numbers_BinNums)
= 29ff38614d02d547af2edc8d670f7ac6 ocamlx(NCoq_PArith_BinPos)
= 0ccbc807de82cc05c670a87d73b0fb13 ocamlx(NMenhirLib_Alphabet)
= 8f14405762f254cfadd6c8f2c300e10d ocamlx(NMenhirLib_Grammar)
= 25dd46105be7e78ba71f11e778374924 ocamlx(Nativecode)
= c6cb05a1550531a6790b95fa67b03342 ocamlx(Nativevalues)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 20220210-10.fc37 coq-menhirlib
= 20220210-10.fc37 coq-menhirlib(aarch-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)
= 0ccbc807de82cc05c670a87d73b0fb13 ocamlx(NMenhirLib_Alphabet)
= cfeefc6021698e86b5d931df1fe7de2e ocamlx(NMenhirLib_Automaton)
= 8f14405762f254cfadd6c8f2c300e10d ocamlx(NMenhirLib_Grammar)
= e5d465cd277d221391d82a1bf8790cf2 ocamlx(NMenhirLib_Interpreter)
= f06172f73f1a33eaa55649961d27a7a5 ocamlx(NMenhirLib_Interpreter_complete)
= 17c09451649e9694f8e49ab576b81a07 ocamlx(NMenhirLib_Interpreter_correct)
= 972118b13fa1088c693d39457443ff8a ocamlx(NMenhirLib_Main)
= 3017884444416e4b162a9cc317f5d306 ocamlx(NMenhirLib_Validator_classes)
= d108a0599ee281e9c5b3a28fbea1aae2 ocamlx(NMenhirLib_Validator_complete)
= c033741f7cdb1c4cfb8889d99e183b24 ocamlx(NMenhirLib_Validator_safe)
= 23e8cb85aa16e18152550f53369ae20f ocamlx(NMenhirLib_Version)


نحوه نصب


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

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


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

تاریخ آخرین تغییر جزئیات
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

2021-12-27

Version 20211223

2021-11-30

Version 20211128

2021-10-21

Version 20211012