معرفی شرکت ها

coq-8.17.1-1.fc38.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Proof management system
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything aarch64
نام بسته coq
نام فایل بسته coq-8.17.1-1.fc38.aarch64.rpm
نسخه بسته 8.17.1
انتشار بسته 1.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Wed 18 Oct 2023 06
هاست سازنده buildvm-a64-24.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 38M
حجم نصب 248.786M
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.


جایگزین ها

بسته نسخه معماری مخزن
coq-8.16.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-8.16.1-3.fc38.src.rpm 8.16.1 x86_64 Fedora Everything
coq-8.16.1-3.fc38.x86_64.rpm 8.16.1 x86_64 Fedora Everything
coq-8.17.1-1.fc38.src.rpm 8.17.1 x86_64 Fedora Everything
coq-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-coqide-8.16.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-coqide-8.16.1-3.fc38.x86_64.rpm 8.16.1 x86_64 Fedora Everything
coq-coqide-8.17.1-1.fc38.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-coqide-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-coqide-debuginfo-8.16.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-coqide-debuginfo-8.16.1-3.fc38.x86_64.rpm 8.16.1 x86_64 Fedora Everything
coq-coqide-debuginfo-8.17.1-1.fc38.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-coqide-debuginfo-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-coqide-server-8.16.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-coqide-server-8.16.1-3.fc38.x86_64.rpm 8.16.1 x86_64 Fedora Everything
coq-coqide-server-8.17.1-1.fc38.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-coqide-server-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-coqide-server-debuginfo-8.16.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-coqide-server-debuginfo-8.16.1-3.fc38.x86_64.rpm 8.16.1 x86_64 Fedora Everything
coq-coqide-server-debuginfo-8.17.1-1.fc38.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-coqide-server-debuginfo-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-core-8.16.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-core-8.16.1-3.fc38.x86_64.rpm 8.16.1 x86_64 Fedora Everything
coq-core-8.17.1-1.fc38.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-core-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-core-debuginfo-8.16.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-core-debuginfo-8.16.1-3.fc38.x86_64.rpm 8.16.1 x86_64 Fedora Everything
coq-core-debuginfo-8.17.1-1.fc38.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-core-debuginfo-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-debuginfo-8.16.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-debuginfo-8.16.1-3.fc38.x86_64.rpm 8.16.1 x86_64 Fedora Everything
coq-debuginfo-8.17.1-1.fc38.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-debuginfo-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-debugsource-8.16.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-debugsource-8.16.1-3.fc38.x86_64.rpm 8.16.1 x86_64 Fedora Everything
coq-debugsource-8.17.1-1.fc38.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-debugsource-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything
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-menhirlib-20220210-15.fc38.x86_64.rpm 20220210 x86_64 Fedora Everything


نیازمندی

مقدار نام
= 8.17.1-1.fc38 coq-core(aarch-64)
- csdp-tools
= 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)
= 53a7187fd035dd01578e0778f29309fd ocaml(NCoq_Arith_Arith_prebase)
= 73ef1349b176a9f87453c043a1124be2 ocaml(NCoq_Arith_Compare_dec)
= 47c7b266b79270b8f0b15b1720ee87aa ocaml(NCoq_Arith_Factorial)
= 1d70648159fea896330b722effcda00c ocaml(NCoq_Arith_PeanoNat)
= 1dcf78e7ea8d9f7dfff4c06a8a4aa11a ocaml(NCoq_Arith_Wf_nat)
= d5e3820210fece680272192a53606d50 ocaml(NCoq_Bool_Bool)
= 09498a2404be0b5d07838b8a48af90d1 ocaml(NCoq_Bool_BoolOrder)
= e7aeaba49f504919f9c36657068bdc45 ocaml(NCoq_Bool_Bvector)
= f3b2aadd3ec4d4a29848475f7316959e ocaml(NCoq_Bool_Sumbool)
= b0097769c68fa92c955431f3e30d8bca ocaml(NCoq_Classes_CMorphisms)
= b467e6fd7c6ffc68f43381bfdd1e1bdf ocaml(NCoq_Classes_CRelationClasses)
= eaac6206cc92ea2ec6ea9cabe0645325 ocaml(NCoq_Classes_DecidableClass)
= 35968c51a9858f9795d01c337a95a8ff ocaml(NCoq_Classes_Equivalence)
= 1bdbf76503a06382644347d42d2cddf0 ocaml(NCoq_Classes_Morphisms)
= 8dc18d10a83bafa73f8c06b66e514d49 ocaml(NCoq_Classes_Morphisms_Prop)
= d91638f3f38485aaeb3d2e9028952e21 ocaml(NCoq_Classes_RelationClasses)
= 1d4caf278519473e8897b7528e9d799b ocaml(NCoq_Classes_SetoidClass)
= 1c2cfc43932e2afc1f5d7cdba20a513e ocaml(NCoq_FSets_FMapInterface)
= dbd845bb26aa9b4a768cdf11ce1788d3 ocaml(NCoq_Floats_FloatClass)
= 3e07cc3d1ab4793f6833907565007e25 ocaml(NCoq_Floats_FloatOps)
= 4efe75d4ce70c0839531af6b55a05218 ocaml(NCoq_Floats_PrimFloat)
= c3320d5a18ae624200f8243464a12515 ocaml(NCoq_Floats_SpecFloat)
= 0a026bf7df4b106122c3b0bed76549e5 ocaml(NCoq_Init_Byte)
= 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)
= 60d858c34c83281610bb9416fff833b3 ocaml(NCoq_Lists_SetoidList)
= 6218bdc576d56d27d052d8c92a936e46 ocaml(NCoq_Lists_Streams)
= 6a3899e8115342b3b55d05e887c92655 ocaml(NCoq_Logic_ConstructiveEpsilon)
= 33c88224f5b489d6b456b5b30f200fe3 ocaml(NCoq_Logic_Decidable)
= 3891313960fd12ac36eb88303aad9d0c ocaml(NCoq_Logic_Eqdep)
= c0f18d8c64be8a75edbc1583c5a94f99 ocaml(NCoq_Logic_EqdepFacts)
= b737a93dc29b00de0708ce5c0d2609b2 ocaml(NCoq_Logic_Eqdep_dec)
= 6766e14b89bf451689a4c2c993dc482d ocaml(NCoq_Logic_JMeq)
= 1e96964cf4df6c84ca170586accc3d81 ocaml(NCoq_Logic_WeakFan)
= 5a233cf05757a167e63428cf2398e8e8 ocaml(NCoq_NArith_BinNat)
= 7641c5b3120c4b3d61dbce43edc3079c ocaml(NCoq_NArith_BinNatDef)
= 5d537f42a06df908f38b8169b430149a ocaml(NCoq_Numbers_BinNums)
= 88cb96a6646a43dc3c42f6cb8ca2715d ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType)
= 81675c190cfa00fda125c01a99da156d ocaml(NCoq_Numbers_Cyclic_Abstract_CyclicAxioms)
= ec868baa8c34931d0e5dfa900e895304 ocaml(NCoq_Numbers_Cyclic_Abstract_DoubleType)
= 18a8671dc6739ae4fae015a147dd27fd ocaml(NCoq_Numbers_Cyclic_Int31_Cyclic31)
= 47f9623c5c0cd91c67a4cab010ee2e82 ocaml(NCoq_Numbers_Cyclic_Int31_Int31)
= f836a31254f97bf4c51bd17964bae055 ocaml(NCoq_Numbers_Cyclic_Int63_Cyclic63)
= bbc7b2d5e9bbc38993cf387aef80ce9d ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63)
= 2fb7e6408f67af4e483920399bb907e3 ocaml(NCoq_Numbers_Cyclic_Int63_Sint63)
= 7c2272ca3504a372170c1d49252f1949 ocaml(NCoq_Numbers_Cyclic_Int63_Uint63)
= 1852e9460cb0094f1dfc25005e7f1ef4 ocaml(NCoq_Numbers_HexadecimalPos)
= e44ceb5a5503da0ba401248b814fd16e ocaml(NCoq_PArith_BinPos)
= 84d6c3405bd68df089341f4153a1804d ocaml(NCoq_Program_Basics)
= 4fcf743fb695aeb5b1b6af244c0a814f ocaml(NCoq_QArith_QArith_base)
= 13e3e907bbb305f83084b79c9c67ee51 ocaml(NCoq_QArith_QOrderedType)
= d76f5466f08fe0973b1bc57de3ce0bfa ocaml(NCoq_QArith_Qabs)
= 4a1afbcf8bde66e8a1b341b25b84f6fa ocaml(NCoq_QArith_Qcanon)
= 2a363df47677d2989d0e7db3f0f42f2f ocaml(NCoq_QArith_Qreduction)
= b04123922ccee8996012e9146e9d35a8 ocaml(NCoq_Reals_Abstract_ConstructiveLimits)
= b93f388bc8e00af4d6547b32d00901ca ocaml(NCoq_Reals_Abstract_ConstructiveReals)
= fb0d1aae599231c6e9639f49ea5a78fb ocaml(NCoq_Reals_Abstract_ConstructiveRealsMorphisms)
= bd621c0797eefa33a2ba3ac492e59f2c ocaml(NCoq_Reals_Alembert)
= 3bf6437825002a96f96e89ec617d0dcc ocaml(NCoq_Reals_AltSeries)
= 7cc945974408c2fca7259c4ff0617449 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyAbs)
= 05cdd62010014222a803e745ec5e3513 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals)
= 7b510e1b8cd5f31ca30caa209ffaf040 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult)
= eb1f2a401fa225910467cbb179008751 ocaml(NCoq_Reals_Cauchy_ConstructiveRcomplete)
= 33aee1bf52f94ddce9f6c701ed1b50d6 ocaml(NCoq_Reals_Cauchy_QExtra)
= 118b37e0d4458879243ea0cf5a6aaa74 ocaml(NCoq_Reals_RIneq)
= 50af04db9bf914368fb957cc85fdacb0 ocaml(NCoq_Reals_RList)
= 570277d037b0d50aa892ab4f8df353f6 ocaml(NCoq_Reals_ROrderedType)
= 7c68a8177547bd1f3d2a24dd520b575a ocaml(NCoq_Reals_R_sqrt)
= 30c0b532d0ad751467a89cff0ac01b9f ocaml(NCoq_Reals_Ranalysis1)
= dfc9f0592743bb41384e960410a92d0f ocaml(NCoq_Reals_Ratan)
= 57db10cb6c048406738751134bed8f57 ocaml(NCoq_Reals_Raxioms)
= b0ccd7c3ee2e625be2c337b3a7b0139e ocaml(NCoq_Reals_Rbasic_fun)
= edcffca6cffd1a5625b0332e96f629cd ocaml(NCoq_Reals_Rdefinitions)
= 6df977f9cc9ca0e90b20671925307a55 ocaml(NCoq_Reals_Rderiv)
= 56d35e592bc110754aeb2ae506ec1866 ocaml(NCoq_Reals_Rfunctions)
= 6aaf58c8672f8ac4e9bcd23b2eabb8b3 ocaml(NCoq_Reals_RiemannInt_SF)
= aa9a223def42665e2e27bcfae59d042f ocaml(NCoq_Reals_Rlimit)
= ed5398f03390306ffb4d5a073a7d4bc9 ocaml(NCoq_Reals_Rpow_def)
= cfa622f91146c34d952b76dbabe65961 ocaml(NCoq_Reals_Rseries)
= 550a37f43b8210a23da8d305167a2aaa ocaml(NCoq_Reals_Rsqrt_def)
= 6ab758f2a0c0b2441682377e21fe7d0b ocaml(NCoq_Reals_Rtrigo1)
= a692260dbf5efa4034cf623f5b8d21f7 ocaml(NCoq_Reals_Rtrigo_alt)
= d5df5cd7858823627e0032404dde6688 ocaml(NCoq_Reals_Rtrigo_def)
= 79007b47d4df2031b6637fdfa61ece9b ocaml(NCoq_Reals_Rtrigo_fun)
= ac7c54de55154e1e6fa55367d66f6f11 ocaml(NCoq_Relations_Relation_Definitions)
= 4314b9fa72624b8bae2ba94c5819da64 ocaml(NCoq_Relations_Relation_Operators)
= f61ae89f5ac94810e7c9157e439f6c1e ocaml(NCoq_Setoids_Setoid)
= 745bc091190d02d374008c5f44b9a411 ocaml(NCoq_Sets_Ensembles)
= 3075ea1da5b2df30d24cc1af7fa06aa3 ocaml(NCoq_Sets_Multiset)
= 2c3ae003f7f4e46db1a942f3c8f22410 ocaml(NCoq_Sets_Partial_Order)
= ea92e6db84c4b6d089b8e7c32889143a ocaml(NCoq_Sets_Relations_1)
= 4ab77988c61b35d83627a99ea789908a ocaml(NCoq_Sets_Relations_2)
= 3b2c9646714f4d3d6bfd4f4859c3d0f2 ocaml(NCoq_Sorting_Sorted)
= f6e8f510a0b780475c2717e0eb7e8f7c ocaml(NCoq_Strings_Ascii)
= 5a5dcebeb05ff6b04ca1bf3d16c4e00d ocaml(NCoq_Strings_ByteVector)
= 7330634ed4003fa807510c2e4d7dd0e6 ocaml(NCoq_Strings_String)
= ab7add524e984f556fe15e5fd3e46013 ocaml(NCoq_Structures_GenericMinMax)
= 03ff7cae90e6f65ec444a5485eddd3f4 ocaml(NCoq_Structures_OrderedType)
= 81db0c3153af631364869389c4377354 ocaml(NCoq_Structures_OrderedTypeEx)
= 944906e8457723e45f4b7202550d5601 ocaml(NCoq_Structures_OrdersEx)
= b4a592883b667daf1534538003f4f02d ocaml(NCoq_Structures_OrdersTac)
= fc28874d867992839909769c445cde96 ocaml(NCoq_Vectors_Fin)
= becb70c1d6d6355dabbf7f1150a1204f ocaml(NCoq_Vectors_Vector)
= 2eb2ce5432480cd96b0c9575e2b5400f ocaml(NCoq_Vectors_VectorDef)
= 7e1444ecbaf8216d56d12a63e67fb6f0 ocaml(NCoq_Vectors_VectorEq)
= c42579eb8a57b42d41826c6c1756a9e5 ocaml(NCoq_Vectors_VectorSpec)
= a6355607a6aec47df884d02e09314e4f ocaml(NCoq_ZArith_BinInt)
= 87e7ef8712a02a67ec9ae27e1680ee70 ocaml(NCoq_ZArith_BinIntDef)
= 8071664fef6bf1fc859473d755918ce3 ocaml(NCoq_ZArith_Wf_Z)
= 48ed3be92b393f44ef814ef7217b8452 ocaml(NCoq_ZArith_ZArith_dec)
= 0780b0ab8a7dd60117d04ce4148ecd41 ocaml(NCoq_ZArith_Zbool)
= 3fabe6f5498fad50a0f7d67116804277 ocaml(NCoq_ZArith_Zdiv)
= a030e2000395803d4d23b612d9a79b70 ocaml(NCoq_ZArith_Zeven)
= b88effb1402ab90fffa057d00e647535 ocaml(NCoq_ZArith_Zgcd_alt)
= 94da1a4df208ddb46df1700004658560 ocaml(NCoq_ZArith_Znat)
= b3ede76bd3caedd60df27d07f2eb58f8 ocaml(NCoq_ZArith_Znumtheory)
= 91a0eda56c8beb7c6644252da846d0f5 ocaml(NCoq_ZArith_Zorder)
= 7b9d7348df09e815db99d60e29c11a6f ocaml(NCoq_ZArith_Zpower)
= 094b035a8d0234a2b1b90b07f725d328 ocaml(NCoq_btauto_Algebra)
= 677cd180125879f0a871380b108d9d31 ocaml(NCoq_micromega_Env)
= e4ba3dce01fa2eb1f8995c3beb5640a2 ocaml(NCoq_micromega_EnvRing)
= 6450958e5d7a96ee4611962a07d62464 ocaml(NCoq_micromega_OrderedRing)
= f3ceab5694e6994f2e8ccc1038baafea ocaml(NCoq_micromega_Refl)
= 295ad2f3559ba7d540a4c7b956c9ddd9 ocaml(NCoq_micromega_RingMicromega)
= d85e530ec9a4c70ea787dc8330cb29d5 ocaml(NCoq_micromega_Tauto)
= bc502030f1320e3bdacbee2e81d3ca37 ocaml(NCoq_micromega_VarMap)
= 83cddc27e316865fdb365ae05ca0c87a ocaml(NCoq_micromega_ZifyClasses)
= 5a7db33a703f2ab8ea7f0d4a27288b1d ocaml(NCoq_micromega_ZifyInst)
= 79c0e4e79f683210c4e5e5442d56b0be ocaml(NCoq_rtauto_Bintree)
= 96326193ca11fad22ee8763af17ee9bd ocaml(NCoq_setoid_ring_Algebra_syntax)
= 38f5dbc2bedbf3742d064c8463058f50 ocaml(NCoq_setoid_ring_BinList)
= 33d706f4d2de31749dbb73d409cc4ae9 ocaml(NCoq_setoid_ring_Cring)
= 7e0292eb0a8fc182b327204625573700 ocaml(NCoq_setoid_ring_InitialRing)
= 84281c38dddc8e32376772d8efe28db9 ocaml(NCoq_setoid_ring_Integral_domain)
= 817d761eea7bda0006043916ab3e7a1f ocaml(NCoq_setoid_ring_Ncring)
= 4e6347fb2c2b0d378144326d0dcd32dd ocaml(NCoq_setoid_ring_Ncring_initial)
= 527f11a1bf767b3d66683c82ab1158bb ocaml(NCoq_setoid_ring_Ncring_tac)
= f243c25c1d54e298da7d5b56aafd39d0 ocaml(NCoq_setoid_ring_Ring_polynom)
= 4ad8bfe2179da4d9177ac6b283df8bf1 ocaml(NCoq_setoid_ring_Ring_theory)
= 88f302d10c5906823c844193e96a4db8 ocaml(NCoq_ssr_ssreflect)
= a91bb1806fd42bcbf0bd757e409762ae ocaml(NCoq_ssr_ssrfun)
= f801b7a6dbcffcb797a2e128c88e7e13 ocaml(NCoq_ssr_ssrunder)
= 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)
- ocaml-findlib
- rtld(GNU_HASH)
- texlive-base


ارائه دهنده

مقدار نام
= 8.17.1-1.fc38 coq
= 8.17.1-1.fc38 coq(aarch-64)
= 95941a6c13d1829b564174d533d3ee1e ocaml(NCoq_Arith_Arith)
= a3f002d0f1dd7096d74c9c486b32aaab ocaml(NCoq_Arith_Arith_base)
= 53a7187fd035dd01578e0778f29309fd ocaml(NCoq_Arith_Arith_prebase)
= d4d4775a2f232a3174d320559fda1956 ocaml(NCoq_Arith_Between)
= 5b6b95775959c216ca884f9e6ffb8bbe ocaml(NCoq_Arith_Bool_nat)
= 5a932d724639e84e40948805bdcea619 ocaml(NCoq_Arith_Cantor)
= bd875ea8e3a42b1d89d1abe2c1bc7b52 ocaml(NCoq_Arith_Compare)
= 73ef1349b176a9f87453c043a1124be2 ocaml(NCoq_Arith_Compare_dec)
= 390d6b6209687ca35004041d7b4fbe25 ocaml(NCoq_Arith_Div2)
= cecb17c3b79667430cbf8d7b474a51b9 ocaml(NCoq_Arith_EqNat)
= c7deb9290d663a8dd0228019d0b1b254 ocaml(NCoq_Arith_Euclid)
= f209c89b664586c3a3d1c47fddd56b81 ocaml(NCoq_Arith_Even)
= 47c7b266b79270b8f0b15b1720ee87aa ocaml(NCoq_Arith_Factorial)
= d97a9ac633b4911879f4ebfc0be9cbd8 ocaml(NCoq_Arith_Gt)
= 9f601e5e2f5d818c653997155fb59f3d ocaml(NCoq_Arith_Le)
= 6878a022857dd608ba403e69938ac337 ocaml(NCoq_Arith_Lt)
= bbf472a28da82a1d1c4db5f641e9d1e5 ocaml(NCoq_Arith_Max)
= cf1687c8efd34bdacc8b76a9e78a5fc7 ocaml(NCoq_Arith_Min)
= e233ca2e14b49b4b1e8c63c9f0928742 ocaml(NCoq_Arith_Minus)
= 283a58c10973974fad19e12c2f127842 ocaml(NCoq_Arith_Mult)
= 1d70648159fea896330b722effcda00c ocaml(NCoq_Arith_PeanoNat)
= c7f527eb02b8688adc1c873450c0ad9d ocaml(NCoq_Arith_Peano_dec)
= 1d5fcf968056db24473649c830efc0d6 ocaml(NCoq_Arith_Plus)
= 1dcf78e7ea8d9f7dfff4c06a8a4aa11a ocaml(NCoq_Arith_Wf_nat)
= 6e32d81f1b37962d3885a67e2684ece3 ocaml(NCoq_Array_PArray)
= d5e3820210fece680272192a53606d50 ocaml(NCoq_Bool_Bool)
= e5fe25e6a0a20363f95ccf63db81d7ed ocaml(NCoq_Bool_BoolEq)
= 09498a2404be0b5d07838b8a48af90d1 ocaml(NCoq_Bool_BoolOrder)
= e7aeaba49f504919f9c36657068bdc45 ocaml(NCoq_Bool_Bvector)
= a41c465b0ff5bfa3b03c05b982f465b1 ocaml(NCoq_Bool_DecBool)
= 83929c58a3bb7791ae095d0cf87724b1 ocaml(NCoq_Bool_IfProp)
= f3b2aadd3ec4d4a29848475f7316959e ocaml(NCoq_Bool_Sumbool)
= be9d5a22dfd1df9d3f875635b8049700 ocaml(NCoq_Bool_Zerob)
= 53769f607a3a84aaeb51c473b5da891b ocaml(NCoq_Classes_CEquivalence)
= b0097769c68fa92c955431f3e30d8bca ocaml(NCoq_Classes_CMorphisms)
= b467e6fd7c6ffc68f43381bfdd1e1bdf ocaml(NCoq_Classes_CRelationClasses)
= eaac6206cc92ea2ec6ea9cabe0645325 ocaml(NCoq_Classes_DecidableClass)
= 238790bdf45324cc498ec19ba8c3d6d7 ocaml(NCoq_Classes_EquivDec)
= 35968c51a9858f9795d01c337a95a8ff ocaml(NCoq_Classes_Equivalence)
= 9ec7a7c0ca2088b2533d6bd57f5d6af0 ocaml(NCoq_Classes_Init)
= 1bdbf76503a06382644347d42d2cddf0 ocaml(NCoq_Classes_Morphisms)
= 8dc18d10a83bafa73f8c06b66e514d49 ocaml(NCoq_Classes_Morphisms_Prop)
= 85ef08bc75625e48b8398209454f4621 ocaml(NCoq_Classes_Morphisms_Relations)
= d91638f3f38485aaeb3d2e9028952e21 ocaml(NCoq_Classes_RelationClasses)
= 6cf21727e3796cea883bc43f039f6a3d ocaml(NCoq_Classes_RelationPairs)
= 1d4caf278519473e8897b7528e9d799b ocaml(NCoq_Classes_SetoidClass)
= 4d07c6de63636f8929e14ba6c1c94c19 ocaml(NCoq_Classes_SetoidDec)
= 190cef1630121514eb69a3d941c3cbca ocaml(NCoq_Classes_SetoidTactics)
= 6f73c6f71896265af37e84bb72f85fa0 ocaml(NCoq_Compat_AdmitAxiom)
= 9822bca4d2018235646c67c485d5b167 ocaml(NCoq_Compat_Coq815)
= 137128ec709f460e288d270747e8fc9d ocaml(NCoq_Compat_Coq816)
= 2e823277fe731077fc25196315f8c5b8 ocaml(NCoq_Compat_Coq817)
= a2b21a904f1540ba49d239240b316177 ocaml(NCoq_FSets_FMapAVL)
= 49b67a83b6e3d5c6861073a64265a306 ocaml(NCoq_FSets_FMapFacts)
= 1b385271da6099a26e8bcc46726ed2f4 ocaml(NCoq_FSets_FMapFullAVL)
= 1c2cfc43932e2afc1f5d7cdba20a513e ocaml(NCoq_FSets_FMapInterface)
= fc02e9ad371498b7f6d8eeefd4e89dd9 ocaml(NCoq_FSets_FMapList)
= 69092b28e94bf8966c5ac16bd026da11 ocaml(NCoq_FSets_FMapPositive)
= 7ee4f156fcec2052e62f1d677e346821 ocaml(NCoq_FSets_FMapWeakList)
= 364375591cfbf5e1402924e0568729bc ocaml(NCoq_FSets_FMaps)
= 6f41a07b089b4e4b955c4e6068dc9b0c ocaml(NCoq_FSets_FSetAVL)
= f981a07fbf1dedbc43ac6271d5bb2aab ocaml(NCoq_FSets_FSetBridge)
= 8228994f97191361f468ec80aac929f2 ocaml(NCoq_FSets_FSetCompat)
= 806b0345720baa7b382628d4021f3909 ocaml(NCoq_FSets_FSetDecide)
= 421d5a3b5838b218c76c5eec4c3badd9 ocaml(NCoq_FSets_FSetEqProperties)
= 83e9b33a62549d5ec5092536a0601cdf ocaml(NCoq_FSets_FSetFacts)
= 9535114a239d02628e2ff16ff88cff0e ocaml(NCoq_FSets_FSetInterface)
= d709455e3616993947584067bce6ee75 ocaml(NCoq_FSets_FSetList)
= 64fd6b85ba333cc8a43904893b9b42a6 ocaml(NCoq_FSets_FSetPositive)
= c1af7bce630c0ff5f2cdfb75389cd651 ocaml(NCoq_FSets_FSetProperties)
= dd8e7c2f552d167cf5d06aea6e437193 ocaml(NCoq_FSets_FSetToFiniteSet)
= 00d24b207b83700c8756ed5615925633 ocaml(NCoq_FSets_FSetWeakList)
= 5a4edf9afa32ae38b6373ca0798d1b91 ocaml(NCoq_FSets_FSets)
= 7f13775cfc7b4eadd6f92533a755b3fc ocaml(NCoq_Floats_FloatAxioms)
= dbd845bb26aa9b4a768cdf11ce1788d3 ocaml(NCoq_Floats_FloatClass)
= 5e48ab43bf0aaacfb025b2f86076a7fd ocaml(NCoq_Floats_FloatLemmas)
= 3e07cc3d1ab4793f6833907565007e25 ocaml(NCoq_Floats_FloatOps)
= 1e43f93ce68edb56ca82e2a2ef554cb1 ocaml(NCoq_Floats_Floats)
= 4efe75d4ce70c0839531af6b55a05218 ocaml(NCoq_Floats_PrimFloat)
= c3320d5a18ae624200f8243464a12515 ocaml(NCoq_Floats_SpecFloat)
= 0a026bf7df4b106122c3b0bed76549e5 ocaml(NCoq_Init_Byte)
= ba14e8401b72fef301fdb473e3d2bafa ocaml(NCoq_Init_Datatypes)
= a621a9c215aec9d7e16885a0b523e497 ocaml(NCoq_Init_Decimal)
= 89179eec46359242ebf24e32c6fb6f13 ocaml(NCoq_Init_Hexadecimal)
= 5844583c4d0cb46a11802ac8553e2206 ocaml(NCoq_Init_Logic)
= ac0403af46a8a119024c67f8bfcfb615 ocaml(NCoq_Init_Ltac)
= 0e426f499ecc6441a0c78e922372ac9d ocaml(NCoq_Init_Nat)
= f1777cfbc0d5660f6f305a02b8c0c2c1 ocaml(NCoq_Init_Notations)
= aab1d75d4dbd4729ce71c397398cc45e ocaml(NCoq_Init_Number)
= c08de57feb63472602832118f771ac58 ocaml(NCoq_Init_Peano)
= 21a412fb4dd6f1a43fe7db23659cc456 ocaml(NCoq_Init_Prelude)
= 62e06202f4fd1331cd5f556440e30b6c ocaml(NCoq_Init_Specif)
= 9b48c02b2a553b71b03686f826411cf6 ocaml(NCoq_Init_Tactics)
= 0fc345ec2c1bc8ded59f4c5c0895e6ae ocaml(NCoq_Init_Tauto)
= aabb09f2e37b54489b8a2b02eb8330ba ocaml(NCoq_Init_Wf)
= 983adfe7b13f4c4334ca68f5997c595c ocaml(NCoq_Lists_List)
= 258663b39d670dca3fa52962a7f3fa48 ocaml(NCoq_Lists_ListDec)
= d5fdaac3734d382df6ffcfd71e5652f7 ocaml(NCoq_Lists_ListSet)
= aaefb0ab0db113eaeb8976068bcec768 ocaml(NCoq_Lists_ListTactics)
= 60d858c34c83281610bb9416fff833b3 ocaml(NCoq_Lists_SetoidList)
= 5fec3942d0c9e1c5d5fa6e7653c31974 ocaml(NCoq_Lists_SetoidPermutation)
= 33944576b040f93331a8aafd9dc9982a ocaml(NCoq_Lists_StreamMemo)
= 6218bdc576d56d27d052d8c92a936e46 ocaml(NCoq_Lists_Streams)
= 998b4aa0ea327c29c2a11dde4b13e7cd ocaml(NCoq_Logic_Adjointification)
= 6c35d0e3c2bafacced3bc18f418f96bc ocaml(NCoq_Logic_Berardi)
= d71d2663c518c153a40a465894671d65 ocaml(NCoq_Logic_ChoiceFacts)
= 049b1ae29a67675e1bb2c362f3f113a7 ocaml(NCoq_Logic_Classical)
= 581107e8a381e09a48e8a8d7e132d04d ocaml(NCoq_Logic_ClassicalChoice)
= 417e0cd130b5a5fa126d53ab4042622c ocaml(NCoq_Logic_ClassicalDescription)
= 792cdf864fc5dfa912cb6f7a00c2db75 ocaml(NCoq_Logic_ClassicalEpsilon)
= 1cc171855453a43002975db5a1757ba4 ocaml(NCoq_Logic_ClassicalFacts)
= 2f56b2cb40f63f7f120d4ed7af1d25c9 ocaml(NCoq_Logic_ClassicalUniqueChoice)
= 7d9c48357fdd6746677c399879ad43dc ocaml(NCoq_Logic_Classical_Pred_Type)
= ac5d285fea109c3ca8787cfdeccbfa80 ocaml(NCoq_Logic_Classical_Prop)
= 6a3899e8115342b3b55d05e887c92655 ocaml(NCoq_Logic_ConstructiveEpsilon)
= 33c88224f5b489d6b456b5b30f200fe3 ocaml(NCoq_Logic_Decidable)
= 42e16097b042628967f57f5b6f75a80a ocaml(NCoq_Logic_Description)
= 203543c30e0172f4a3c4400a18d392dc ocaml(NCoq_Logic_Diaconescu)
= 19e9e3edd5390ab3d171e792b1fce4a8 ocaml(NCoq_Logic_Epsilon)
= 3891313960fd12ac36eb88303aad9d0c ocaml(NCoq_Logic_Eqdep)
= c0f18d8c64be8a75edbc1583c5a94f99 ocaml(NCoq_Logic_EqdepFacts)
= b737a93dc29b00de0708ce5c0d2609b2 ocaml(NCoq_Logic_Eqdep_dec)
= 4cb65cc7660978124899fee70c3309bd ocaml(NCoq_Logic_ExtensionalFunctionRepresentative)
= 718e8e945407c1155c640317eac5282c ocaml(NCoq_Logic_ExtensionalityFacts)
= 434da6e69570aade8eb1205cbf0b1a20 ocaml(NCoq_Logic_FinFun)
= 6d042d2f2411e98d3665dbc08dd74ea0 ocaml(NCoq_Logic_FunctionalExtensionality)
= 6cd491d0f08840222029183376c0ed21 ocaml(NCoq_Logic_HLevels)
= 05cd0ade0be08969b5a5ec76256544ca ocaml(NCoq_Logic_Hurkens)
= 15cebb64b5aeedcfd63651d012324aad ocaml(NCoq_Logic_IndefiniteDescription)
= 6766e14b89bf451689a4c2c993dc482d ocaml(NCoq_Logic_JMeq)
= 585f035a78087c8be2c9fc0ab51ed90f ocaml(NCoq_Logic_ProofIrrelevance)
= 723580515cfebeeedc9c9a4eafd42311 ocaml(NCoq_Logic_ProofIrrelevanceFacts)
= f8a2361a3e202bfc778b6325ed62dc26 ocaml(NCoq_Logic_PropExtensionality)
= 516283cd89169ce477f5d322bd069364 ocaml(NCoq_Logic_PropExtensionalityFacts)
= 25e35d9507af86c4a655d92bbd2b2fdf ocaml(NCoq_Logic_PropFacts)
= 7826538251b6adc6c2499a450b4d5b21 ocaml(NCoq_Logic_RelationalChoice)
= 255db198e0606f187557445ff7389e45 ocaml(NCoq_Logic_SetIsType)
= 7631a742c5b9bcf5f1e5a4cf6aec1271 ocaml(NCoq_Logic_SetoidChoice)
= 06b230a3ba4dc71c8791ecfb020ff260 ocaml(NCoq_Logic_StrictProp)
= 599bb7c3979872ca818ed5cbb6b0c96b ocaml(NCoq_Logic_WKL)
= 1e96964cf4df6c84ca170586accc3d81 ocaml(NCoq_Logic_WeakFan)
= 874790b15624e629054345181fe982f5 ocaml(NCoq_MSets_MSetAVL)
= eba8cd5bf780bc9f64603adc2386cf4c ocaml(NCoq_MSets_MSetDecide)
= 4940c1d6a938bd832bfc8bd40560ab88 ocaml(NCoq_MSets_MSetEqProperties)
= 9d6c75162e0abb3dafcf637f0d9b535c ocaml(NCoq_MSets_MSetFacts)
= 4fabeff37a7019287c7f0a077fe7be83 ocaml(NCoq_MSets_MSetGenTree)
= 7726463d3b56fd477270c75f8f734ba3 ocaml(NCoq_MSets_MSetInterface)
= 41bfa1a8d81fdc704d9e2e569658cd04 ocaml(NCoq_MSets_MSetList)
= 683edd8ba66e358d3a444f35087a9f05 ocaml(NCoq_MSets_MSetPositive)
= e7b82076820ab25d888020e6e6516ee9 ocaml(NCoq_MSets_MSetProperties)
= 79ba45d617c31501ba3e1f502b1e508f ocaml(NCoq_MSets_MSetRBT)
= eed90580be7b7472348b8e1d37efaddd ocaml(NCoq_MSets_MSetToFiniteSet)
= 80e6cc12b2a25535d2293cef7c01793f ocaml(NCoq_MSets_MSetWeakList)
= 4fa5c554e40f627144949a045353e0e8 ocaml(NCoq_MSets_MSets)
= 5a233cf05757a167e63428cf2398e8e8 ocaml(NCoq_NArith_BinNat)
= 7641c5b3120c4b3d61dbce43edc3079c ocaml(NCoq_NArith_BinNatDef)
= f9cd588bad5b45157131d32d0e2b6a97 ocaml(NCoq_NArith_NArith)
= 7427dbdb62cc760ee5101511338ef416 ocaml(NCoq_NArith_Ndec)
= 8ce48ebb661be6a049030768b1d9cb8a ocaml(NCoq_NArith_Ndigits)
= f7c8eccd562a636fa6cfdf32198ff2ec ocaml(NCoq_NArith_Ndist)
= eed39d7bb62dbfbcfc6a1688c9659ba6 ocaml(NCoq_NArith_Ndiv_def)
= cf2ad026363c49412fe0491a378864a3 ocaml(NCoq_NArith_Ngcd_def)
= 2a75516ea41a661eb73882f6441dc91e ocaml(NCoq_NArith_Nnat)
= 7e64619899b36c11c596c5ca1e7503b4 ocaml(NCoq_NArith_Nsqrt_def)
= fa041ce513e83e8807cb6369b3b7c8c4 ocaml(NCoq_Numbers_AltBinNotations)
= 5d537f42a06df908f38b8169b430149a ocaml(NCoq_Numbers_BinNums)
= 88cb96a6646a43dc3c42f6cb8ca2715d ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType)
= 81675c190cfa00fda125c01a99da156d ocaml(NCoq_Numbers_Cyclic_Abstract_CyclicAxioms)
= ec868baa8c34931d0e5dfa900e895304 ocaml(NCoq_Numbers_Cyclic_Abstract_DoubleType)
= 6d75753f26745717d679ca282c19be90 ocaml(NCoq_Numbers_Cyclic_Abstract_NZCyclic)
= 18a8671dc6739ae4fae015a147dd27fd ocaml(NCoq_Numbers_Cyclic_Int31_Cyclic31)
= 47f9623c5c0cd91c67a4cab010ee2e82 ocaml(NCoq_Numbers_Cyclic_Int31_Int31)
= f19c02f81ef28788e33528ed14d47fe1 ocaml(NCoq_Numbers_Cyclic_Int31_Ring31)
= f836a31254f97bf4c51bd17964bae055 ocaml(NCoq_Numbers_Cyclic_Int63_Cyclic63)
= bbc7b2d5e9bbc38993cf387aef80ce9d ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63)
= b76fdb57f75159d0cb246ef706886f24 ocaml(NCoq_Numbers_Cyclic_Int63_Ring63)
= 2fb7e6408f67af4e483920399bb907e3 ocaml(NCoq_Numbers_Cyclic_Int63_Sint63)
= 7c2272ca3504a372170c1d49252f1949 ocaml(NCoq_Numbers_Cyclic_Int63_Uint63)
= de902776899106c09e0aa81a7213c491 ocaml(NCoq_Numbers_Cyclic_ZModulo_ZModulo)
= 7aabe5bb2f75508906786c30bfd5d610 ocaml(NCoq_Numbers_DecimalFacts)
= aa17e1724ee71fc21c9120f103249fb8 ocaml(NCoq_Numbers_DecimalN)
= 01f337c0d977a9976e56ef54ba54b22f ocaml(NCoq_Numbers_DecimalNat)
= bccf3afc81cf12845de007d653cb0464 ocaml(NCoq_Numbers_DecimalPos)
= f9352a6ff3b824691c8dacf0a5b4de36 ocaml(NCoq_Numbers_DecimalQ)
= 43cd53b847ce2b9f1f0bf8a67759ee7f ocaml(NCoq_Numbers_DecimalR)
= 0da70a42bd90f729aad5026bf980b912 ocaml(NCoq_Numbers_DecimalString)
= b1f3a60959f775af34b83fc7d90f4aa2 ocaml(NCoq_Numbers_DecimalZ)
= b212479b1c40cb8708eb25956b1f3e07 ocaml(NCoq_Numbers_HexadecimalFacts)
= 8c651dc1ac585611ac3168038a32c446 ocaml(NCoq_Numbers_HexadecimalN)
= 73d667ca3d1a2d35fbcca6cdda23bde2 ocaml(NCoq_Numbers_HexadecimalNat)
= 1852e9460cb0094f1dfc25005e7f1ef4 ocaml(NCoq_Numbers_HexadecimalPos)
= d717a91fe2e47ed7fa48f0453ebc22ad ocaml(NCoq_Numbers_HexadecimalQ)
= e38c7be22556254baf728429574a0bfc ocaml(NCoq_Numbers_HexadecimalR)
= b7e4aacd53fa266af33be3161ecd716c ocaml(NCoq_Numbers_HexadecimalString)
= b11af32dbdd7bc4ffd77f37db0f75a9e ocaml(NCoq_Numbers_HexadecimalZ)
= 7add8f764c7e65c372f3cff4c44a6150 ocaml(NCoq_Numbers_Integer_Abstract_ZAdd)
= 853eefa010496372bc04f1f082a3e18f ocaml(NCoq_Numbers_Integer_Abstract_ZAddOrder)
= 389f8069ce73833116460fe35f7c047f ocaml(NCoq_Numbers_Integer_Abstract_ZAxioms)
= 4451e5915a9f73f2da437af17648171e ocaml(NCoq_Numbers_Integer_Abstract_ZBase)
= 75d4da0429cb16eaa5e1704906e27bee ocaml(NCoq_Numbers_Integer_Abstract_ZBits)
= 9f834cc2a8b2de26b34ee02c0fcfce2d ocaml(NCoq_Numbers_Integer_Abstract_ZDivEucl)
= cff13c4e0072bf9475310441413a97df ocaml(NCoq_Numbers_Integer_Abstract_ZDivFloor)
= 4ff222e2a0a95280287a04f82baac851 ocaml(NCoq_Numbers_Integer_Abstract_ZDivTrunc)
= 1daa08ad86b50bd2471f9352f49c834a ocaml(NCoq_Numbers_Integer_Abstract_ZGcd)
= 2365a2a56449816903fdd24d56a0bce3 ocaml(NCoq_Numbers_Integer_Abstract_ZLcm)
= 4768110626462a5f794001a0f8217b74 ocaml(NCoq_Numbers_Integer_Abstract_ZLt)
= 9f62e85f690210a4e65f2f05f608cc80 ocaml(NCoq_Numbers_Integer_Abstract_ZMaxMin)
= e587c0de501e769f44076d41f2f8d62d ocaml(NCoq_Numbers_Integer_Abstract_ZMul)
= c400ef1a0b840239ce3cd5cd01477acd ocaml(NCoq_Numbers_Integer_Abstract_ZMulOrder)
= b4c6dcbf35d073c111b263af50ec1620 ocaml(NCoq_Numbers_Integer_Abstract_ZParity)
= 4e217fa90876ee58f5cd6e556b928570 ocaml(NCoq_Numbers_Integer_Abstract_ZPow)
= 34e14d9f28dde0b0d963fa9b853407c0 ocaml(NCoq_Numbers_Integer_Abstract_ZProperties)
= adc93be04fb55054f2130178a131ff0f ocaml(NCoq_Numbers_Integer_Abstract_ZSgnAbs)
= 30fd0f9070dce5610a15f365dae8d35a ocaml(NCoq_Numbers_Integer_Binary_ZBinary)
= f7dfbab867a81146ff1d3fe9a57e0e3a ocaml(NCoq_Numbers_Integer_NatPairs_ZNatPairs)
= b6182cab1b616ea07afb9637ea984936 ocaml(NCoq_Numbers_NaryFunctions)
= 49fba7cb6eb9fb9d0bba3800faaa0522 ocaml(NCoq_Numbers_NatInt_NZAdd)
= 40bf9dee1529217dbd1b0e3dbec2a1d2 ocaml(NCoq_Numbers_NatInt_NZAddOrder)
= 049c82a5d135179ea22df6f7a32bfb36 ocaml(NCoq_Numbers_NatInt_NZAxioms)
= a231e09743c2abdea2402fed3c0f590c ocaml(NCoq_Numbers_NatInt_NZBase)
= f11b2eacccafc3529bcd2bb19bb61592 ocaml(NCoq_Numbers_NatInt_NZBits)
= c6cda2d5e8b3399a1172743cb4595339 ocaml(NCoq_Numbers_NatInt_NZDiv)
= 9e25ea75ba7b92b063eb1d0d060f806f ocaml(NCoq_Numbers_NatInt_NZDomain)
= efd67cc901dd866ad726cb92c347937b ocaml(NCoq_Numbers_NatInt_NZGcd)
= 8350bcd465f0d6f20ec8ff886b64fc4b ocaml(NCoq_Numbers_NatInt_NZLog)
= 53da4c306f362a0edd57c3f71f58aaf1 ocaml(NCoq_Numbers_NatInt_NZMul)
= b7919c3bf24c262c135f5f1576ae7a9c ocaml(NCoq_Numbers_NatInt_NZMulOrder)
= 5e1ce495ea57984b7e75d13f73a94ed0 ocaml(NCoq_Numbers_NatInt_NZOrder)
= a61b10126b23b49dfaf01dcfd5a920c3 ocaml(NCoq_Numbers_NatInt_NZParity)
= 172f9ab7c297de2dc79d86285a52ca52 ocaml(NCoq_Numbers_NatInt_NZPow)
= 6545f69bbeaa01536a583403623c197f ocaml(NCoq_Numbers_NatInt_NZProperties)
= 9268e8d6356b5b75f9adc91143017a26 ocaml(NCoq_Numbers_NatInt_NZSqrt)
= b1241268ebfc20c6f83c90276dec8d76 ocaml(NCoq_Numbers_Natural_Abstract_NAdd)
= acec51461af4f63226eb064b8a62969c ocaml(NCoq_Numbers_Natural_Abstract_NAddOrder)
= 63a708ded53f005ddd7e9e2f9f80ec72 ocaml(NCoq_Numbers_Natural_Abstract_NAxioms)
= 8ae4cd52160ff450c6ad4d491931e624 ocaml(NCoq_Numbers_Natural_Abstract_NBase)
= d3134e2182e5b1b8c808ae35dac15650 ocaml(NCoq_Numbers_Natural_Abstract_NBits)
= d01d15a09df5cace4faa48d99cc3af65 ocaml(NCoq_Numbers_Natural_Abstract_NDefOps)
= fd33f8901f51cdbb30acc1c79e5abf47 ocaml(NCoq_Numbers_Natural_Abstract_NDiv)
= 5cc758640a6105d009dc90c49f72644e ocaml(NCoq_Numbers_Natural_Abstract_NDiv0)
= 1ef71eea87fac5a23c1f8efb35ccb985 ocaml(NCoq_Numbers_Natural_Abstract_NGcd)
= 0484973fa9d6d11bbf30b4279ff831bd ocaml(NCoq_Numbers_Natural_Abstract_NIso)
= aec089f5a6358f52287f394e6d22a8ac ocaml(NCoq_Numbers_Natural_Abstract_NLcm)
= cd65752d89b8d0b67ef93d39cccf4220 ocaml(NCoq_Numbers_Natural_Abstract_NLcm0)
= 43535000d997a193147c31b8d7111377 ocaml(NCoq_Numbers_Natural_Abstract_NLog)
= 33a2e796f666d29baa68f75d1d34675c ocaml(NCoq_Numbers_Natural_Abstract_NMaxMin)
= 53bc873b7a5e6ef52e9089236b08929d ocaml(NCoq_Numbers_Natural_Abstract_NMulOrder)
= 5cb5d32ca989e3aba04bd52b6cff3397 ocaml(NCoq_Numbers_Natural_Abstract_NOrder)
= d4c66243ea109e0594583a114ad47149 ocaml(NCoq_Numbers_Natural_Abstract_NParity)
= 4b44f2e63b09df01e24dbd86c7ad9f20 ocaml(NCoq_Numbers_Natural_Abstract_NPow)
= 56d05d6c0a2ab9fdb91cf3bf820612dc ocaml(NCoq_Numbers_Natural_Abstract_NProperties)
= 528c98db3628061ae8cd69940e4200c3 ocaml(NCoq_Numbers_Natural_Abstract_NSqrt)
= 63021be7fa6c9c7d8c42d5f2fb72a7d8 ocaml(NCoq_Numbers_Natural_Abstract_NStrongRec)
= 8195eb3e376c9df15136f1fe310c9c08 ocaml(NCoq_Numbers_Natural_Abstract_NSub)
= 93fbc8078ce33d3dac9d4fc439a8b359 ocaml(NCoq_Numbers_Natural_Binary_NBinary)
= f6aa81b30ebee3c5519729cd80549014 ocaml(NCoq_Numbers_Natural_Peano_NPeano)
= 322fcf7102e69deb66cb462fd513b733 ocaml(NCoq_Numbers_NumPrelude)
= e44ceb5a5503da0ba401248b814fd16e ocaml(NCoq_PArith_BinPos)
= bb57828e8e5d6ee44711a74afdaa6c58 ocaml(NCoq_PArith_BinPosDef)
= bdfc64e86ff061e5566e07934dd5c4c8 ocaml(NCoq_PArith_PArith)
= be27d3a65df09553296d9801034f8726 ocaml(NCoq_PArith_POrderedType)
= f2510778c071f6608e40af70b2c1bc0e ocaml(NCoq_PArith_Pnat)
= 84d6c3405bd68df089341f4153a1804d ocaml(NCoq_Program_Basics)
= a782463c99c2dcc038cbd3c01f25d6b3 ocaml(NCoq_Program_Combinators)
= a3c3fcbc738ec7bc7e971dead2eee696 ocaml(NCoq_Program_Equality)
= 31447fbaf266a0fec2f956ca786e7be7 ocaml(NCoq_Program_Program)
= 884094af805aa9dcdfb5126f20bd895e ocaml(NCoq_Program_Subset)
= cbc520001d2dd3f5d9bd348ac3e6f7d6 ocaml(NCoq_Program_Syntax)
= aa8772a593985507aa30ce70670dccf5 ocaml(NCoq_Program_Tactics)
= 30ebc57c545c76b1da7f7b9bdc82e2a2 ocaml(NCoq_Program_Utils)
= 834bc41fded386cbcee844a200dd4f83 ocaml(NCoq_Program_Wf)
= 3163176193e5b06f2f3fb0720dd64423 ocaml(NCoq_QArith_QArith)
= 4fcf743fb695aeb5b1b6af244c0a814f ocaml(NCoq_QArith_QArith_base)
= 13e3e907bbb305f83084b79c9c67ee51 ocaml(NCoq_QArith_QOrderedType)
= d76f5466f08fe0973b1bc57de3ce0bfa ocaml(NCoq_QArith_Qabs)
= a2184d311aa1acfade66f8a63ce1bf73 ocaml(NCoq_QArith_Qcabs)
= 4a1afbcf8bde66e8a1b341b25b84f6fa ocaml(NCoq_QArith_Qcanon)
= 332088bb6dd54ae5ea9ae88b45d9502f ocaml(NCoq_QArith_Qfield)
= 706d0cdae0f27f51b0f364bc61de166a ocaml(NCoq_QArith_Qminmax)
= 4db7af34513a5dd65776e4a27796d0ad ocaml(NCoq_QArith_Qpower)
= d96f928022304a93daaf6ba327d4acf8 ocaml(NCoq_QArith_Qreals)
= 2a363df47677d2989d0e7db3f0f42f2f ocaml(NCoq_QArith_Qreduction)
= 7ca75e87c566a7a7ad911a596cd7f076 ocaml(NCoq_QArith_Qring)
= ffc3a48b9618bf9ed5cd802f337adf13 ocaml(NCoq_QArith_Qround)
= 275fc85502e01ff931ca78dfe0656cd4 ocaml(NCoq_Reals_Abstract_ConstructiveAbs)
= aa794fdeb1e42cff14bf9e00b6f18118 ocaml(NCoq_Reals_Abstract_ConstructiveLUB)
= b04123922ccee8996012e9146e9d35a8 ocaml(NCoq_Reals_Abstract_ConstructiveLimits)
= 0666e3287c29b68efc11350d7d70e20f ocaml(NCoq_Reals_Abstract_ConstructiveMinMax)
= 1751497620c8edfc2ef940de31610bc6 ocaml(NCoq_Reals_Abstract_ConstructivePower)
= b93f388bc8e00af4d6547b32d00901ca ocaml(NCoq_Reals_Abstract_ConstructiveReals)
= fb0d1aae599231c6e9639f49ea5a78fb ocaml(NCoq_Reals_Abstract_ConstructiveRealsMorphisms)
= baae0ef605a8a5c2766aa1744a5574ab ocaml(NCoq_Reals_Abstract_ConstructiveSum)
= bd621c0797eefa33a2ba3ac492e59f2c ocaml(NCoq_Reals_Alembert)
= 3bf6437825002a96f96e89ec617d0dcc ocaml(NCoq_Reals_AltSeries)
= 83deacbe43d005dd469a523784c7c467 ocaml(NCoq_Reals_ArithProp)
= e6dd607193530a15c60f40c3bb5ec2c9 ocaml(NCoq_Reals_Binomial)
= 7cc945974408c2fca7259c4ff0617449 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyAbs)
= 05cdd62010014222a803e745ec5e3513 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals)
= 7b510e1b8cd5f31ca30caa209ffaf040 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult)
= c8bc44e493274fdc1adf8061d31f63f0 ocaml(NCoq_Reals_Cauchy_ConstructiveExtra)
= eb1f2a401fa225910467cbb179008751 ocaml(NCoq_Reals_Cauchy_ConstructiveRcomplete)
= ab6d8158f5d2b128be7d1e19807a8b46 ocaml(NCoq_Reals_Cauchy_PosExtra)
= 33aee1bf52f94ddce9f6c701ed1b50d6 ocaml(NCoq_Reals_Cauchy_QExtra)
= 706b74755a1481be8439f25763c3725c ocaml(NCoq_Reals_Cauchy_prod)
= d791e4893542b9b7589ea0477850d08d ocaml(NCoq_Reals_ClassicalConstructiveReals)
= 9f6f054b44d5783dfeff190753d86e6f ocaml(NCoq_Reals_ClassicalDedekindReals)
= 9ec2a27689ad0ea5139104d356fe2182 ocaml(NCoq_Reals_Cos_plus)
= b2fab4124c067a1281999ffa696b4cfb ocaml(NCoq_Reals_Cos_rel)
= 9e16bc564dfc5b0d488bfd3e4df54040 ocaml(NCoq_Reals_DiscrR)
= a1330cf8e9a469d68befff9cc3f42a71 ocaml(NCoq_Reals_Exp_prop)
= 8a0059ee5aa3d712741aafeb323b4ff9 ocaml(NCoq_Reals_Integration)
= e7361d4b556d7cf4e90e3fd9aadc293a ocaml(NCoq_Reals_MVT)
= 73f9d294bb047013965fb495c70135e5 ocaml(NCoq_Reals_Machin)
= a978065fedd7e6297f35b69a37f7bb66 ocaml(NCoq_Reals_NewtonInt)
= c512f507b601e016105df7aa9421a167 ocaml(NCoq_Reals_PSeries_reg)
= b4103b25ee590056c94c3f0032c68a19 ocaml(NCoq_Reals_PartSum)
= 118b37e0d4458879243ea0cf5a6aaa74 ocaml(NCoq_Reals_RIneq)
= 50af04db9bf914368fb957cc85fdacb0 ocaml(NCoq_Reals_RList)
= 570277d037b0d50aa892ab4f8df353f6 ocaml(NCoq_Reals_ROrderedType)
= ce512091a911bebaa444e8ed3eb0610f ocaml(NCoq_Reals_R_Ifp)
= 7278ecb46c23dc43bade431e820747be ocaml(NCoq_Reals_R_sqr)
= 7c68a8177547bd1f3d2a24dd520b575a ocaml(NCoq_Reals_R_sqrt)
= 10da9d4c40276f9aeac3de948afbe4e1 ocaml(NCoq_Reals_Ranalysis)
= 30c0b532d0ad751467a89cff0ac01b9f ocaml(NCoq_Reals_Ranalysis1)
= 2034c2fa2ac1fda26fe9404fa0e71ebf ocaml(NCoq_Reals_Ranalysis2)
= f99ff08b2593bf399d39537167ab561e ocaml(NCoq_Reals_Ranalysis3)
= 5b7c05fef16e241546d0f9cddb5aebf6 ocaml(NCoq_Reals_Ranalysis4)
= 8e1bb04d41a378155c06a8d469ff71d7 ocaml(NCoq_Reals_Ranalysis5)
= f58609c2baf6de7eaff8adf8f9d01115 ocaml(NCoq_Reals_Ranalysis_reg)
= dfc9f0592743bb41384e960410a92d0f ocaml(NCoq_Reals_Ratan)
= 57db10cb6c048406738751134bed8f57 ocaml(NCoq_Reals_Raxioms)
= ef01e77a0f8ba83f69ac35429a9d2cb2 ocaml(NCoq_Reals_Rbase)
= b0ccd7c3ee2e625be2c337b3a7b0139e ocaml(NCoq_Reals_Rbasic_fun)
= 8f1f56a380dd0186250528383961218c ocaml(NCoq_Reals_Rcomplete)
= edcffca6cffd1a5625b0332e96f629cd ocaml(NCoq_Reals_Rdefinitions)
= 6df977f9cc9ca0e90b20671925307a55 ocaml(NCoq_Reals_Rderiv)
= 1185aec5945896c71039d974d841658f ocaml(NCoq_Reals_Reals)
= 56d35e592bc110754aeb2ae506ec1866 ocaml(NCoq_Reals_Rfunctions)
= 05532a2532e15fe92f93089b1aa80f26 ocaml(NCoq_Reals_Rgeom)
= 16ebae5b36c206cfd4887c373fde6c97 ocaml(NCoq_Reals_RiemannInt)
= 6aaf58c8672f8ac4e9bcd23b2eabb8b3 ocaml(NCoq_Reals_RiemannInt_SF)
= aa9a223def42665e2e27bcfae59d042f ocaml(NCoq_Reals_Rlimit)
= ab49492e200ae03660beeaadb584a84d ocaml(NCoq_Reals_Rlogic)
= 8cd487150e6d41f0f4b9662d13387aad ocaml(NCoq_Reals_Rminmax)
= ed5398f03390306ffb4d5a073a7d4bc9 ocaml(NCoq_Reals_Rpow_def)
= 271353e4557931dc792c4eef3727bde6 ocaml(NCoq_Reals_Rpower)
= 087884572ef1f587fe7545392c3c594d ocaml(NCoq_Reals_Rprod)
= b5f68078ed93c333e1cb75ccf1a86d9b ocaml(NCoq_Reals_Rregisternames)
= cfa622f91146c34d952b76dbabe65961 ocaml(NCoq_Reals_Rseries)
= f74c623e91f39f0437f2817569d826c6 ocaml(NCoq_Reals_Rsigma)
= 550a37f43b8210a23da8d305167a2aaa ocaml(NCoq_Reals_Rsqrt_def)
= 28966e396930bfe5d9bd0ce4f249baa7 ocaml(NCoq_Reals_Rtopology)
= 4f724dc36d376ed42791ea0e4e767b58 ocaml(NCoq_Reals_Rtrigo)
= 6ab758f2a0c0b2441682377e21fe7d0b ocaml(NCoq_Reals_Rtrigo1)
= a692260dbf5efa4034cf623f5b8d21f7 ocaml(NCoq_Reals_Rtrigo_alt)
= dd9675d8742b231fb0a1dac1294b62c2 ocaml(NCoq_Reals_Rtrigo_calc)
= d5df5cd7858823627e0032404dde6688 ocaml(NCoq_Reals_Rtrigo_def)
= bfb85c9c998d369356535275a50fe6a2 ocaml(NCoq_Reals_Rtrigo_facts)
= 79007b47d4df2031b6637fdfa61ece9b ocaml(NCoq_Reals_Rtrigo_fun)
= 49583e36729900844cc27221a660ee67 ocaml(NCoq_Reals_Rtrigo_reg)
= 4c1c6626e5082242ab8d99a95ea35dd8 ocaml(NCoq_Reals_Runcountable)
= 682f39f142ad04528d415d7ae508263c ocaml(NCoq_Reals_SeqProp)
= 4ac333cb3b061c63b48229b87c4b5a08 ocaml(NCoq_Reals_SeqSeries)
= 0740e06844a14f604b25662c6a192cec ocaml(NCoq_Reals_SplitAbsolu)
= e58dc169d5522c6d5217ae7185a972e0 ocaml(NCoq_Reals_SplitRmult)
= 0a7c83aeb49b3c5731481ca5428b8277 ocaml(NCoq_Reals_Sqrt_reg)
= 761fdca214af89635a9e8bab7e89b04b ocaml(NCoq_Relations_Operators_Properties)
= ac7c54de55154e1e6fa55367d66f6f11 ocaml(NCoq_Relations_Relation_Definitions)
= 4314b9fa72624b8bae2ba94c5819da64 ocaml(NCoq_Relations_Relation_Operators)
= e77d2ccc9a70544a87e1b6805bcb4c15 ocaml(NCoq_Relations_Relations)
= f61ae89f5ac94810e7c9157e439f6c1e ocaml(NCoq_Setoids_Setoid)
= 5a76d6a68162988408ac8451f05990d4 ocaml(NCoq_Sets_Classical_sets)
= 01dc3f3f0a6465d421d944a17ae35269 ocaml(NCoq_Sets_Constructive_sets)
= c6d92f7253dc11bc188940a9aeeab627 ocaml(NCoq_Sets_Cpo)
= 745bc091190d02d374008c5f44b9a411 ocaml(NCoq_Sets_Ensembles)
= 5fb42b89f2efaee3b7248c78ba67cc6e ocaml(NCoq_Sets_Finite_sets)
= bcfe4493b79521beec9dcf07b3a6fbbe ocaml(NCoq_Sets_Finite_sets_facts)
= 561a89763451a7ac2c3aa033f85097ad ocaml(NCoq_Sets_Image)
= 91f18388196b20b5a2481a57c81e45bd ocaml(NCoq_Sets_Infinite_sets)
= 4395d5f0930301b55314d364b9384766 ocaml(NCoq_Sets_Integers)
= 3075ea1da5b2df30d24cc1af7fa06aa3 ocaml(NCoq_Sets_Multiset)
= 2c3ae003f7f4e46db1a942f3c8f22410 ocaml(NCoq_Sets_Partial_Order)
= 7eadef622759863553b1ffed681d071d ocaml(NCoq_Sets_Permut)
= c84c35409a61cf6e33bc3fd265ff1545 ocaml(NCoq_Sets_Powerset)
= bb440404070fe6ceef946405b742b51b ocaml(NCoq_Sets_Powerset_Classical_facts)
= 80883d3627cdf934b3a95e474e7e0350 ocaml(NCoq_Sets_Powerset_facts)
= ea92e6db84c4b6d089b8e7c32889143a ocaml(NCoq_Sets_Relations_1)
= ccf75cf5d24a04f6ce011820113b79a7 ocaml(NCoq_Sets_Relations_1_facts)
= 4ab77988c61b35d83627a99ea789908a ocaml(NCoq_Sets_Relations_2)
= 9526b7f1a6f1e1595bddc9dde14688b2 ocaml(NCoq_Sets_Relations_2_facts)
= e3974c4b0681af38c99d3fe544847900 ocaml(NCoq_Sets_Relations_3)
= 00c1a3d2709c3b17ee53ef2a8f91cc17 ocaml(NCoq_Sets_Relations_3_facts)
= 17d8bb70c3a3c299923460adc542fb1a ocaml(NCoq_Sets_Uniset)
= 0de8f9b8d816898fe271da0a9155fbd1 ocaml(NCoq_Sorting_CPermutation)
= 131b8edf5527c5bf7104697ef53e09ee ocaml(NCoq_Sorting_Heap)
= 6224da954ef772e972cb5505441426d2 ocaml(NCoq_Sorting_Mergesort)
= fb6e6b7b5504a56dffe608e73fba14da ocaml(NCoq_Sorting_PermutEq)
= e92fdd02a695b0fc3ad9fc9ff8102706 ocaml(NCoq_Sorting_PermutSetoid)
= 895bda70641ecaf9c9b053f37c043cb7 ocaml(NCoq_Sorting_Permutation)
= 3b2c9646714f4d3d6bfd4f4859c3d0f2 ocaml(NCoq_Sorting_Sorted)
= fa75fab38df5a43005e230df69894749 ocaml(NCoq_Sorting_Sorting)
= f6e8f510a0b780475c2717e0eb7e8f7c ocaml(NCoq_Strings_Ascii)
= 9f07ebc432ff5605470533933689bb73 ocaml(NCoq_Strings_BinaryString)
= 38994b67cd84377d511a300901488580 ocaml(NCoq_Strings_Byte)
= 5a5dcebeb05ff6b04ca1bf3d16c4e00d ocaml(NCoq_Strings_ByteVector)
= 12928e1bed137ed20571051d673500e8 ocaml(NCoq_Strings_HexString)
= 6d6a3b309078f7c287a8faaa62f0aa40 ocaml(NCoq_Strings_OctalString)
= 7330634ed4003fa807510c2e4d7dd0e6 ocaml(NCoq_Strings_String)
= 5f4546e1949825daec25b96889ec28e8 ocaml(NCoq_Structures_DecidableType)
= 7b75141c767efd672591f31f11ea6b78 ocaml(NCoq_Structures_DecidableTypeEx)
= a35f9cad08175ccc9c1861ccb01dbacd ocaml(NCoq_Structures_Equalities)
= 75d2f67eba21b6b2452a6cedd69fe12f ocaml(NCoq_Structures_EqualitiesFacts)
= ab7add524e984f556fe15e5fd3e46013 ocaml(NCoq_Structures_GenericMinMax)
= 03ff7cae90e6f65ec444a5485eddd3f4 ocaml(NCoq_Structures_OrderedType)
= d940e893acef17d6252495c07f9e0bf5 ocaml(NCoq_Structures_OrderedTypeAlt)
= 81db0c3153af631364869389c4377354 ocaml(NCoq_Structures_OrderedTypeEx)
= f01a2734df272aba2e3aaf146af1089d ocaml(NCoq_Structures_Orders)
= c8c9c1bb95c5aa578e55aacb4cfa61b6 ocaml(NCoq_Structures_OrdersAlt)
= 944906e8457723e45f4b7202550d5601 ocaml(NCoq_Structures_OrdersEx)
= c6f650c597e460386c8a355c1fb8e6b8 ocaml(NCoq_Structures_OrdersFacts)
= 1c449633961e33bd646263bce5dfd7b8 ocaml(NCoq_Structures_OrdersLists)
= b4a592883b667daf1534538003f4f02d ocaml(NCoq_Structures_OrdersTac)
= 29f605c063b634677ca6849262234787 ocaml(NCoq_Unicode_Utf8)
= 8b562e049adafbf32facfd5540d1c4b4 ocaml(NCoq_Unicode_Utf8_core)
= fc28874d867992839909769c445cde96 ocaml(NCoq_Vectors_Fin)
= becb70c1d6d6355dabbf7f1150a1204f ocaml(NCoq_Vectors_Vector)
= 2eb2ce5432480cd96b0c9575e2b5400f ocaml(NCoq_Vectors_VectorDef)
= 7e1444ecbaf8216d56d12a63e67fb6f0 ocaml(NCoq_Vectors_VectorEq)
= c42579eb8a57b42d41826c6c1756a9e5 ocaml(NCoq_Vectors_VectorSpec)
= 27aaae56f693b01919ea5e40912a14fe ocaml(NCoq_Wellfounded_Disjoint_Union)
= da1cd697f5192989add8079a5d6daf96 ocaml(NCoq_Wellfounded_Inclusion)
= 388e390f6729f83561f78909da844da2 ocaml(NCoq_Wellfounded_Inverse_Image)
= c6f4e5ac7bb33abdcb0a91bcfbe2b567 ocaml(NCoq_Wellfounded_Lexicographic_Exponentiation)
= bbe5446da8f2e693366cda98e3d058d8 ocaml(NCoq_Wellfounded_Lexicographic_Product)
= 1c499efad808c0f022a70efdc8dae8b0 ocaml(NCoq_Wellfounded_Transitive_Closure)
= d9851f2b00c0736b387aa26520426a92 ocaml(NCoq_Wellfounded_Union)
= af237d92b26b5a8d5a1935736cb2438c ocaml(NCoq_Wellfounded_Well_Ordering)
= bb9b9d9471abf451c84a6fd404632f57 ocaml(NCoq_Wellfounded_Wellfounded)
= a6355607a6aec47df884d02e09314e4f ocaml(NCoq_ZArith_BinInt)
= 87e7ef8712a02a67ec9ae27e1680ee70 ocaml(NCoq_ZArith_BinIntDef)
= 53dc130d49192a6599fccaaeb6628a57 ocaml(NCoq_ZArith_Int)
= 8071664fef6bf1fc859473d755918ce3 ocaml(NCoq_ZArith_Wf_Z)
= 47f49591290370ac688874c87f1dd45e ocaml(NCoq_ZArith_ZArith)
= fc89fd03f4ce0df564fdfabb9d91168d ocaml(NCoq_ZArith_ZArith_base)
= 48ed3be92b393f44ef814ef7217b8452 ocaml(NCoq_ZArith_ZArith_dec)
= 8018ed1f9f11e289bb942adb5607a90d ocaml(NCoq_ZArith_Zabs)
= 0780b0ab8a7dd60117d04ce4148ecd41 ocaml(NCoq_ZArith_Zbool)
= 09441b1e1737a5219b89605f8fda0269 ocaml(NCoq_ZArith_Zcompare)
= 86a384f24a2448d2be3121eb95516b4b ocaml(NCoq_ZArith_Zcomplements)
= 28e152f2c693216295bfc23b168a73a8 ocaml(NCoq_ZArith_Zdigits)
= 3fabe6f5498fad50a0f7d67116804277 ocaml(NCoq_ZArith_Zdiv)
= c3174f3440956b1b75dee1a713edc12c ocaml(NCoq_ZArith_Zeuclid)
= a030e2000395803d4d23b612d9a79b70 ocaml(NCoq_ZArith_Zeven)
= b88effb1402ab90fffa057d00e647535 ocaml(NCoq_ZArith_Zgcd_alt)
= 0d0912775b651290ce0059f65d21dd3e ocaml(NCoq_ZArith_Zhints)
= 761e793317934ea7734367177cae90a7 ocaml(NCoq_ZArith_Zmax)
= f179290da90ae09c85f4230aad4ed71d ocaml(NCoq_ZArith_Zmin)
= d9706f585a0a1757e958d28868aa9a46 ocaml(NCoq_ZArith_Zminmax)
= 223a9d3bb5970ce31c3d9d290272401b ocaml(NCoq_ZArith_Zmisc)
= 94da1a4df208ddb46df1700004658560 ocaml(NCoq_ZArith_Znat)
= b3ede76bd3caedd60df27d07f2eb58f8 ocaml(NCoq_ZArith_Znumtheory)
= 91a0eda56c8beb7c6644252da846d0f5 ocaml(NCoq_ZArith_Zorder)
= ddbb8ea8d259fbfef824e0cadc6457bb ocaml(NCoq_ZArith_Zpow_alt)
= 555df0259d2a27ba75a367670d9dc196 ocaml(NCoq_ZArith_Zpow_def)
= dfe0e36cd1cd4524238ffbc8e2b9568b ocaml(NCoq_ZArith_Zpow_facts)
= 7b9d7348df09e815db99d60e29c11a6f ocaml(NCoq_ZArith_Zpower)
= f967436748d83e6698321c9159d7dc7d ocaml(NCoq_ZArith_Zquot)
= 2b3d24a6a822fbf209e0773b8dce2594 ocaml(NCoq_ZArith_Zwf)
= 1e475a3479159af974736e4e45a561d7 ocaml(NCoq_ZArith_auxiliary)
= 094b035a8d0234a2b1b90b07f725d328 ocaml(NCoq_btauto_Algebra)
= 5a17573fd1fb17c7774c6cf25955ec22 ocaml(NCoq_btauto_Btauto)
= c35b80e78192118385b920e2e6d1125b ocaml(NCoq_btauto_Reflect)
= df103e62cb694de3d767cd6a94bcb4c3 ocaml(NCoq_derive_Derive)
= e96a94b2561d043e9183345028159ed0 ocaml(NCoq_extraction_ExtrHaskellBasic)
= 50f017db441b69bdc07af1b416d49603 ocaml(NCoq_extraction_ExtrHaskellNatInt)
= cfa59502f2ecc5784b18f8193d4f31ce ocaml(NCoq_extraction_ExtrHaskellNatInteger)
= 3e4964bf4b4e59a29d4debf27f3072d2 ocaml(NCoq_extraction_ExtrHaskellNatNum)
= 8e7c78780fee6db3e1d2474b33386064 ocaml(NCoq_extraction_ExtrHaskellString)
= 33f3f0592bd153e49c73bbcd43cc8306 ocaml(NCoq_extraction_ExtrHaskellZInt)
= 9fd5bfe65d05d07c625b4fba21385fab ocaml(NCoq_extraction_ExtrHaskellZInteger)
= 4013327ceaf7deb69d6b05187644c5ce ocaml(NCoq_extraction_ExtrHaskellZNum)
= 22d46c3c80795fd6650681b2accb1a3f ocaml(NCoq_extraction_ExtrOCamlFloats)
= d602c6a33ec976df53a9b22dc071543c ocaml(NCoq_extraction_ExtrOCamlInt63)
= b6bce67d7e3d9c96f0e22e176f433260 ocaml(NCoq_extraction_ExtrOCamlPArray)
= 068baecdab3d63121e9e6861d826633c ocaml(NCoq_extraction_ExtrOcamlBasic)
= 40a770831e2d38c4e65296fc326f9c4e ocaml(NCoq_extraction_ExtrOcamlChar)
= 102cb9a6228b14462614114a314f88bf ocaml(NCoq_extraction_ExtrOcamlIntConv)
= d03a24047447260b2add2e5d33f67b85 ocaml(NCoq_extraction_ExtrOcamlNatBigInt)
= 8aaad9754854fdf6932a4151beb8b164 ocaml(NCoq_extraction_ExtrOcamlNatInt)
= 440a45d59731bd98cd38eedefafd67aa ocaml(NCoq_extraction_ExtrOcamlNativeString)
= 7af11c60555e85f5814f592750f0a776 ocaml(NCoq_extraction_ExtrOcamlString)
= 781d88f181e5d651c1cc6b482a39f273 ocaml(NCoq_extraction_ExtrOcamlZBigInt)
= 7b667cfd6adc456570813099adb3de4e ocaml(NCoq_extraction_ExtrOcamlZInt)
= 33a58b8229eb89fef649c239d0974398 ocaml(NCoq_extraction_Extraction)
= a8812e8878eaa6d96dc6eebe7e40fb4c ocaml(NCoq_funind_FunInd)
= 61ae7d7b5e87c5f7f2b659768a6257a7 ocaml(NCoq_funind_Recdef)
= ebaa97027d4111cdc11426b07c2648c9 ocaml(NCoq_micromega_DeclConstant)
= 677cd180125879f0a871380b108d9d31 ocaml(NCoq_micromega_Env)
= e4ba3dce01fa2eb1f8995c3beb5640a2 ocaml(NCoq_micromega_EnvRing)
= f40bd7b51ab2223ac11c9bfb05e6be38 ocaml(NCoq_micromega_Fourier)
= 1a2e7b0ad9a4aa64b2ea9154160fb13e ocaml(NCoq_micromega_Fourier_util)
= 67bb214483732c63914d1db76dcc58f7 ocaml(NCoq_micromega_Lia)
= 10b86e7a7878c0a30e8d9f6c91b440d5 ocaml(NCoq_micromega_Lqa)
= 00890c610ea15947e3e44bc0de67380c ocaml(NCoq_micromega_Lra)
= 650f413a1d8298c4d7cca57692cbb02c ocaml(NCoq_micromega_MExtraction)
= 6450958e5d7a96ee4611962a07d62464 ocaml(NCoq_micromega_OrderedRing)
= 24b702647af4241630f5fc55e3bfb1a5 ocaml(NCoq_micromega_Psatz)
= 9b87eef068313e6d201c8e8a52441fa3 ocaml(NCoq_micromega_QMicromega)
= 06ac78a60491a421828b078ced8eb48f ocaml(NCoq_micromega_RMicromega)
= f3ceab5694e6994f2e8ccc1038baafea ocaml(NCoq_micromega_Refl)
= 295ad2f3559ba7d540a4c7b956c9ddd9 ocaml(NCoq_micromega_RingMicromega)
= d85e530ec9a4c70ea787dc8330cb29d5 ocaml(NCoq_micromega_Tauto)
= bc502030f1320e3bdacbee2e81d3ca37 ocaml(NCoq_micromega_VarMap)
= 20c7c3e7665ce4d85defd451e94f16b3 ocaml(NCoq_micromega_ZArith_hints)
= 97035b599dfb9e07e872c82aaab92d04 ocaml(NCoq_micromega_ZCoeff)
= b7a3de96fd13593315d8ee8d2b966c9a ocaml(NCoq_micromega_ZMicromega)
= 8370504f37131cafcb6bcc8c017c56c9 ocaml(NCoq_micromega_Zify)
= 639bba45f726a9c7e66c84866ee24eac ocaml(NCoq_micromega_ZifyBool)
= 83cddc27e316865fdb365ae05ca0c87a ocaml(NCoq_micromega_ZifyClasses)
= 71d3d058857ce0a28681903f3a6aca8b ocaml(NCoq_micromega_ZifyComparison)
= 5a7db33a703f2ab8ea7f0d4a27288b1d ocaml(NCoq_micromega_ZifyInst)
= fa72dc4e0c608b1f7df5dc4413f0d24e ocaml(NCoq_micromega_ZifyN)
= 46f9856e7c827f6e6d655739c625db20 ocaml(NCoq_micromega_ZifyNat)
= e4ed6308c6820e9b2a0d7f19e4b15b67 ocaml(NCoq_micromega_ZifyPow)
= 91fbc96935395d6830520ef1d74b4829 ocaml(NCoq_micromega_ZifySint63)
= 1d042fdf404aaec53c595fc809ed9de0 ocaml(NCoq_micromega_ZifyUint63)
= b5c1a9ca32303de285345b55fe718adc ocaml(NCoq_micromega_Ztac)
= 33ff7397ca68818dd6abcf14eeea1adf ocaml(NCoq_nsatz_Nsatz)
= 3f76410e6774ba2b2cf95428b292f88b ocaml(NCoq_nsatz_NsatzTactic)
= 1c636f7e24652d10e1b3098d545c59a9 ocaml(NCoq_omega_OmegaLemmas)
= efefc86a971a2cb333dc3800bb00e574 ocaml(NCoq_omega_PreOmega)
= 79c0e4e79f683210c4e5e5442d56b0be ocaml(NCoq_rtauto_Bintree)
= be3db5dfd4a0a4bd504ee4518a034604 ocaml(NCoq_rtauto_Rtauto)
= 96326193ca11fad22ee8763af17ee9bd ocaml(NCoq_setoid_ring_Algebra_syntax)
= 126ff3bb4e412c642cbca471bb3568aa ocaml(NCoq_setoid_ring_ArithRing)
= 38f5dbc2bedbf3742d064c8463058f50 ocaml(NCoq_setoid_ring_BinList)
= 33d706f4d2de31749dbb73d409cc4ae9 ocaml(NCoq_setoid_ring_Cring)
= 55e28a18cf29e8fb8abed0fe8c3a70c2 ocaml(NCoq_setoid_ring_Field)
= 6486b547e50be2af5b9514781ae77ba5 ocaml(NCoq_setoid_ring_Field_tac)
= 8fa9b85239cdcdb778730cc4931a81c4 ocaml(NCoq_setoid_ring_Field_theory)
= 7e0292eb0a8fc182b327204625573700 ocaml(NCoq_setoid_ring_InitialRing)
= 84281c38dddc8e32376772d8efe28db9 ocaml(NCoq_setoid_ring_Integral_domain)
= e54d251dd78e4b9af5c006ae53916a1a ocaml(NCoq_setoid_ring_NArithRing)
= 817d761eea7bda0006043916ab3e7a1f ocaml(NCoq_setoid_ring_Ncring)
= 4e6347fb2c2b0d378144326d0dcd32dd ocaml(NCoq_setoid_ring_Ncring_initial)
= 9ee55c68ccb4a996452acb1d62c849fa ocaml(NCoq_setoid_ring_Ncring_polynom)
= 527f11a1bf767b3d66683c82ab1158bb ocaml(NCoq_setoid_ring_Ncring_tac)
= 04522fb65ac38ed9998a866f6df8d554 ocaml(NCoq_setoid_ring_RealField)
= fc08b1e884df6afb155aa483bfd54c27 ocaml(NCoq_setoid_ring_Ring)
= 9f1a995dd01392d22da2153d2087a87f ocaml(NCoq_setoid_ring_Ring_base)
= f243c25c1d54e298da7d5b56aafd39d0 ocaml(NCoq_setoid_ring_Ring_polynom)
= 9e09f066298ca61839e73c68af7443a8 ocaml(NCoq_setoid_ring_Ring_tac)
= 4ad8bfe2179da4d9177ac6b283df8bf1 ocaml(NCoq_setoid_ring_Ring_theory)
= 2f012a8e00c643db71c06a890711d759 ocaml(NCoq_setoid_ring_Rings_Q)
= 67f599b5e232249036fba30b2cf07605 ocaml(NCoq_setoid_ring_Rings_R)
= 7016dd6ed338091eb3e013eeae3fde3c ocaml(NCoq_setoid_ring_Rings_Z)
= 10f271892a9dda5e3a8ed076e1f85ab8 ocaml(NCoq_setoid_ring_ZArithRing)
= 6172ed61d817e02bd674713adc136be4 ocaml(NCoq_ssr_ssrbool)
= ff4f6c6409676623e3b8a23e81435241 ocaml(NCoq_ssr_ssrclasses)
= 88f302d10c5906823c844193e96a4db8 ocaml(NCoq_ssr_ssreflect)
= a91bb1806fd42bcbf0bd757e409762ae ocaml(NCoq_ssr_ssrfun)
= cdfdd758cac166b6175c62beeb1a1caa ocaml(NCoq_ssr_ssrsetoid)
= f801b7a6dbcffcb797a2e128c88e7e13 ocaml(NCoq_ssr_ssrunder)
= cb3361b09f79a6581331254489b706f8 ocaml(NCoq_ssrmatching_ssrmatching)
= d055f769f903ecd4f29279e9adc031f9 ocaml(NLtac2_Array)
= 676cfdb90c9542f43a065fc8fa132030 ocaml(NLtac2_Bool)
= bfd4a67ad2deaa4cb654e9f3bc40eee8 ocaml(NLtac2_Char)
= f472a07e0474022cd4a06008f9d38756 ocaml(NLtac2_Constant)
= 59e0fe94765c641a9650b722d6b2f9da ocaml(NLtac2_Constr)
= 844ec21b54667812fa5f592a5faad699 ocaml(NLtac2_Constructor)
= 5ebca25a75f7f72d9c6ab6b84b42daed ocaml(NLtac2_Control)
= c8dc020a5fd0d91671aa4a5248928a85 ocaml(NLtac2_Env)
= a245d6b84ffffaed17a32dc10d968799 ocaml(NLtac2_Evar)
= 291a76e55265f4cf3d04ac9e8be20da1 ocaml(NLtac2_Float)
= 6e478241d2e6ae3f6b187d46b878e5ef ocaml(NLtac2_Fresh)
= c7dae660a508eaaeeec4ed1fcf77fbaa ocaml(NLtac2_Ident)
= a3aca4dc1e4bc2b2c6c0cfa2b648d63e ocaml(NLtac2_Ind)
= 7b151424bae2296d0c4e8ba3f729f7a8 ocaml(NLtac2_Init)
= b73838e4f5f4bf3e9cf94335c1f6ee17 ocaml(NLtac2_Int)
= 8095a30467bb5641bea4fc4438ef3ccf ocaml(NLtac2_List)
= 05e434bb6aeff020a086df5cd7ca3dba ocaml(NLtac2_Ltac1)
= 354354ccea20576a122e549d58211ac2 ocaml(NLtac2_Ltac2)
= 0dae56890cdece31d8689487c2965620 ocaml(NLtac2_Message)
= d72df32a807560d01a23af684b104af7 ocaml(NLtac2_Meta)
= de6423ce6185f1f35bd618dc9c0a842f ocaml(NLtac2_Notations)
= e5f4767c59cc4d4e764672ebbce9fcb6 ocaml(NLtac2_Option)
= 5e87befcd1271c0b787f130c50002c1a ocaml(NLtac2_Pattern)
= 721e7c1e5fefbb0868a3ef38b16af03c ocaml(NLtac2_Printf)
= d9430598eb43cbda7bf02b7e1c956149 ocaml(NLtac2_Proj)
= c200cc533da984a1b21d348a77e751a3 ocaml(NLtac2_Std)
= 30c87cc5c2ffe5753168f4b9e87dc4d3 ocaml(NLtac2_String)
= d6b75aeee0badd76c1c955f9fe9d1c80 ocaml(NLtac2_Uint63)


نحوه نصب


نصب پکیج rpm coq:

    dnf install coq-8.17.1-1.fc38.aarch64.rpm


فایل ها

مسیرها
/usr/lib64/ocaml/coq
/usr/lib64/ocaml/coq-stdlib
/usr/lib64/ocaml/coq-stdlib/META
/usr/lib64/ocaml/coq-stdlib/dune-package
/usr/lib64/ocaml/coq-stdlib/opam
/usr/lib64/ocaml/coq/META
/usr/lib64/ocaml/coq/dune-package
/usr/lib64/ocaml/coq/opam
/usr/lib64/ocaml/coq/theories
/usr/lib64/ocaml/coq/theories/Arith
/usr/lib64/ocaml/coq/theories/Arith/.coq-native
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Arith.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Arith.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Arith_base.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Arith_base.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Arith_prebase.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Arith_prebase.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Between.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Between.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Bool_nat.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Bool_nat.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Cantor.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Cantor.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Compare.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Compare.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Compare_dec.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Compare_dec.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Div2.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Div2.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_EqNat.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_EqNat.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Euclid.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Euclid.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Even.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Even.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Factorial.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Factorial.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Gt.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Gt.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Le.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Le.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Lt.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Lt.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Max.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Max.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Min.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Min.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Minus.cmi
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Minus.cmxs
/usr/lib64/ocaml/coq/theories/Arith/.coq-native/NCoq_Arith_Mult.cmi
... and 3619 more


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

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

Version 8.17.1
Build in release mode

2023-04-01

Version 8.17.0
Drop upstreamed patch for Sphinx 5 support

2023-01-24

Rebuild OCaml packages for F38

2023-01-19

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

2022-11-26

Version 8.16.1

2022-10-06

Remove the manual, which has a non-free license (bz 2132567)

2022-09-16

Version 8.16.0
Drop upstreamed patch for Sphinx 4.5 support

2022-08-15

Convert License tags to SPDX

2022-07-20

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

2022-07-19

Enable documentation build with Sphinx 5+

2022-07-19

Remove i686 support
Use new OCaml macros

2022-06-20

Rebuild for antlr4-project 4.10.1

2022-06-19

Upgrade to 8.15.2
OCaml 4.14.0 rebuild

2022-03-25

Version 8.15.1

2022-02-28

Version 8.15.0

2022-02-04

OCaml 4.13.1 rebuild to remove package notes