معرفی شرکت ها
coq-core-8.16.1-3.fc38.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Core components of the coq proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | coq-core |
| نام فایل بسته | coq-core-8.16.1-3.fc38.aarch64.rpm |
| نسخه بسته | 8.16.1 |
| انتشار بسته | 3.fc38 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Tue 24 Jan 2023 07 |
| هاست سازنده | buildvm-a64-11.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 162M |
| حجم نصب | 564.970M |
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.
This package includes the Coq core binaries, plugins, and tools, but not
the vernacular standard library.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| 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 |
نیازمندی
| مقدار | نام |
|---|---|
| - | /usr/bin/ocamlrun |
| - | /usr/bin/python3 |
| = 8.16.1-3.fc38 | coq(aarch-64) |
| - | ld-linux-aarch64.so.1()(64bit) |
| - | ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) |
| - | libc.so.6()(64bit) |
| - | libc.so.6(GLIBC_2.17)(64bit) |
| - | libc.so.6(GLIBC_2.28)(64bit) |
| - | libc.so.6(GLIBC_2.32)(64bit) |
| - | libc.so.6(GLIBC_2.33)(64bit) |
| - | libc.so.6(GLIBC_2.34)(64bit) |
| - | libgmp.so.10()(64bit) |
| - | libm.so.6()(64bit) |
| - | libm.so.6(GLIBC_2.17)(64bit) |
| - | libm.so.6(GLIBC_2.29)(64bit) |
| - | libm.so.6(GLIBC_2.35)(64bit) |
| = 420597dafb0412b0906625f65b7b43f3 | ocaml(Abbreviation) |
| = 972a6adc1672c1380e598345e9bdd66a | ocaml(Abstract) |
| = 00edc3e526b6239e9ad4c9319eaaabd5 | ocaml(AcyclicGraph) |
| = 8d780748135c7ad38292a7b3ac0f53a4 | ocaml(Arguments_renaming) |
| = df89cf26bc6d8d05b99e08a9244c612a | ocaml(Assumptions) |
| = 8659dacb0d81bcd9fbe6e6ecd05f72c0 | ocaml(AsyncTaskQueue) |
| = 9c8311d65744ff7d706db174690b46c8 | ocaml(Attributes) |
| = 18ee6df02843f71d3f910a73cc86f876 | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = f8bc48db857f8ac735085dc8aa83010e | ocaml(Autorewrite) |
| = 4e5dbc641f72c02043546e93c1ea2f6f | ocaml(Aux_file) |
| = f98827dcd70d54140f3afa5af18218b1 | ocaml(Big_int_Z) |
| = f498938c3cd8c3c430d1ecb0bf0739f4 | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = fab86dce490de64d33c82242f0ebfc65 | ocaml(Boot__Util) |
| = 9009b76733276115709ad8eaf7608140 | ocaml(Btauto_plugin) |
| = 28e0bf9327ab99d94d58094c20908409 | ocaml(Btauto_plugin__Refl_btauto) |
| = d3ea095108ca95f312ef5da1c00ad3ba | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = b49a9e05558d074ce2420f1481d80d8a | ocaml(CAst) |
| = f4378b7e6756e2d51e034a1fb622833a | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = f3bfdbcb718358cbbdf7269ef0ccc70a | ocaml(CErrors) |
| = c60c1257bafd2caf16fc08cc8a89eba6 | ocaml(CLexer) |
| = a742212da585b925999bb1e9c57f8886 | ocaml(CList) |
| = cbcf10800400dde7f75cbc0cc6a0a739 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = 98ddda2b8661651d0ac1c4d2f3adc78a | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = f53fe8692b6d16ecf125c5433c67ee1d | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 5365fec4a58da3e2d8fa2186f77d9be4 | ocaml(CamlinternalLazy) |
| = 2004005091bc8a61fe26ab15e0fb28e4 | ocaml(CamlinternalMod) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = cf7a81ae736db3f2a37cc19662f4fef6 | ocaml(Cases) |
| = 84dad22fdc339ed0e7be089e4509b7c9 | ocaml(Cbn) |
| = 948ea102091b6a8e7c4b0e1b62a3976b | ocaml(Cbv) |
| = ceb46e8aedadbdd92158dcf60a3cd0fb | ocaml(Cc_plugin) |
| = b08a94e2e4c838268631e02b8f1131d2 | ocaml(Cc_plugin__Ccalgo) |
| = 47ef5c0a56fdbc0941ce73d0046719fb | ocaml(Cc_plugin__Ccproof) |
| = 3297962af6b7bee613be9662275b2efc | ocaml(Cc_plugin__Cctac) |
| = cbf7121ffe4a7d9642468cb05ab4fa7c | ocaml(Ccompile) |
| = 43714ab5d65b526f526983060b18773a | ocaml(Class_tactics) |
| = 0849bff350169976d6661ecf8c0a0d08 | ocaml(Classes) |
| = 7166460f08eb63080256e23e5fb5c167 | ocaml(Clenv) |
| = 56c8843825713a98c2731d70e4986d59 | ocaml(Coercion) |
| = 130ca2c374c3c95f2be07233a9fcfe6e | ocaml(Coercionops) |
| = d0f9844c2e2c3352cffae437250690f5 | ocaml(ComArguments) |
| = 20cdf574510ab9eb1308952312ff33eb | ocaml(ComAssumption) |
| = 6119173fad398a6e6a12b2b62329eae3 | ocaml(ComCoercion) |
| = 5fb0e71a6ec8f102fda4d4c6dbf643d7 | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 97358d4b231f95eb872fc52abc300d7f | ocaml(ComFixpoint) |
| = ad2c813f50a0b8eb05789c4dc928c592 | ocaml(ComHints) |
| = 39f85975b25aee1b8e535e0d1d2ce9b9 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = b4baeb08b384fb166b2e11345e1e6018 | ocaml(ComProgramFixpoint) |
| = be75ce7f6093f0fde2fe33724d2f8b0e | ocaml(ComSearch) |
| = a08901eb475fd5bd26c27679d799860c | ocaml(ComTactic) |
| = f0caf68e0fd94353b2fe68f24dc84c46 | ocaml(Condition) |
| = 9ca352bce78df900bce25f5e83b3e3ec | ocaml(Constr) |
| = bc3bc25e047804b0c2146f38c8baf57e | ocaml(Constr_matching) |
| = 0a1d3ceef956f29cc7dc137ca11d7f87 | ocaml(Constrexpr) |
| = 418e616a5df5c13bfb5ca9962193d077 | ocaml(Constrexpr_ops) |
| = 5af32acadc581f65a54da5afcd5b2c2f | ocaml(Constrextern) |
| = 97b95cdbaec7eb2886396200fc429e6d | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = 17710499fc288b647d485e984107779e | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = c511194cd3d1c75d0ec51fe57d5c4b93 | ocaml(Cooking) |
| = 1f9c810a032fb9a136e70b90280eb879 | ocaml(Coq_config) |
| = 831a6f58e41b064f9a4f9156af190952 | ocaml(Coqargs) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = 2c95a5e907cb1568e1a7c1a9d070b1aa | ocaml(Coqlib) |
| = b2d2792c476702243473dae407a9a210 | ocaml(Coqloadpath) |
| = 788867ecf0c71ce995da64a7ef7e22c4 | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = 7406aac3df43f6624ef3974b517db9e6 | ocaml(Coqtop) |
| = 3c5e42d0ebc9405514b419d4f2d94f54 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = dad4dc5e90d3a1f173b8fa9529571329 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = af077788df86ae3c100cb12d0e433100 | ocaml(Declarations) |
| = 50515d5655d9fdf56b819fa36790df68 | ocaml(Declare) |
| = 42984d348ae777b60959a2725b38e9e4 | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 2e832a7a087246de5bdee9de92899c73 | ocaml(DeclareUniv) |
| = feae46dd7f816faac5d3a1d9b6695f56 | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = 703781821a9f6fa92a858580f939bd9e | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 87ebc9f2679fc769364ed6fc35137bff | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = e1a2f4f4c8caaef8118ea6369f5fe10b | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 4ab1a6a815084682e460ae95ad5ab2b6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 082355c6056f963a71a1915a1ed0d49e | ocaml(Dnet) |
| = 20e9106c0a8efd454cf20e46cba32b6c | ocaml(Dumpglob) |
| = fa3daa324553247018623840358472b5 | ocaml(Dyn) |
| = b542e5672ad42f5b838f58913ba15456 | ocaml(Dynlink) |
| = aec1ab28ede64377d193d2fc15de5e09 | ocaml(EConstr) |
| = 6370d8a19b0c9a7718fba5842ec0fd65 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 5c1aff6aa29932ef61514e54a24530a1 | ocaml(Egramml) |
| = 151e3690a55c649c629325cc812d27ea | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 72a73ac1bcf2406fcb0568e0723e2452 | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 81958cbbb97b08eb74f21205ecbe734b | ocaml(Environ) |
| = d15dc70a0dfe3c76ab3cdd6012c93856 | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = 7a649f9b216dad739e837c87f77a3af8 | ocaml(Equality) |
| = 746f3c41caf469b8602bbc0673a9de61 | ocaml(Esubst) |
| = 156cdf64bb05c4ab0c4051f998dfab52 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = a2a426819a1c9723fdb2c2630901cd62 | ocaml(Evar_refiner) |
| = 9d0ed0c25581d922599355cb62e0515e | ocaml(Evarconv) |
| = fe8ca9cf716175388b4409c03e17658c | ocaml(Evardefine) |
| = 3428df78067bc43360db82565604d135 | ocaml(Evarsolve) |
| = e498f9d920d45be1f78891569f3d02e5 | ocaml(Evarutil) |
| = 7801c47db8f2d9004d9cee2602a72d51 | ocaml(Evd) |
| = 766d613c58c5e25783f49ff1e5b36922 | ocaml(Exninfo) |
| = 8f3d3aee03298d6f7ff2c8b208ad0498 | ocaml(Extend) |
| = fdd86db306fda87185be4fa90f2a0006 | ocaml(Extraction_plugin) |
| = 2677b4316cd66d0a80bf553e65ffbafb | ocaml(Extraction_plugin__Common) |
| = 557abedb34df632c626b3974b9d9a9ff | ocaml(Extraction_plugin__Extract_env) |
| = c81d28780c6e34232924dc640b522df0 | ocaml(Extraction_plugin__Extraction) |
| = b8ba73cb9d741ac5294ec364fc550a0d | ocaml(Extraction_plugin__Haskell) |
| = 730158f16e2ad36dee9a5e318946bd84 | ocaml(Extraction_plugin__Json) |
| = d2daf1f684cf83b41f09829d7f2b7552 | ocaml(Extraction_plugin__Miniml) |
| = 974499eaadc997249cfc96f0fbfdfabc | ocaml(Extraction_plugin__Mlutil) |
| = d3d8d69f12153e4555f4e315684e046f | ocaml(Extraction_plugin__Modutil) |
| = 6f522e0e8dfc7b74d2f1e7f7e8b615b7 | ocaml(Extraction_plugin__Ocaml) |
| = 87d11cbe8ff819f3e95934c271c893ff | ocaml(Extraction_plugin__Scheme) |
| = 8d6ab3ccf270a1b95c298e39cca5f08d | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = b8e1b1bcd1fe2af0f5efe4d42aae93db | ocaml(Find_subterm) |
| = d44b73d9d87aa8a2a740a3e7f738599b | ocaml(Findlib) |
| = 974870c1e0c3303435a343893f7444e8 | ocaml(Firstorder_plugin) |
| = 9f1ced998d2a291c9071511dcf3cf813 | ocaml(Firstorder_plugin__Formula) |
| = 6bc98d9a803eae552c0af502d9a77ff4 | ocaml(Firstorder_plugin__Ground) |
| = 31ff0deb1f4bca4450e5c7708e176ded | ocaml(Firstorder_plugin__Instances) |
| = 2622dc299784d74a128775b95ca6949f | ocaml(Firstorder_plugin__Rules) |
| = 33ecc3ab0d4d8cbb72e1caccadef5bd9 | ocaml(Firstorder_plugin__Sequent) |
| = 909821ef99c0034b33c6860accc7b6c6 | ocaml(Firstorder_plugin__Unify) |
| = 6fe04213bb7f649801e5f72ab6026eb0 | ocaml(Fl_dynload) |
| = e1b1d3fe0eca562f5e9dc0e0f04eee51 | ocaml(Fl_metascanner) |
| = 2ee80556b58c28796e5020152710a0dc | ocaml(Fl_metatoken) |
| = 04c54a48fe2e7875409d82f50323d9b9 | ocaml(Fl_package_base) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 712fa5d21be885f62f4afb0c1b2e620e | ocaml(Float64) |
| = c4fcfb496ea89ff8b1f8cf244b6d40f1 | ocaml(Float64_common) |
| = 235bc69fea943bef8593f9b00b9d5d50 | ocaml(Ftactic) |
| = ac7a138ea913bafeee82c6cde006e5c3 | ocaml(Funind_plugin) |
| = ee95702eb600cfc4bdfd2317a0ca6148 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 684a088e2420f57ea5e66b9e8671d8d6 | ocaml(Funind_plugin__Functional_principles_types) |
| = b8ea43ec8dc691348a547487ab1d5c4e | ocaml(Funind_plugin__Gen_principle) |
| = cff1256359ec492c5a18194d89770f02 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 49d76c46a1599bbef803337bcd20fb58 | ocaml(Funind_plugin__Glob_termops) |
| = 1e9ba2e96a1a96bdae8f432a67cec55e | ocaml(Funind_plugin__Indfun) |
| = 64ad5650d148ff12f77940f8887cb194 | ocaml(Funind_plugin__Indfun_common) |
| = 1efeb8db04eb63d1025e5bba98d4c414 | ocaml(Funind_plugin__Invfun) |
| = 8c390ac5f06d4db94222865a6ceb7c5c | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 92a3d7f9235e02802469398f948d5c3d | ocaml(G_proofs) |
| = e54acbe7e71d10bf02c8c46d44b80e28 | ocaml(G_toplevel) |
| = 9ea5b298211a2aa2e102c9660e5bbe90 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = f9c42c5b2c5681eaf7e0e49808e93ddd | ocaml(Genintern) |
| = 3425ad20575082d95c850c333be60921 | ocaml(Geninterp) |
| = 092559a8daae9547da5b338d63d62f84 | ocaml(Genprint) |
| = 626bb52775c1748e2c3bffbc6b812083 | ocaml(Genredexpr) |
| = d745ee6d77006ea2b750c1b41da66134 | ocaml(GlobEnv) |
| = 72974471aa15f3cca820654475d61f32 | ocaml(Glob_ops) |
| = 4533a1278fddf471cfcbda9e5b5232db | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 0cde525ff2938a030d830223839482ec | ocaml(Globnames) |
| = 6c36abc34e3c0219300bf334533445bf | ocaml(Goal) |
| = 5303e7040d3cbac08b6a3602be100ecd | ocaml(Goal_select) |
| = 532e5d7e6f0744645df21a2de260a413 | ocaml(Goptions) |
| = c4cb68462c40a1ed4d57b1221c3328b8 | ocaml(Gramlib) |
| = cceadee5ba8287671304df971ae88da1 | ocaml(Gramlib__Gramext) |
| = 5f1a768cb2e6988d339c385f733c0143 | ocaml(Gramlib__Grammar) |
| = b8133aac91b79d4ad41ed01ab52880da | ocaml(Gramlib__Plexing) |
| = 46d58cc9b563a841672729abe6d0cad1 | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = ae839d8ae1693169aceb1c2e64abd9c1 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 76a1b67e644044e04312020e7efed39d | ocaml(Himsg) |
| = 3a9a0ec6a732148db08f2b90c9dbe88e | ocaml(Hints) |
| = 7aa5f74eebdc7c41fdbb35877a0c8346 | ocaml(Hipattern) |
| = afc10af2a433f78a0df71272ef5bb0eb | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = df2b410f42f3aba42107bfd927a4c601 | ocaml(Impargs) |
| = 6e4f1428b681732de1c97c5a9b817d87 | ocaml(Implicit_quantifiers) |
| = 7fd0a95867733a6f1f332c3b6afe4c29 | ocaml(IndTyping) |
| = 4c7455db4b1d8ad88f5f4c8bf6402af2 | ocaml(Ind_tables) |
| = bee3595fe637a02a7d8e46aa6ba68294 | ocaml(Indrec) |
| = a3255fb7501d600a4ec4e32942189de5 | ocaml(Indschemes) |
| = dd582593e5a1ba206cddcf2923655798 | ocaml(Indtypes) |
| = b086ff05d829c607f8425835f6844df3 | ocaml(Inductive) |
| = 88feb584272b6994ff428b275bc6015c | ocaml(Inductiveops) |
| = b35aecd957a5d4de7423ee414afc357f | ocaml(InferCumulativity) |
| = c638a3a3a3350b9a3cd3aecfc1548b44 | ocaml(Int) |
| = 87df5e4766260236b23c453288e9777d | ocaml(Inv) |
| = 53b528fb167dd297bf9b2ad4fca98115 | ocaml(Keys) |
| = f9950e89686bd059defd6cda6a25c5d3 | ocaml(LStream) |
| = 64a196b7833437ec6921775c5de57961 | ocaml(Lib) |
| = 7e72e6b9f7e5a2d16c610b7149eb377c | ocaml(Libnames) |
| = 33613ae7ae8a9f294163246e5c7d4133 | ocaml(Libobject) |
| = 57e9260b34f664211989bcc3e99909b3 | ocaml(Library) |
| = 6605236b96c139e644909eb14686ccb8 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b91e1cdf8560a02599ec3b484a0faa53 | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = 13c4bebf9827283a2773b474406ee42b | ocaml(Logic) |
| = ad1c2d56a37c94474486c95b0b560584 | ocaml(Logic_monad) |
| = bb0c1877449e421d8427bb35611e5d33 | ocaml(Ltac2_plugin) |
| = ab0bb2879f762f640a390dfb5255d45e | ocaml(Ltac2_plugin__Tac2core) |
| = 32c9e1137345bb2448b1b4b2a83a6973 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 6cb71431b99a57fb690ec87a683ded3e | ocaml(Ltac2_plugin__Tac2entries) |
| = e15e0caddaaa677c501cc6483029efc7 | ocaml(Ltac2_plugin__Tac2env) |
| = b9f2befaaf66b5b7e605db0828027e76 | ocaml(Ltac2_plugin__Tac2expr) |
| = 07c71c50ed1cbf174f157a4da537d846 | ocaml(Ltac2_plugin__Tac2extffi) |
| = df35daa2225e1451b71cd0761e629d26 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 490bd474d7e72a9a8e1d9e13757c051d | ocaml(Ltac2_plugin__Tac2intern) |
| = cb36f759ba7bfa7e644f632a3fcb7fb9 | ocaml(Ltac2_plugin__Tac2interp) |
| = 54284665a2f5748fb8ac5964831cc333 | ocaml(Ltac2_plugin__Tac2match) |
| = ace63425ac98abb66d981e13a615a445 | ocaml(Ltac2_plugin__Tac2print) |
| = fd905b6c2d8af1f39001d10020d4c407 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 781aef67dfe9c5b964ef22cec74ff0a8 | ocaml(Ltac2_plugin__Tac2quote) |
| = 1c1f4a87d8754387d20e8e7c3a689127 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 3ee5b6d9a8221cdaa5271b349f0b9d65 | ocaml(Ltac2_plugin__Tac2types) |
| = bb15dbe4f28c600db9de476703ea1b94 | ocaml(Ltac_plugin) |
| = 7862b3c490d66084278f856a9a696610 | ocaml(Ltac_plugin__ComRewrite) |
| = ac7649bacfc54217b3726abd8ba2eefd | ocaml(Ltac_plugin__Evar_tactics) |
| = 32802bb44cebd4d7aa11496d2a7b89d9 | ocaml(Ltac_plugin__Extraargs) |
| = cb95f6bdce7de27f6c1dbab18b84d725 | ocaml(Ltac_plugin__G_ltac) |
| = 830affcc256498d0d01910df2b1e78d3 | ocaml(Ltac_plugin__Internals) |
| = 7d5c31c53498df384e9cf33699c13a97 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 107f9608b253eb0c2c03dd51a5c31ebd | ocaml(Ltac_plugin__Pptactic) |
| = 5f42700b3739e74db8f0006aeb46a0ec | ocaml(Ltac_plugin__Profile_ltac) |
| = 914c6f680894df96a08d1605def5b5a9 | ocaml(Ltac_plugin__Tacarg) |
| = 7843e413a27cc23687cf19b04f6d88bb | ocaml(Ltac_plugin__Taccoerce) |
| = d79565bb0bdf241fe57ffff29b9f05b5 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = db03a7b8c07c50868303ed8334ed82e0 | ocaml(Ltac_plugin__Tacexpr) |
| = 4b53cc9dcbcf64616b1cb9d81e04b5c2 | ocaml(Ltac_plugin__Tacintern) |
| = f057a4f45fb07340e0e8844b2c99392e | ocaml(Ltac_plugin__Tacinterp) |
| = f7b4e760d6387d3a44aa62f54dbb1013 | ocaml(Ltac_plugin__Tacsubst) |
| = f4e8deb826de3c96b31b19a548f1249e | ocaml(Ltac_plugin__Tactic_debug) |
| = 85267e743f7289c9af9f6e32135d91ab | ocaml(Ltac_plugin__Tactic_matching) |
| = c107412336e1c51d1f30c37e887d6b79 | ocaml(Ltac_plugin__Tactic_option) |
| = 1a5459876be0aa010ebe6bdd23c6fd37 | ocaml(Ltac_pretype) |
| = 47a92a3248e359a421627ee6c43007a1 | ocaml(Metasyntax) |
| = 477e4d683c0b40afe138ea0fb8efd814 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = 800ea6574a0deacabdc4a26c1b68d9c8 | ocaml(Micromega_plugin__Coq_micromega) |
| = f887ba302ad57cfd74ecceb54f93ca0c | ocaml(Micromega_plugin__Linsolve) |
| = f92b4cac9f443839b1fd033e90bd94b1 | ocaml(Micromega_plugin__Micromega) |
| = 124f7df6a43d90c1a1501bbf817733fa | ocaml(Micromega_plugin__Mutils) |
| = 129cfa827358628f55c4b6833ec95dba | ocaml(Micromega_plugin__NumCompat) |
| = b4ae1739c93ce13857ec58f928b2d932 | ocaml(Micromega_plugin__Persistent_cache) |
| = e8848d938f6e46de93d27011521c11d9 | ocaml(Micromega_plugin__Polynomial) |
| = 9b2002802ddabd5c4c388477615d1498 | ocaml(Micromega_plugin__Simplex) |
| = 2ec98bbf51e7cecd1ac269c30d783704 | ocaml(Micromega_plugin__Sos_lib) |
| = e78ffadbd99b0415f9ef68ce9bc030ae | ocaml(Micromega_plugin__Sos_types) |
| = 06b1789ffca7853552bd33a0e16f27d7 | ocaml(Micromega_plugin__Vect) |
| = dead541e824ffaa9f6b36a443ebdf101 | ocaml(Miscprint) |
| = 04b802c6f617661d63eb8adfe76b0100 | ocaml(Mltop) |
| = b56a185b9f7bb6f0f0f519c06bf981db | ocaml(Mod_subst) |
| = 326e1f8d63d788f9830f3d1770478bfa | ocaml(Mod_typing) |
| = 8c9ef6e6ad38e46d6187cebd47dab344 | ocaml(Modintern) |
| = 2f5106a546728c8a9dc308a95876078e | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = e7b4c98d68b9b84b256d9650ac063dab | ocaml(Mutex) |
| = 0a8addd4f715e43f63deeddff67666bc | ocaml(Namegen) |
| = 0370e4e902f299a0a716b28375cf67fb | ocaml(Nameops) |
| = 0b6c349e44c595f40356f60ca49fa766 | ocaml(Names) |
| = 939eb1b5d6f3dab8fc7aa53d76f8cd46 | ocaml(Nametab) |
| = 02dbeca2f7bfac8ee80f221d7d1bcb8a | ocaml(Nativecode) |
| = 60d8b9f9f4561c30226973b77f29c919 | ocaml(Nativeconv) |
| = 219578857e7b319faa4d145a4fa5ff68 | ocaml(Nativelambda) |
| = 7b23ee7251439aa612f59354c020ea67 | ocaml(Nativelib) |
| = 0f113430f9645d3876eba86e526ed5ea | ocaml(Nativelibrary) |
| = b6141c50b88274d770d746174ed6a19a | ocaml(Nativenorm) |
| = 151356e5f71c48ba131e257d7b5d6b0e | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = 6687290488ca913493273e35ec9140c4 | ocaml(Notation) |
| = 26cc7b8a624df72d8a961e49bbd4c685 | ocaml(Notation_gram) |
| = d0e23d53b27691b62480a8ce4af6f3da | ocaml(Notation_ops) |
| = ba7e10bd6c980ba842674b92c4fd32b8 | ocaml(Notation_term) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 1b6976b6917d803cbdf8de5f54fee594 | ocaml(Nsatz_plugin) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 1d1447b63f4059613156940faf20e246 | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 919d150c66ab68cf4c64598cc40be9c3 | ocaml(NumTok) |
| = 51ac4a03513f6ae660fff42d91271831 | ocaml(Number_string_notation_plugin) |
| = d560cc4cf07ff534da923f83caddc52d | ocaml(Number_string_notation_plugin__Number) |
| = 123d97c5745d0c1fef510f3fbdfdc3e7 | ocaml(Number_string_notation_plugin__String_notation) |
| = bf14320ff736e5a8a90a032f530c117b | ocaml(ObjFile) |
| = b1745fe14cd37c212d34eea094f1b8df | ocaml(Opaqueproof) |
| = 8abed5317fc879dbf8d6ab6b78ee9461 | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = bf0feb2b99812624585018290a94c3e7 | ocaml(Pattern) |
| = 8f99781c06995f38b81f348e933ef80a | ocaml(Patternops) |
| = 30a4ee789831680c39f99302f3402899 | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = ad5c40eeffb62d378e92846c773ae25e | ocaml(Ppconstr) |
| = c66b14a7d4dd58e29bf6b63c5c4a043a | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 701b29514a3f59ab6ac3da555ee1bbdd | ocaml(Pputils) |
| = 40d9095fab82ed95c204afc030f8ce39 | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = da011f47db15648d1921b7ee98e96149 | ocaml(Prettyp) |
| = 4f0e6bee2956221e0d19c7a4d6232f5b | ocaml(Pretype_errors) |
| = a6903cb3010cce9b1b538151878854dc | ocaml(Pretyping) |
| = 97ca1d481f50c1c9701babd2fd24fa01 | ocaml(Primred) |
| = 1508d255db0d0f15754cef32e692257a | ocaml(Printer) |
| = a149b8d341f58a9ed12d0b9640d7e7bc | ocaml(Printmod) |
| = 2624aeedf972f229030473e90e66f802 | ocaml(Program) |
| = e0acf16fbe54fc07c8509cc29dd691af | ocaml(Proof) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 5b4a14e9ee97f49f21641d79a760a9fe | ocaml(Proof_diffs) |
| = 0e6b867bb35f79d409de49d232158d61 | ocaml(Proof_using) |
| = 3d6152dfc2a51be0829e6bb46552105f | ocaml(Proofview) |
| = 7f12467494a6d7b1e7a1ad7c434aea2d | ocaml(Proofview_monad) |
| = 1851fe26b4a9ac0a8bc026b857dc4b3e | ocaml(Pvernac) |
| = 95ed12df5d619f4cf43c3f5256a0f97b | ocaml(Q) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 7c37241cff05db7ac0a1329193879e09 | ocaml(RecLemmas) |
| = 395d7268652e7b9d171d02c26be239ba | ocaml(Record) |
| = 358ce56fbaf02036c310a0dc80dceee1 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 3523f631320a31383fd961d753a8e437 | ocaml(Reduction) |
| = 589f659dcd35d95083d18864277f803b | ocaml(Reductionops) |
| = 38cbc3a1c87f430244465ba02a3f670e | ocaml(Refine) |
| = 0dc4460587e822b7317f3d06ba93ac1a | ocaml(Relevanceops) |
| = 5c7a8afa4a7a2efc34a56915ea56d9f8 | ocaml(Reserve) |
| = 25482df7bf0c95ee7a7420fdc7b077ff | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 903d124e51a22bd2a47af1c46401859f | ocaml(Retyping) |
| = 053c386ec826f0c3cc95bbc663b2e66a | ocaml(Rewrite) |
| = 59777bc023dc2f779226cc57a4f18948 | ocaml(Ring_plugin) |
| = 8dec7d911b8640ad844c40a9506a5a62 | ocaml(Ring_plugin__Ring) |
| = 8bf8f13d56dd035d227a563725c6b9ba | ocaml(Ring_plugin__Ring_ast) |
| = 1ccac922ee6c453c5b78275edf751850 | ocaml(Rtauto_plugin) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 592092c6dc6e41e93c33f1a93a254861 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 2cfd62ffab10a60ce3b0d9eae3e38881 | ocaml(Safe_typing) |
| = 663f18873ffa3dc0d069b7fe4d96b45b | ocaml(Search) |
| = 68f3c3d655a9890cf3b21f6b34e3160c | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = c896fb1b0fea255b7a392a0203129c74 | ocaml(Ssreflect_plugin) |
| = c59335353fd407813ec94554fd1fd19d | ocaml(Ssreflect_plugin__Ssrast) |
| = 5f05e161434831370e9fffc618b053aa | ocaml(Ssreflect_plugin__Ssrbwd) |
| = cf646a48644671d515aa1bbe3d475ba2 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 4338e5d8944055936152bb3409cb07ca | ocaml(Ssreflect_plugin__Ssrelim) |
| = d8020755c5f13cd69ada8eca975bd6db | ocaml(Ssreflect_plugin__Ssrequality) |
| = c6a7de212a82cc05b53088967e27e0f9 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 0b6c89ea25f6dd09c0ef8a7be169a231 | ocaml(Ssreflect_plugin__Ssripats) |
| = c0673d4b90ef445ee20b5ae714eb5517 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = a94e7c266a7691e87b41093cc36ac4ae | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = 77c8815cedf7167ec319e5ff21e1fa81 | ocaml(Ssreflect_plugin__Ssrview) |
| = c3e1af22ac2aa8657b01523f06b2d5e9 | ocaml(Ssrmatching_plugin) |
| = 0d321e02e50644ef5eb6303576045830 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 668a23919be6745b246370aecd65f2cc | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 9919abd709603092de7b5aa43fa0e8ff | ocaml(Stdarg) |
| = 79b0e9d3b6f7fed07eb3cc2abb961b91 | ocaml(Stdlib) |
| = 622d88fad859d0d0f019e691fc4fa865 | ocaml(Stdlib__Array) |
| = 994a14f10d5ae081663b52b790ee11d3 | ocaml(Stdlib__Bigarray) |
| = 4b09c9a6d0622bbf5a3829234b481822 | ocaml(Stdlib__Buffer) |
| = 3d02c33317c0108c61e7a5eefa37519a | ocaml(Stdlib__Bytes) |
| = 62afe57b49defcc078960a68b9efbbee | ocaml(Stdlib__Char) |
| = 4555217c759e89d65daa8f682eb09b35 | ocaml(Stdlib__Complex) |
| = 61f6495d3274a42a78a63425ef892290 | ocaml(Stdlib__Digest) |
| = 26845df28d19584687a38a1ab814c3f9 | ocaml(Stdlib__Either) |
| = 85bf10913cd5901968e9c2a8e59c2cd8 | ocaml(Stdlib__Ephemeron) |
| = 3bcff250dd30a0e620fa7546882aaadf | ocaml(Stdlib__Filename) |
| = b6edb97b685819e873481fe05723c8bc | ocaml(Stdlib__Format) |
| = 115c0563d80d54e1e845b108f10caa33 | ocaml(Stdlib__Fun) |
| = c3ec15218bd26e175e6d959e216eb39a | ocaml(Stdlib__Gc) |
| = 34c0fdd524bf2a75e4d5af64a6d34401 | ocaml(Stdlib__Hashtbl) |
| = a71ea5238030770647165f659f80b1ab | ocaml(Stdlib__Int32) |
| = 0fa5587c47baf16a06837c7dedfc2518 | ocaml(Stdlib__Int64) |
| = 01430d340c028322c7247031a874e355 | ocaml(Stdlib__Lazy) |
| = c9318c276ac7e383fd682c2dd06be434 | ocaml(Stdlib__Lexing) |
| = ee222542f6f8195441543b8b399b64b9 | ocaml(Stdlib__List) |
| = 978f82916b5a172c11d2b72719d85680 | ocaml(Stdlib__Map) |
| = 182731e5f563b7657acd24ad778f3615 | ocaml(Stdlib__Marshal) |
| = 989149bf8f2ce1a89fecbc3f5f40f52c | ocaml(Stdlib__Nativeint) |
| = 25794d29f7f4018768ea900e331a2bf3 | ocaml(Stdlib__Obj) |
| = ae914d0568e8b6e482a66bbd62a4432f | ocaml(Stdlib__Printexc) |
| = bc8af6214197dc8f40eaa738a4cd6a28 | ocaml(Stdlib__Printf) |
| = b066724fe533c7b8fc9b521e37aedad8 | ocaml(Stdlib__Queue) |
| = 81e43bab9bd47bab804eb6e582306de1 | ocaml(Stdlib__Random) |
| = 5bfc827c9980349e00f2aa1f5eade58f | ocaml(Stdlib__Scanf) |
| = b63511032211eae4b567ba313cd72962 | ocaml(Stdlib__Seq) |
| = 871d2ee2167ac9e7977fa13994cf4658 | ocaml(Stdlib__Set) |
| = 30ae8c258e7fc6fb7e6370a60256d724 | ocaml(Stdlib__Stack) |
| = 510a78f010f6c530a911189d7538d002 | ocaml(Stdlib__Stream) |
| = 097838f294457ecbb61ccbcf86cc6972 | ocaml(Stdlib__String) |
| = 7726a14ce36f5c6c3abb04975cec748b | ocaml(Stdlib__Sys) |
| = c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
| = 28f276c430fdc51a3a10691d3066b26a | ocaml(Stdlib__Weak) |
| = e9771057e3147fe83744d71535a360c6 | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 514c63e7d96516ff4c601fe47900a52d | ocaml(Str) |
| = 349c9a69e789e6bd020acecb69ee10be | ocaml(Structures) |
| = d6a8dcb20483df9e8e3c73cbdee5b45f | ocaml(Subtyping) |
| = c563d6bd180e6b78f0f0ca461607f4bd | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = f589b85b22b5f00627cf4d9f6681e407 | ocaml(Tacmach) |
| = 1bcf5d6b2d87bb2d7696492a83cd30ea | ocaml(Tacred) |
| = 87cde9a3ed05f21524a5e0190cfd0bb7 | ocaml(Tacticals) |
| = 34eb6eacaec827fb614cac476b2bafa9 | ocaml(Tactics) |
| = b9e19e5a5f9b5b90dd92fc062230a5cb | ocaml(Tactypes) |
| = aa8f4685317ce8dff797fb032be373f3 | ocaml(Tauto_plugin) |
| = c1500a859572f47c5adeb740fbcebf6b | ocaml(Term) |
| = d122216f951f7e463242ade7ce397ab5 | ocaml(Term_dnet) |
| = 99f9b52aa6e2484189d2e8df6b349e8e | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = ca7a782d91f103df7414424beacad2e6 | ocaml(Termops) |
| = cbab14f62eb893a73913c276298141c9 | ocaml(Thread) |
| = d7f575ffa78825bb266417e4b337bcdb | ocaml(Tok) |
| = 9bd1f1603123496f4fab7218e670d476 | ocaml(Topfmt) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = dbaec1601de88187931d58b1545e2bc7 | ocaml(Trie) |
| = 812cf3340836e621be63fa9aa920f56c | ocaml(Tuto0_plugin) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 9cb6b709539dbad0cbe61a556c4bbd59 | ocaml(Tuto1_plugin) |
| = 9f92f909f667ba2f13875ff30e150cf3 | ocaml(Tuto1_plugin__Inspector) |
| = 13267d5660158f59c566c74059f967fa | ocaml(Tuto1_plugin__Simple_check) |
| = a268bc8964d4db75e3cae5cc1981b7f0 | ocaml(Tuto1_plugin__Simple_declare) |
| = bef62b8d37aa21dd32ec1a82174483a6 | ocaml(Tuto1_plugin__Simple_print) |
| = 117dad8dfb3fbf1d4f7967854193338f | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 0c73a52fe51cfe8d55f24c9edcd2421d | ocaml(Tuto3_plugin) |
| = d7a881140435372c64e3efa917b9cf6b | ocaml(Tuto3_plugin__Construction_game) |
| = c067205f4e2a065d2434ef90fdd94a4e | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 0c0828c2a9ff92cc716465e0013a0769 | ocaml(Type_errors) |
| = c82cf14a959ab2a132030ef8b5b5bb4c | ocaml(Typeclasses) |
| = 91fcea315f9e707674cdae735a2c33cc | ocaml(Typeclasses_errors) |
| = 44ed108471c7a7400a5fcc850ba1e0be | ocaml(Typeops) |
| = 696857366a11b930eea9840e47c39d4e | ocaml(Typing) |
| = bd28bddd5c33ca5c1a5f9f43f907e5da | ocaml(UGraph) |
| = 3ec987d0c982616ff943f71f05e2c111 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 3e22c9e8fc6924cded99cdc50b4dde0b | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = bb08182b91ec85ec72551ce13bfed01f | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = 6feb5ec642e4daf30a0944e888214cea | ocaml(Univ) |
| = c08393c720001d4601ab69c764edae38 | ocaml(UnivGen) |
| = a14b8f2bfb556a067a30c7c3edf09375 | ocaml(UnivMinim) |
| = 9f0af4e2cd7c9a6a04f181684ebd75df | ocaml(UnivNames) |
| = 0bf19edcf4c9ada1dd5cdb51d579b1fc | ocaml(UnivProblem) |
| = 2c793a58009dea74a325c5082597d844 | ocaml(UnivSubst) |
| = 84bb8ec8ae50f70acba86f5b72088b1c | ocaml(Unix) |
| = 46a1f0249bfbf29202e10de25200d4ea | ocaml(Util) |
| = 73a674179608a349a8f3d001ee037f1d | ocaml(Vars) |
| = 7cee5a6c0faacb4e9ebf86fb667ad05e | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 43ddad20b726927bcb491b9dad99dfee | ocaml(Vernac) |
| = c52eee082c33aa6b03c24069065d6b43 | ocaml(Vernac_classifier) |
| = ddcaab825bd3b96146a0d4b0ad10fd37 | ocaml(Vernacentries) |
| = 31bf27dcb0e938a20d1797f40b7144ae | ocaml(Vernacexpr) |
| = b507ea2d1a0f49d7fb3939c2f335eebe | ocaml(Vernacextend) |
| = dae6e02ea3bae9b78083a74bd7388512 | ocaml(Vernacinterp) |
| = 9b0ca758b7fe1839325d927a5994eebb | ocaml(Vernacprop) |
| = 365874fe1588a2549b04049dea924707 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = f75880ed7df49928430f842fc3ba82ae | ocaml(Vm) |
| = 88733f1084158f9273bb318495213675 | ocaml(Vmbytecodes) |
| = 76fa264acca66b07c1485aeec8bd1117 | ocaml(Vmbytegen) |
| = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 | ocaml(Vmemitcodes) |
| = 9a79aee1037366c0f07196ba545e75f5 | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = bd114711d566fec5fadf3e8314768f6b | ocaml(Vmsymtable) |
| = 6cfd8f0d13168b127ebed3d4375b15c3 | ocaml(Vmvalues) |
| = bd874b0b0dce77d32e4d24ddb2379d1c | ocaml(Vnorm) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = a71ac4a535434978287848841376388e | ocaml(Z) |
| = 61512478af51fb18cb17e36ae0122e4b | ocaml(Zify_plugin) |
| = c0c1d4967746ed66dfb1a7d6dd2730c9 | ocaml(Zify_plugin__Zify) |
| = 50e1624d927e3c61c07d070f9da916aa | ocamlx(Abbreviation) |
| = 5fac285404dbc7538b5809ebee105913 | ocamlx(Abstract) |
| = 1b145085ae1fd3f258493f2137a3e6c5 | ocamlx(AcyclicGraph) |
| = 3000d4f77c236b6658446d6e6f1a0c11 | ocamlx(Arguments_renaming) |
| = cf856408a1a7ccff4c2f9f7f51c38d70 | ocamlx(Assumptions) |
| = 871fd95543665183fc91af3160782ec3 | ocamlx(AsyncTaskQueue) |
| = 159821230d9aace259c74afe7db644d8 | ocamlx(Attributes) |
| = 889ce0ea4b34b80dd12d32c5fda5a43e | ocamlx(Auto) |
| = a64a8b2fc185263dbd218062a3f3da2b | ocamlx(Auto_ind_decl) |
| = e14a69822138dda9030a58d6ac8976e2 | ocamlx(Autorewrite) |
| = f834fd3a997336b4bfb0a4f2e18dd824 | ocamlx(Aux_file) |
| = bb73056068d7ab79dba6b47fc43812c2 | ocamlx(Big_int_Z) |
| = 7c9c856bbcd7295ead7b9b652f0a69f0 | ocamlx(Boot__Env) |
| = 832576dfe2653aeced0df3ccf916b552 | ocamlx(Boot__Path) |
| = 07ce9c1cd0e9bf51a6f48abd44374904 | ocamlx(Boot__Usage) |
| = 5b1794f3ef993860ef8127683edb9e63 | ocamlx(Boot__Util) |
| = 492f37b7aad1f2d613420250a8eb326f | ocamlx(Btauto_plugin__Refl_btauto) |
| = e3007dad98e0df94913e28ca1f1f9d1e | ocamlx(Btermdn) |
| = 6bdacb19708dd8151c28e7c5ed7dcf63 | ocamlx(CArray) |
| = 0af0809605ac2603838a903572ae6506 | ocamlx(CAst) |
| = fefbab178eb6907301d77159ad8b053d | ocamlx(CClosure) |
| = eca8cf4a11adccbd1bb0c24bbad60228 | ocamlx(CDebug) |
| = 1937a568693350c13ffb13c56320461d | ocamlx(CEphemeron) |
| = 4341153e218f709bffcc77aed577f4d0 | ocamlx(CErrors) |
| = e39df2a3e156ab6b4ab823288efc4b85 | ocamlx(CLexer) |
| = 60f71f67a51e93007083f2dec76aef17 | ocamlx(CList) |
| = 0426e328047a42191d2412ab7f77ed15 | ocamlx(CMap) |
| = 6e6ac1878d614429ff8a0738fd6ce516 | ocamlx(CObj) |
| = 8ede82ac5f8aa6e21be1bb80e177090d | ocamlx(CPrimitives) |
| = 5c3516ef610cf9875a5d68cfd26a8421 | ocamlx(CProfile) |
| = 79babf07129194b39ae7c90cef75a6fc | ocamlx(CSet) |
| = 8ec3d7e1080b998558714b40453f4be7 | ocamlx(CString) |
| = ed505774fd414da049b9d510c56bc5cb | ocamlx(CThread) |
| = 741acea2ee4b959013ea654e0871dba6 | ocamlx(CUnix) |
| = 738a94694d455d1c3b19693175673325 | ocamlx(CWarnings) |
| = 0573444d7d158417dbd5f4f46081e73b | ocamlx(CamlinternalLazy) |
| = 6655be7904f5f055c5ec94e3fc3775ba | ocamlx(CamlinternalMod) |
| = 23847ea62a38ed4456dc785815b860b4 | ocamlx(Canonical) |
| = b7def93c5d7a716fef55ac7f7a754662 | ocamlx(Cases) |
| = cfc1abc6cf20e0d42e08d402d718043d | ocamlx(Cbn) |
| = eed840871696c4bd6fe27f999b2c0842 | ocamlx(Cbv) |
| = 0c42a49fd1656fa9e4e9f06b97ecb231 | ocamlx(Cc_plugin__Ccalgo) |
| = cd142c8063fce2e8daba5f482c85c117 | ocamlx(Cc_plugin__Ccproof) |
| = 4e32799ed9438221c6b68ca16d0120c4 | ocamlx(Cc_plugin__Cctac) |
| = 13a8e3f83d14603e066bb19a7707af19 | ocamlx(Ccompile) |
| = 586de33ce73a7adb7975c7241dbae57f | ocamlx(Class_tactics) |
| = 391a380bcb19bd9b478bdb42bfb3014a | ocamlx(Classes) |
| = 6596cd859546f31c5d0030e9f8a1c2bb | ocamlx(Clenv) |
| = 3240fec3f6ce71bbbed3a59ba3995fb8 | ocamlx(Coercion) |
| = 506650236a0366c67ba40425027c20e2 | ocamlx(Coercionops) |
| = 2dcf78bd19df8a5807abe710aeb908ea | ocamlx(ComArguments) |
| = 4f76c04c9375dc448e7fc6366cad8146 | ocamlx(ComAssumption) |
| = fc06d439dd39ca24eae09fc9589c2612 | ocamlx(ComCoercion) |
| = 44fc31b761d0ddd4fdf71550190e98e6 | ocamlx(ComDefinition) |
| = acedf9bef353ede3e0ee30d1249d97b6 | ocamlx(ComExtraDeps) |
| = b6bde10d4d858587fc0c3ac6140aeb4c | ocamlx(ComFixpoint) |
| = b01363122ea6ea1517126dc8aa58a918 | ocamlx(ComHints) |
| = 8843959c564c07be4555768bd60b753a | ocamlx(ComInductive) |
| = 6fd7f4b19fbf19b6f7ffe3f43100a06c | ocamlx(ComPrimitive) |
| = 078accf0b049961d006625d56041eb0c | ocamlx(ComProgramFixpoint) |
| = d2897c10e8b90244f55e71857b1dc1b3 | ocamlx(ComSearch) |
| = c54c4324c77a0a88aca6c936f2a95e3c | ocamlx(ComTactic) |
| = a63efe87f1c64636f7dd0ca176135334 | ocamlx(Condition) |
| = b119ab65c6d6ac282c68078d00450953 | ocamlx(Constr) |
| = 5d4cf1d8182c8eb327d67a4c0330adfe | ocamlx(Constr_matching) |
| = 0705c4a277a9c69f3cad004ac77f9fac | ocamlx(Constrexpr_ops) |
| = ee898b0d5d075e617734ebf13878f8ec | ocamlx(Constrextern) |
| = b3789ad9037e62790ecddb42fde4ed43 | ocamlx(Constrintern) |
| = 1cd375b28580e61bfae80d0806f34f54 | ocamlx(Context) |
| = 7a0c7941128ca2dec8fdb8b20395623e | ocamlx(Contradiction) |
| = e876c640b35410d1e0fd4a3cdda75c99 | ocamlx(Control) |
| = 4932872ce37f33efc17383f9a7b325f5 | ocamlx(Conv_oracle) |
| = 12f7e7e96907c7024d8742089ad3f067 | ocamlx(Cooking) |
| = ac59cff8636ca6c0f7dd589547508ced | ocamlx(Coq_config) |
| = a9086d5e31a535e7f37df70a2c662707 | ocamlx(Coqargs) |
| = d8e0d3fadb8ba6b4a2796291ccac8434 | ocamlx(Coqcargs) |
| = a79d4229af6e7006e001ed9e2e3c8a9f | ocamlx(Coqinit) |
| = 2759c1da03ee885b98aefd08f244ae03 | ocamlx(Coqlib) |
| = 92d5a40a1e0bb43b1adb25eb0da070ec | ocamlx(Coqloadpath) |
| = e51eca7b074eb32d763d6f493d1ec1fd | ocamlx(Coqloop) |
| = a021a2afa50d162decfbb2f8030f4408 | ocamlx(Coqrc) |
| = 0e8c70c801c5df1ed8f58219c5fc077a | ocamlx(Coqtop) |
| = 287e2b7f7497ac0bcffdd9d34ff6d783 | ocamlx(CoqworkmgrApi) |
| = d00b8e4cc73d9a30dafcd47f7dff0b88 | ocamlx(Core_plugins_findlib_compat) |
| = ba88c3803ac5bdb94ad0f583184a29ac | ocamlx(DAst) |
| = b5a1074f90c7f945b87b0ec72068b1b5 | ocamlx(Dag) |
| = 785da4532ffe3524ce71a17022a63610 | ocamlx(DebugHook) |
| = 858ac2b2f5a71add00aa432e3d18315d | ocamlx(Declare) |
| = ec38b31c528c0f5e92fe90ab7b658d8b | ocamlx(DeclareInd) |
| = 3116d91dbf66cf0b754043f8dbcc357b | ocamlx(DeclareScheme) |
| = da16c3efc3d4f687d5db8b5db15ce5e7 | ocamlx(DeclareUctx) |
| = 94cec3db31a71a3b9a496ff328b0fd3c | ocamlx(DeclareUniv) |
| = 5283fa061917637ce2fd793d74ecd6a7 | ocamlx(Declaremods) |
| = 9848102cf53c60bd96c21a393a40c08d | ocamlx(Declareops) |
| = 6272b7513053886ce6bb038ebaaaa40c | ocamlx(Decls) |
| = 1bda1746533bdd72657c24029481a244 | ocamlx(Deprecation) |
| = 0987996fb3b3f1a848cf4ce3dc08b761 | ocamlx(Derive_plugin__Derive) |
| = dd5869aeab08a8035a61f1879dfed844 | ocamlx(Detyping) |
| = 9e863c7141ed3283a737857120311b7f | ocamlx(Diff2) |
| = 788115664e2352641f81514c140087f8 | ocamlx(Discharge) |
| = 8519c4c234269790502654ae85517c56 | ocamlx(Dn) |
| = 8b79514f8dcfcf2550a7d3fd9cd17d57 | ocamlx(Dnet) |
| = 72b7fdea63b1ebf1017635ab97257277 | ocamlx(Dumpglob) |
| = c6577d2f700efa858e4723700885fd6c | ocamlx(Dyn) |
| = da5a27fd0813ab0940c1d2efe1e121cb | ocamlx(Dynlink) |
| = 95550843c01c2a13b50a4e8161c2af91 | ocamlx(EConstr) |
| = 56ce19edc733e34fb46ce5d74a9c9172 | ocamlx(Eauto) |
| = 7ee6fe4b5ec6b8431ca90bbf5d973771 | ocamlx(Egramcoq) |
| = 9823f51b2fa3f61a2245ab0d082b9942 | ocamlx(Egramml) |
| = fe64a801bfa55791d29191fb5d97ea1f | ocamlx(Elim) |
| = d7d609e34929e6a7e0eb2990bc5b1f26 | ocamlx(Elimschemes) |
| = 9490ccdd2bdc086fcf4ce5752838cd74 | ocamlx(Envars) |
| = 46231b11b042bc51c2ba556bb8a2ede8 | ocamlx(Environ) |
| = 64e42f7d32e2b8f9eb44efa58b0b39e2 | ocamlx(Eqdecide) |
| = 88cfba358d464c454f690f0ada8bf4c6 | ocamlx(Eqschemes) |
| = 4ad97c3619eb5c5f3f0feb97b7ab97ac | ocamlx(Equality) |
| = cb6d1020132cc85838e2889bdae99670 | ocamlx(Esubst) |
| = 1227c60ca522a44fa1ab1d554f0e9ed9 | ocamlx(Evar) |
| = 81a0912d8d0276183ea532585281d24a | ocamlx(Evar_kinds) |
| = 55f9ebe1c76af2ac5fd2f9c6f37cf1cf | ocamlx(Evar_refiner) |
| = 70e3b390111955afc99b272bc578d0de | ocamlx(Evarconv) |
| = 1ca5eabdba89ddab5c79bc81406ad344 | ocamlx(Evardefine) |
| = 8f946166b8e8acfb0b955303b45328bb | ocamlx(Evarsolve) |
| = 8c68f71bce868da1cde03ae6a4b40f9d | ocamlx(Evarutil) |
| = 6461d7164b78a9b554be3eebb7b13b0f | ocamlx(Evd) |
| = a3073e2f4c98838abc11a00c37e29271 | ocamlx(Exninfo) |
| = bc78ba4503be0b7e2059acad4bd964d9 | ocamlx(Extend) |
| = b1935136a66b8fef793d9fafe8282ad1 | ocamlx(Extraction_plugin__Common) |
| = ffd3ce21c3cea9c7579247385854ca73 | ocamlx(Extraction_plugin__Extract_env) |
| = 2d464b89e5cd6c4dd3d9058d76f502e1 | ocamlx(Extraction_plugin__Extraction) |
| = 55b5fcb37b17f9bc86b55626d0ec2e80 | ocamlx(Extraction_plugin__Haskell) |
| = 28a724beb8a635b04a1dbc748f4a5d99 | ocamlx(Extraction_plugin__Json) |
| = 429864c4a8275ee29c922ebbde338407 | ocamlx(Extraction_plugin__Mlutil) |
| = bce531e1d42c5980fe2087e791a35004 | ocamlx(Extraction_plugin__Modutil) |
| = 90ef542fb914fa84beaebf02ee05c024 | ocamlx(Extraction_plugin__Ocaml) |
| = e223b56334f5a6a31668fa231516c74c | ocamlx(Extraction_plugin__Scheme) |
| = 2fb40ee73ac5a137c5220c986b3d9986 | ocamlx(Extraction_plugin__Table) |
| = 2d99d2b73a186e4b47e7ca1f397918d9 | ocamlx(Feedback) |
| = 44e1b968f6dbb3a3c093070d611482f7 | ocamlx(Find_subterm) |
| = 77fed0c82bcc7bf3d8d05e5f99c8370d | ocamlx(Firstorder_plugin__Formula) |
| = df51f5b52ec6eb2296dc5e5f1580a506 | ocamlx(Firstorder_plugin__Ground) |
| = 159bc9d20a8e0d217c7e3f4d1a719456 | ocamlx(Firstorder_plugin__Instances) |
| = d9b4e347bc20053ef0e82c9e9bcaec80 | ocamlx(Firstorder_plugin__Rules) |
| = f1fb1f1647581467c1aa6f1f089b33a5 | ocamlx(Firstorder_plugin__Sequent) |
| = bcbc3e4a6f8afda44f755f5bc09abbd3 | ocamlx(Firstorder_plugin__Unify) |
| = ca658325926313e0d426fff2b2033664 | ocamlx(Flags) |
| = b8fb97b58846eb9e7f689bc3498ff5dd | ocamlx(Float64) |
| = b5d2d56d91068a27beb0fedd1ea5d81d | ocamlx(Float64_common) |
| = f4697fd14beef5ff21f2d2397a94ac82 | ocamlx(Ftactic) |
| = 042b9be35b73fbd0a02cfad470866452 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 58d10ea8e80f477d7091855f35e9a31b | ocamlx(Funind_plugin__Functional_principles_types) |
| = 635756a12d381170eeb59872ce98b644 | ocamlx(Funind_plugin__Gen_principle) |
| = 034c539d400ab882cc2644568c06d4a2 | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = f19f40589b0acf9fe4f4b352342c34ed | ocamlx(Funind_plugin__Glob_termops) |
| = 9427bbadf9730051108ea5f6a360557a | ocamlx(Funind_plugin__Indfun) |
| = 0b4aceb084af8db269098be4c5766e81 | ocamlx(Funind_plugin__Indfun_common) |
| = bae44bf4a27b2909563fb4cbb0c2168b | ocamlx(Funind_plugin__Invfun) |
| = 03506935a81f32ab4a0ec1ca363989cf | ocamlx(Funind_plugin__Recdef) |
| = c22e5da42e10e34daadd1e90039e114d | ocamlx(Future) |
| = be491d0aead5f2cde20fc415f81ce8f3 | ocamlx(G_proofs) |
| = 8ad7c2d9083a06b36d190828213bc0cb | ocamlx(G_toplevel) |
| = 567bfff860b8f0945a774dbb62eff75d | ocamlx(G_vernac) |
| = 5c51cbeb295b1eade09ff8292cd191aa | ocamlx(Genarg) |
| = 0cff5f1da229f31a17293abaf0725abc | ocamlx(Genintern) |
| = 8d02dd06bd079e971460e62420053d06 | ocamlx(Geninterp) |
| = 826f6af0443fc3502b4c81abddd54bd3 | ocamlx(Genprint) |
| = eb53cf73eb501a2450759db4386ed970 | ocamlx(Genredexpr) |
| = daef3006ff0e85062f2c668430bebc55 | ocamlx(GlobEnv) |
| = 8fade44fb1538167fc11f86d4dd81cc2 | ocamlx(Glob_ops) |
| = 29414e3b37173ceaacbeed918b29113a | ocamlx(Global) |
| = 105a8bec89ded5d2c3ce72bfdcddfbb4 | ocamlx(Globnames) |
| = 4484f12636285d97b225b58f4d47535d | ocamlx(Goal_select) |
| = 38ece681f65f26eec4b055eb5f0ae4c3 | ocamlx(Goptions) |
| = 55067521d0e2673f0d7697c559f2d2ff | ocamlx(Gramlib__Gramext) |
| = a64d92f94b0644e3b31a457d0bb233c5 | ocamlx(Gramlib__Grammar) |
| = 7e56918c7e239b980efcc2026a1fc70d | ocamlx(HMap) |
| = 5670e182b8a5780aebadb15d1bfe74db | ocamlx(Hashcons) |
| = f142780e50e95c73e9f8c5abe88a9b3c | ocamlx(Hashset) |
| = 9c31ed55f8923fc7b7690083ac8fa87a | ocamlx(Heads) |
| = 5a6a359577c07c6606ca9d5394f6f5f3 | ocamlx(Heap) |
| = ffe88eb571c20106339ee8fbecee0b8a | ocamlx(Himsg) |
| = 9b598fcf70e5104b85d098e0c8ac5d18 | ocamlx(Hints) |
| = 82756a098902e5d81fb1b6f4fe5e9b89 | ocamlx(Hipattern) |
| = d4e25697a8559b3b429ed9144790abc9 | ocamlx(Hook) |
| = 6f509739c7a71eeb374f65b9d4fc92d9 | ocamlx(IStream) |
| = c8c5406b7b607f77a50af1894a2bc4d2 | ocamlx(Impargs) |
| = 7fbb991926f04f23a1b56aa935b93f3f | ocamlx(Implicit_quantifiers) |
| = dfd462d167194172b144e9f22e5b9543 | ocamlx(IndTyping) |
| = 103be36135e4a78228901b66d8fe5df3 | ocamlx(Ind_tables) |
| = 2219455c71e032844905ecf6ed3e961b | ocamlx(Indrec) |
| = 3ab6d006a29b1dcfc1d8069a90c27b68 | ocamlx(Indschemes) |
| = 966780df19424b816f07f74b6a1aca19 | ocamlx(Indtypes) |
| = c9c453349d065117a48156f84ac4b851 | ocamlx(Inductive) |
| = d81659f5c8411db6a2a41a353576255b | ocamlx(Inductiveops) |
| = ec38441e2fbc1541226de7f8dd9c09a9 | ocamlx(InferCumulativity) |
| = de40f21491f0756de1969c02c6ac509c | ocamlx(Int) |
| = 851a35b621ba894197bafc55c3471b3f | ocamlx(Inv) |
| = c89cccbc344513b25acacd8e3f2ce0d7 | ocamlx(Keys) |
| = 51b0d992887042ce590047105322bbbd | ocamlx(LStream) |
| = f2087726373c7e410b39a6301fbc445b | ocamlx(Lib) |
| = 8eb47c65e7f6d2a61f366442ad262f0f | ocamlx(Libnames) |
| = 42de951db4f5999552a12af15647905a | ocamlx(Libobject) |
| = 77c0439cd189184b6f61c3a4df48f084 | ocamlx(Library) |
| = 1114ffab6530c4ed08f74bab1080c9a0 | ocamlx(Loadpath) |
| = 632b023d30c7af7d96fbc4c82226adce | ocamlx(Loc) |
| = 0e51004a1a0688511a215654d0883b65 | ocamlx(Locality) |
| = 3472ad778d272a66b6a0f79da86fbe43 | ocamlx(Locusops) |
| = 025f6dd1b8b7bbb6d8ab62cd811c608a | ocamlx(Logic) |
| = e1cd48a66253f1aa5b17285ced1416ce | ocamlx(Logic_monad) |
| = 851511119c33e4b5aa7c9132de78555e | ocamlx(Ltac2_plugin__Tac2core) |
| = 1ac32ddedcdf5edbecee2ed0f35d7000 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = ba5e80206436c9d918a5458080082d87 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 4c5fc5e417f45306a3b3097f75030989 | ocamlx(Ltac2_plugin__Tac2env) |
| = 0e4e15fc510e80d762371ebe81446765 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = 605920a271edfca542b8de47e744a017 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = 028a7c763f45c89316239a9228b134da | ocamlx(Ltac2_plugin__Tac2intern) |
| = 189865ba4e25fa1e7117bdda0c1004a0 | ocamlx(Ltac2_plugin__Tac2interp) |
| = 47f5c325f138fa3ec5b4da7abb6f103a | ocamlx(Ltac2_plugin__Tac2match) |
| = b56d1add47a408c2ec0938b96144e234 | ocamlx(Ltac2_plugin__Tac2print) |
| = 2e9051b6fd3a964fdd9911ba1699e90b | ocamlx(Ltac2_plugin__Tac2quote) |
| = 24e4e7e104ab4256e7c845101a432f50 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 6be908b85c50213cc5b14e50eccbe613 | ocamlx(Ltac_plugin__ComRewrite) |
| = 8c7c0ad53131dc4c4e4441d6bb675d64 | ocamlx(Ltac_plugin__Evar_tactics) |
| = 094dbc0fd6247ba13a892ae4520212b7 | ocamlx(Ltac_plugin__Extraargs) |
| = 07593c4256e1dcb8b962de9f6085c63c | ocamlx(Ltac_plugin__G_ltac) |
| = c4329c5e1fb5afc05c1dda7cdb40df88 | ocamlx(Ltac_plugin__Internals) |
| = 97ce3c112bd2590de1bd0328a840dcdd | ocamlx(Ltac_plugin__Leminv) |
| = 82d5e26dac05a8228d486e10ef5e1c4d | ocamlx(Ltac_plugin__Pltac) |
| = cb9c59b4e093cf5ad3815bc6dc5576a0 | ocamlx(Ltac_plugin__Pptactic) |
| = 0dcdeb1254be960e02402247aa41e6ac | ocamlx(Ltac_plugin__Profile_ltac) |
| = 52fc1a50048c453886a4e84591ad5f6a | ocamlx(Ltac_plugin__Tacarg) |
| = c6f761b1d2dac7496f4efdd981f083e4 | ocamlx(Ltac_plugin__Taccoerce) |
| = 74c30b4257436553708a3d84ba1c8566 | ocamlx(Ltac_plugin__Tacentries) |
| = 77e59fc8ea02aecffe49f060f6bfa003 | ocamlx(Ltac_plugin__Tacenv) |
| = 19f5fe737013ce853f07e98fbb77e83f | ocamlx(Ltac_plugin__Tacintern) |
| = 054dd5c445adab830f7ab54d92fc5748 | ocamlx(Ltac_plugin__Tacinterp) |
| = 643cc569c42a851a89077b8e772f19b5 | ocamlx(Ltac_plugin__Tacsubst) |
| = 6048a824999024d109e9dfd45e466d6c | ocamlx(Ltac_plugin__Tactic_debug) |
| = c706a9760982b8af378397cf8dee4896 | ocamlx(Ltac_plugin__Tactic_matching) |
| = 61f0c65146fae717bb462643e54bd027 | ocamlx(Ltac_plugin__Tactic_option) |
| = 005761a8eed5e0254adcf33cda0cd7ea | ocamlx(Metasyntax) |
| = c79acc8cdacfa5877c094d0c893d2d3d | ocamlx(Micromega_plugin__Certificate) |
| = 18ecc7007990e82b8633fa5cf421077c | ocamlx(Micromega_plugin__Coq_micromega) |
| = ab698873c12f201bc7d933f4338b283d | ocamlx(Micromega_plugin__Linsolve) |
| = ee28a45da5c6554d460ac0b057f82116 | ocamlx(Micromega_plugin__Micromega) |
| = 36158df78e60da5c9e31c73a197bf875 | ocamlx(Micromega_plugin__Mutils) |
| = 50707e7df9ca9e701da40e02836520ed | ocamlx(Micromega_plugin__NumCompat) |
| = c6c3707325cbc50e0908cabb40cc1e13 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 0f8923be2f33dc1c05ba954863c1eb81 | ocamlx(Micromega_plugin__Polynomial) |
| = f3ecf64b32411ad121d4cd3caa1d5298 | ocamlx(Micromega_plugin__Simplex) |
| = bf5f2dd3776c85ef279d18b665c5bc76 | ocamlx(Micromega_plugin__Sos_lib) |
| = cf3cf0c5a4a62aa5898c186a422d13d3 | ocamlx(Micromega_plugin__Vect) |
| = 0f3e37db71ec45f83baa8f2ae0626233 | ocamlx(Miscprint) |
| = bd5133e72942a0102c4e30fd70c5e9eb | ocamlx(Mltop) |
| = dc4321b11ba90b0230ab4ba3f78d6eea | ocamlx(Mod_subst) |
| = e82b2f94c3e26d23a36820737a9dc3c1 | ocamlx(Mod_typing) |
| = 3874486e50960542fa80de38e5bd425b | ocamlx(Modintern) |
| = 930835b677a1e9510f91a6006d378139 | ocamlx(Modops) |
| = 13e661dfe6ca8935bb5cdab606051c50 | ocamlx(Monad) |
| = 070d55bb683901b185545f26b3d87913 | ocamlx(Mutex) |
| = d730df78478daf660b8780037d7c1463 | ocamlx(Namegen) |
| = e4f5a51fef20c15be1fb97cc77e20e72 | ocamlx(Nameops) |
| = 6d65f832fef4e6fe7365502efae0e52e | ocamlx(Names) |
| = b262efb327e3ddd5d7497fd4865ce496 | ocamlx(Nametab) |
| = 378132e12cd0ddc62cbb443b2537e37f | ocamlx(Nativecode) |
| = af690f71c40418b811372f740cf55704 | ocamlx(Nativeconv) |
| = aec9acae8efa79ac2ec9497336bbc3cb | ocamlx(Nativelambda) |
| = ed781e5abc589ec7640e0a7facdc0679 | ocamlx(Nativelib) |
| = 9a3da422141b233a5ec4bf59f97b4671 | ocamlx(Nativelibrary) |
| = 4a9e3b8f1812528a67867884c1f295bd | ocamlx(Nativenorm) |
| = b733ab24883fab6226ad7bb0280e587b | ocamlx(Nativevalues) |
| = 393118bbf0a3c91eba0a638198347673 | ocamlx(NeList) |
| = 40878f82f29691b8e3b9e6f69cc96834 | ocamlx(Notation) |
| = 306777f5c2c5be59e572db2109985ee2 | ocamlx(Notation_ops) |
| = 169d328b907a09fc66cf69b32e420954 | ocamlx(Notgram_ops) |
| = 5af46152a2e72bcd5d5b9babc53929cf | ocamlx(Nsatz_plugin__Ideal) |
| = 422a0cf141f62ec1928a9489515c6175 | ocamlx(Nsatz_plugin__Nsatz) |
| = 49bafebaaa762c39537469b6dc2c921c | ocamlx(Nsatz_plugin__Polynom) |
| = d1b1e9628b62893dcec1e5c89091a2ea | ocamlx(Nsatz_plugin__Utile) |
| = 6a95d1e2d43ef818cdc8eb2f6505ac1e | ocamlx(NumTok) |
| = 165180086b46d6e04e6a26e53bb1efb3 | ocamlx(Number_string_notation_plugin__Number) |
| = 64b13621ca999cc963b1caa455c630e9 | ocamlx(Number_string_notation_plugin__String_notation) |
| = ff2cc4137609fb5e1f4aaff8ac4dd0c1 | ocamlx(ObjFile) |
| = 07c8c167430dbe924f5d0b4d0f9efd5b | ocamlx(Opaqueproof) |
| = 3655052bdae74c47d84243c370d8aac2 | ocamlx(Opaques) |
| = 027e5e1bfabd879c0bafd13804c95ae3 | ocamlx(Option) |
| = 88408e848cde073b0dc2cd0c72efaea6 | ocamlx(OrderedType) |
| = 4f1caa0c66b066e538352ef1b0593165 | ocamlx(Parray) |
| = 45dabf0cb11ad17bf6358136c92a9ba0 | ocamlx(Partac) |
| = 3c5c161e3b7f049f845af6d651020abe | ocamlx(Patternops) |
| = e86cbc9c15c9ef9e228c50e516989d64 | ocamlx(Pcoq) |
| = 212c7ff65a2927459e46698b0cf42a81 | ocamlx(Pp) |
| = 6c70fa789305214da7c34c91fadaa4e0 | ocamlx(Pp_diff) |
| = 6be560601629c455f280123d09681271 | ocamlx(Ppconstr) |
| = 70427510e9a9b5abca7e13a6e87f4d18 | ocamlx(Ppextend) |
| = d595654bdf12ceb3f02080bf2bb02ab9 | ocamlx(Ppred) |
| = b25cd1415fc54bdd5c0e3cb29cfba965 | ocamlx(Pputils) |
| = 514491f2589d6263c1e325301b7cc9d7 | ocamlx(Ppvernac) |
| = 8d89cd4730fafcc3023c0d6ea129afa0 | ocamlx(Predicate) |
| = 7eebd5f2358e7ff5940f658a07ba8a6b | ocamlx(Prettyp) |
| = b7059ac2183f816b77f15dd2079d68a1 | ocamlx(Pretype_errors) |
| = f74e658752c8cd2b75b72fbb3e8fa7b1 | ocamlx(Pretyping) |
| = 7a5b698db068945106d543eb7f46d966 | ocamlx(Primred) |
| = f9cd2c4934f775cbcc8d8cea055927ac | ocamlx(Printer) |
| = 991509156839f69efde938bba4802278 | ocamlx(Printmod) |
| = a30f35df4efeb8a82d8da26d186296ac | ocamlx(Program) |
| = b65c029efef47fa4cdb51292030e03c1 | ocamlx(Proof) |
| = 64b484570eab51a01d765b6af6202eb8 | ocamlx(Proof_bullet) |
| = 4e046c78ee79a83f9dc6e9b96f197db8 | ocamlx(Proof_diffs) |
| = f8afe11ea334924155def022091ac744 | ocamlx(Proof_using) |
| = ce3af09ae47df2b39aee58b2b5f7da70 | ocamlx(Proofview) |
| = 92e69dad2532af2112db816444d3fce5 | ocamlx(Proofview_monad) |
| = 6be19941474b35361f546b31553e824f | ocamlx(Pvernac) |
| = 778db690673a2ecd778badfca767ce6a | ocamlx(Q) |
| = 7e8a1d64ac7087904e3db1581c4126ca | ocamlx(Range) |
| = 3a4e752d5a506760130796f93d63991f | ocamlx(RecLemmas) |
| = 9e25acc5c34707831eaf0f309b657fbb | ocamlx(Record) |
| = 09f75e71e5c4bf9643f4660d61ef22b1 | ocamlx(Redexpr) |
| = ad9b9cbe7b14ec75a34eba5dfa2decd0 | ocamlx(Redops) |
| = 5d084e3c8ab97775c93d33f4dd1a8ebc | ocamlx(Reduction) |
| = d9caecca3a5c7e0215c5890a19470514 | ocamlx(Reductionops) |
| = bcab7f1814f563b70a4ed0b868fc7ebe | ocamlx(Refine) |
| = 13a55808084562771f23f8629a1d77cc | ocamlx(Relevanceops) |
| = 1de343a0f617ae6254f7d4d01421972a | ocamlx(Reserve) |
| = 0bbcf1a212a69dfcfa022390c344eac1 | ocamlx(RetrieveObl) |
| = 630ff63c9797981be7dc1a009cc86b99 | ocamlx(Retroknowledge) |
| = e6dd4bc740d2360ac824323fefb12577 | ocamlx(Retyping) |
| = 12a8c016d42b3a41a4d1d941b6a95fb0 | ocamlx(Rewrite) |
| = 4490f9e807d54d6b8374716cedbefdae | ocamlx(Ring_plugin__Ring) |
| = e816e92e1a0bca63bf4b8af1dab7b18d | ocamlx(Rtauto_plugin__Proof_search) |
| = a1d7362f84862dd13c6a19e3ed687b9b | ocamlx(Rtauto_plugin__Refl_tauto) |
| = c38ff20a258855b462120dc1c3f99115 | ocamlx(Rtree) |
| = bf5da282fb4e9425d6ac0a6d5cc461b9 | ocamlx(Safe_typing) |
| = eaf925cfcc6e1c9853dd12e495a4a7bc | ocamlx(Search) |
| = 2088123609d11bc170ecb9194bac382d | ocamlx(Section) |
| = c6f5516ba5d174f67829ed9c8c8909b8 | ocamlx(Segmenttree) |
| = 7bde490e412cfe1a3b2f65b3f7d70cf1 | ocamlx(Smartlocate) |
| = 0ce21227fddce5bc8d7d2920bc34b427 | ocamlx(Sorts) |
| = 9ae20319f892563dfc4c419c057f13a5 | ocamlx(Spawn) |
| = ae76dab0dedec9c542e6035427205aed | ocamlx(Spawned) |
| = 2bc24c454d7da3a58d41c7e8223a5de2 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 4d9f7f6d35b35e34473566ea3529908e | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = dca36359e5828a2795a98f3320e7b63a | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 192dbd628e2a31bfbb96030193769afb | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 8b2be5a1fa71c5745491d52541019299 | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 6d148b7fb23a73b98c5469bab9e27c3b | ocamlx(Ssreflect_plugin__Ssripats) |
| = 8251217a65a9a45e0ee6488ebaa1b8f9 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 5c40a0d5ab3da61d79234fb639f177ca | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 363729b432615c7f02507fb6043ab2c3 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 37a443ae357ef3182891fea85a1135d4 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 9a18d814c0ed77c797306b2f6101370b | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = a5bcccd428ab47b644b9f479b8c46470 | ocamlx(Stateid) |
| = f5f0f316a8f4f6156a6bc2b6241993c0 | ocamlx(Stdarg) |
| = 29fc6b4fd90dc91235156e20d0575996 | ocamlx(Stdlib) |
| = bb1212fc50265efb994301edbd2f0ecc | ocamlx(Stdlib__Array) |
| = 673e1a9feee4c24aeb62fe0f3e3ec4ad | ocamlx(Stdlib__Buffer) |
| = 332b036c618456adadc97ebc4c0edd44 | ocamlx(Stdlib__Bytes) |
| = 7cfadcb8c8da32e9f00e211aa321718b | ocamlx(Stdlib__Char) |
| = 7d577dae6edeadfbfb103d3b9b8931ba | ocamlx(Stdlib__Digest) |
| = c9b944058da07ad3950f915d5682e6d9 | ocamlx(Stdlib__Ephemeron) |
| = d28509257398356aab9aed2edf11d6cb | ocamlx(Stdlib__Filename) |
| = 983da56657d4a84e1921601ebd2ba5fd | ocamlx(Stdlib__Format) |
| = 265b59e1def4560a3187de619e15ad64 | ocamlx(Stdlib__Fun) |
| = 69b30dbb497b1693413644ac9604be89 | ocamlx(Stdlib__Gc) |
| = c60c5e9b84ec15b69584c299944d0abb | ocamlx(Stdlib__Hashtbl) |
| = 92cf9826d556878104ed3545f31b55b5 | ocamlx(Stdlib__Int32) |
| = 371b761429600b4a3480435d7bb83c8a | ocamlx(Stdlib__Int64) |
| = 6e981fd0efd14a1dff5f06e6c215a2d2 | ocamlx(Stdlib__Lazy) |
| = 75bce4c751643e407b6e75caf60b9db7 | ocamlx(Stdlib__List) |
| = f9b31d0fc661b76354b76376270f8fae | ocamlx(Stdlib__Map) |
| = eb9932635a49a93c31c0e9a675c07fff | ocamlx(Stdlib__Marshal) |
| = 23286e910874d627cdfbcadb3610dcf9 | ocamlx(Stdlib__Obj) |
| = 92fa2375a865927827b95a710fd8db2b | ocamlx(Stdlib__Printexc) |
| = 5637860688f82d7f837407cfaf0a6fae | ocamlx(Stdlib__Printf) |
| = ac29fa1eab3344162fa1d6afdf6872d4 | ocamlx(Stdlib__Queue) |
| = bd6cc79123202b55fdf31fc087aa06eb | ocamlx(Stdlib__Random) |
| = 77c1354d6effc4c07123bbe247f06393 | ocamlx(Stdlib__Scanf) |
| = 9d41b0f6935651fa2b340a0986078a0a | ocamlx(Stdlib__Set) |
| = 6e4c13fcfc9d23fccc45c9e0ea742960 | ocamlx(Stdlib__Stack) |
| = 13f7de0c4181fa1bd61a69535f1b123c | ocamlx(Stdlib__Stream) |
| = 16f00be18fe41d5b5f3bc6b9bf6629df | ocamlx(Stdlib__String) |
| = b7b20574aeaf6b9579b0e18cd71b27d3 | ocamlx(Stdlib__Sys) |
| = bba061f4005216cd927f027dd350ea87 | ocamlx(Stdlib__Weak) |
| = 9dddbca7917516c42afb2ceae7a96800 | ocamlx(Stm) |
| = b68bbf947151d2eaf69dc41e6946c7ac | ocamlx(Stmargs) |
| = 4c3dcee02f6d0398b409328e37d6aa08 | ocamlx(Store) |
| = 4f153d0614e739753ccb1a58e9ecaa38 | ocamlx(Str) |
| = f544083bf165e0b8897d7ca43d2f1727 | ocamlx(Structures) |
| = 481dedf8089bbdee65a3ff3cc84e10e7 | ocamlx(Subtyping) |
| = 9e0e375c756bde3e8d018dd9f840c900 | ocamlx(Summary) |
| = b4d0c87fae067df0d461576b6c8ea0c1 | ocamlx(System) |
| = 850a611bdb0c085c085f2f371358707a | ocamlx(TQueue) |
| = 1c24fe371fc058163a2c7c67cd39a021 | ocamlx(Tacmach) |
| = d4cbd0593c375bed5914b8b595b2f3db | ocamlx(Tacred) |
| = aae0584d4796427909d89213bd762fc7 | ocamlx(Tacticals) |
| = cc3995d09f4becc1ad91e4ff6f7b88b9 | ocamlx(Tactics) |
| = 1e9acf6588374876f3995726740dd81c | ocamlx(Term) |
| = 1be095349a95a608ccbf5507159b5a31 | ocamlx(Term_dnet) |
| = 94db86297f565361d6506a324ddd7b55 | ocamlx(Term_typing) |
| = 6ff9df188b1447212303a5929ee3399b | ocamlx(Terminal) |
| = 291f2b24751e7731ae48d6870ec80446 | ocamlx(Termops) |
| = b6058a12af622a83bc30e409c733d611 | ocamlx(Thread) |
| = 802d1f0ec96c7e40b939dab52a766e02 | ocamlx(Tok) |
| = fe7561f68b51ef2237cb960db56dd8b2 | ocamlx(Topfmt) |
| = 177ad52390666df164ea8ebc2649d546 | ocamlx(TransparentState) |
| = a10c81b0b47cd4fddf7ef018ed0625fc | ocamlx(Trie) |
| = 835a9eb8236b2b63a134b24ce0c88c20 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 114bece27d86a9ef8b97b27099366fa2 | ocamlx(Tuto1_plugin__Inspector) |
| = 916b2353ecc4a026d494cbfc2eb0919a | ocamlx(Tuto1_plugin__Simple_check) |
| = 481db33d6829dcc20a8fb3e96fcec82b | ocamlx(Tuto1_plugin__Simple_declare) |
| = 0b502336b2bdea0eea7135c405d2c3d4 | ocamlx(Tuto1_plugin__Simple_print) |
| = 0b92159d28f9a8e079b154b05ea9d28b | ocamlx(Tuto2_plugin__Counter) |
| = 4c2aac5c8990f18be544cbe10e26f700 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = a957fd1302cd3fddb7961b9e162974c9 | ocamlx(Tuto3_plugin__Construction_game) |
| = 87990d4d420b573efcde9b653ab600bc | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = 859a92227b120389d337a562adcea426 | ocamlx(Type_errors) |
| = 6d4e7ab0773b4b6739a1d31acf6f80ff | ocamlx(Typeclasses) |
| = fc764dda19e8cfb032a5db666fc046b5 | ocamlx(Typeclasses_errors) |
| = 3a984bcb8684eb7df189fa0d74b0e727 | ocamlx(Typeops) |
| = 9c47a86db6a9b0852f9ae391283fe113 | ocamlx(Typing) |
| = 49fed91813cdb104ae45e772a238cde3 | ocamlx(UGraph) |
| = 1e348598253cf3cbc0311c24b8899fb4 | ocamlx(UState) |
| = e6fc76ea8492684986788db02da0daac | ocamlx(Uint63) |
| = 9ca78a089131869ab02fd4cb79571f74 | ocamlx(Unicode) |
| = d05dc1e9060cef93f0794941ee25c720 | ocamlx(Unicodetable) |
| = f9e626aa69bd0ba88017e2134df2f353 | ocamlx(Unification) |
| = 09da7475766e419b156de58fb065d530 | ocamlx(Unionfind) |
| = a0cf0d9637f8b33d5d8fda7a474b4fff | ocamlx(Univ) |
| = f2ae882691587f743f61a7d24b90579b | ocamlx(UnivGen) |
| = f50b511864963cca51d86e92710e921b | ocamlx(UnivMinim) |
| = e6e23d88a9e2ff677e2e6fc2eae8d934 | ocamlx(UnivNames) |
| = 807c07934d81dff370f98b8f73879257 | ocamlx(UnivProblem) |
| = a6ef802af0bae9ec69e8a3c971f70755 | ocamlx(UnivSubst) |
| = f98e9ef7f9e913e26df2cf0d3af4252b | ocamlx(Unix) |
| = 032bbdc002e48ac17825b9af50e929a5 | ocamlx(Util) |
| = 290e6f116c8a646cca052e16288dbba8 | ocamlx(Vars) |
| = 724aeab7ef6a7f88c69b4b264d410688 | ocamlx(Vconv) |
| = d22ec847c257b2b1b716476e23ca37ab | ocamlx(Vcs) |
| = efba14b1f847aa69d834bd38a14541c1 | ocamlx(Vernac) |
| = 6c7697717756978566d72a839633bd93 | ocamlx(Vernac_classifier) |
| = 1df642f9f798e3c4f8b68e5bd45870b4 | ocamlx(Vernacentries) |
| = eee715b409da1ee2befec6ac2dbacddf | ocamlx(Vernacextend) |
| = 6642b4e0e6e6e9453158077d7b9faf8e | ocamlx(Vernacinterp) |
| = f71390643b821a16e7f493b8883f21bf | ocamlx(Vernacprop) |
| = 0c99ae8f486faecf68f1e0b2c7775afd | ocamlx(Vernacstate) |
| = 10159a4ad37c984501f45faa71db9146 | ocamlx(Vio_checking) |
| = ba7ff834ab1add26e805f39ae3af58c8 | ocamlx(Vm) |
| = 34140d097f22bdd663e0567ec6769d08 | ocamlx(Vmbytecodes) |
| = 42aef1692598d88042a430bd44908227 | ocamlx(Vmbytegen) |
| = f969f7272a739b94a709a25c974fc79f | ocamlx(Vmemitcodes) |
| = f44fa12e69e3bbe99a0164609ae197b7 | ocamlx(Vmlambda) |
| = a98602e2d97cf24bde5fbf3b6fa097ba | ocamlx(Vmopcodes) |
| = 0f7e66d036ebab20b83b7e76a702a9c4 | ocamlx(Vmsymtable) |
| = e04f7b05dda3795e246461bc551bc0b6 | ocamlx(Vmvalues) |
| = 0ea3d3cf1d952988fb461f1c72b92215 | ocamlx(Vnorm) |
| = db007eccf8dcb4b71dbf4a06ae0e723b | ocamlx(WorkerPool) |
| = 35e6c2baec05f2448f0ffb79a9faad0e | ocamlx(Z) |
| = ba1052630ee425d3e8135a580a052cd3 | ocamlx(Zify_plugin__Zify) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.16.1-3.fc38 | coq-core |
| = 8.16.1-3.fc38 | coq-core(aarch-64) |
| = 420597dafb0412b0906625f65b7b43f3 | ocaml(Abbreviation) |
| = 972a6adc1672c1380e598345e9bdd66a | ocaml(Abstract) |
| = 00edc3e526b6239e9ad4c9319eaaabd5 | ocaml(AcyclicGraph) |
| = 8d780748135c7ad38292a7b3ac0f53a4 | ocaml(Arguments_renaming) |
| = df89cf26bc6d8d05b99e08a9244c612a | ocaml(Assumptions) |
| = 8659dacb0d81bcd9fbe6e6ecd05f72c0 | ocaml(AsyncTaskQueue) |
| = 9c8311d65744ff7d706db174690b46c8 | ocaml(Attributes) |
| = 18ee6df02843f71d3f910a73cc86f876 | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = f8bc48db857f8ac735085dc8aa83010e | ocaml(Autorewrite) |
| = 4e5dbc641f72c02043546e93c1ea2f6f | ocaml(Aux_file) |
| = f498938c3cd8c3c430d1ecb0bf0739f4 | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = fab86dce490de64d33c82242f0ebfc65 | ocaml(Boot__Util) |
| = 9009b76733276115709ad8eaf7608140 | ocaml(Btauto_plugin) |
| = 29d4880693a67a1f0e1b46f4a9bff412 | ocaml(Btauto_plugin__G_btauto) |
| = 28e0bf9327ab99d94d58094c20908409 | ocaml(Btauto_plugin__Refl_btauto) |
| = d3ea095108ca95f312ef5da1c00ad3ba | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = b49a9e05558d074ce2420f1481d80d8a | ocaml(CAst) |
| = f4378b7e6756e2d51e034a1fb622833a | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = f3bfdbcb718358cbbdf7269ef0ccc70a | ocaml(CErrors) |
| = c60c1257bafd2caf16fc08cc8a89eba6 | ocaml(CLexer) |
| = a742212da585b925999bb1e9c57f8886 | ocaml(CList) |
| = cbcf10800400dde7f75cbc0cc6a0a739 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = 98ddda2b8661651d0ac1c4d2f3adc78a | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = f53fe8692b6d16ecf125c5433c67ee1d | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = cf7a81ae736db3f2a37cc19662f4fef6 | ocaml(Cases) |
| = 84dad22fdc339ed0e7be089e4509b7c9 | ocaml(Cbn) |
| = 948ea102091b6a8e7c4b0e1b62a3976b | ocaml(Cbv) |
| = ceb46e8aedadbdd92158dcf60a3cd0fb | ocaml(Cc_plugin) |
| = b08a94e2e4c838268631e02b8f1131d2 | ocaml(Cc_plugin__Ccalgo) |
| = 47ef5c0a56fdbc0941ce73d0046719fb | ocaml(Cc_plugin__Ccproof) |
| = 3297962af6b7bee613be9662275b2efc | ocaml(Cc_plugin__Cctac) |
| = 03e27f8e2a9649c70cd9fbc67cce309d | ocaml(Cc_plugin__G_congruence) |
| = cbf7121ffe4a7d9642468cb05ab4fa7c | ocaml(Ccompile) |
| = 43714ab5d65b526f526983060b18773a | ocaml(Class_tactics) |
| = 0849bff350169976d6661ecf8c0a0d08 | ocaml(Classes) |
| = 7166460f08eb63080256e23e5fb5c167 | ocaml(Clenv) |
| = 56c8843825713a98c2731d70e4986d59 | ocaml(Coercion) |
| = 130ca2c374c3c95f2be07233a9fcfe6e | ocaml(Coercionops) |
| = d0f9844c2e2c3352cffae437250690f5 | ocaml(ComArguments) |
| = 20cdf574510ab9eb1308952312ff33eb | ocaml(ComAssumption) |
| = 6119173fad398a6e6a12b2b62329eae3 | ocaml(ComCoercion) |
| = 5fb0e71a6ec8f102fda4d4c6dbf643d7 | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 97358d4b231f95eb872fc52abc300d7f | ocaml(ComFixpoint) |
| = ad2c813f50a0b8eb05789c4dc928c592 | ocaml(ComHints) |
| = 39f85975b25aee1b8e535e0d1d2ce9b9 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = b4baeb08b384fb166b2e11345e1e6018 | ocaml(ComProgramFixpoint) |
| = be75ce7f6093f0fde2fe33724d2f8b0e | ocaml(ComSearch) |
| = a08901eb475fd5bd26c27679d799860c | ocaml(ComTactic) |
| = 9ca352bce78df900bce25f5e83b3e3ec | ocaml(Constr) |
| = bc3bc25e047804b0c2146f38c8baf57e | ocaml(Constr_matching) |
| = 0a1d3ceef956f29cc7dc137ca11d7f87 | ocaml(Constrexpr) |
| = 418e616a5df5c13bfb5ca9962193d077 | ocaml(Constrexpr_ops) |
| = 5af32acadc581f65a54da5afcd5b2c2f | ocaml(Constrextern) |
| = 97b95cdbaec7eb2886396200fc429e6d | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = 17710499fc288b647d485e984107779e | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = c511194cd3d1c75d0ec51fe57d5c4b93 | ocaml(Cooking) |
| = 8d4ce5876520fb1b857ce0b66885c9f0 | ocaml(CoqProject_file) |
| = 1f9c810a032fb9a136e70b90280eb879 | ocaml(Coq_config) |
| = 831a6f58e41b064f9a4f9156af190952 | ocaml(Coqargs) |
| = ae9cdc97fc7c07c638b81cae3fb1f043 | ocaml(Coqc) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = 2c95a5e907cb1568e1a7c1a9d070b1aa | ocaml(Coqlib) |
| = b2d2792c476702243473dae407a9a210 | ocaml(Coqloadpath) |
| = 788867ecf0c71ce995da64a7ef7e22c4 | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = fc0bcbda58d2f416905b23bfcb7dc570 | ocaml(Coqrun) |
| = 7406aac3df43f6624ef3974b517db9e6 | ocaml(Coqtop) |
| = 3c5e42d0ebc9405514b419d4f2d94f54 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = dad4dc5e90d3a1f173b8fa9529571329 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = af077788df86ae3c100cb12d0e433100 | ocaml(Declarations) |
| = 50515d5655d9fdf56b819fa36790df68 | ocaml(Declare) |
| = 42984d348ae777b60959a2725b38e9e4 | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 2e832a7a087246de5bdee9de92899c73 | ocaml(DeclareUniv) |
| = feae46dd7f816faac5d3a1d9b6695f56 | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = 703781821a9f6fa92a858580f939bd9e | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 87ebc9f2679fc769364ed6fc35137bff | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = 4651f4597c9b6eb0b541950e161cf0d5 | ocaml(Derive_plugin__G_derive) |
| = e1a2f4f4c8caaef8118ea6369f5fe10b | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 4ab1a6a815084682e460ae95ad5ab2b6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 082355c6056f963a71a1915a1ed0d49e | ocaml(Dnet) |
| = 20e9106c0a8efd454cf20e46cba32b6c | ocaml(Dumpglob) |
| = fa3daa324553247018623840358472b5 | ocaml(Dyn) |
| = aec1ab28ede64377d193d2fc15de5e09 | ocaml(EConstr) |
| = 6370d8a19b0c9a7718fba5842ec0fd65 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 5c1aff6aa29932ef61514e54a24530a1 | ocaml(Egramml) |
| = 151e3690a55c649c629325cc812d27ea | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 72a73ac1bcf2406fcb0568e0723e2452 | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 81958cbbb97b08eb74f21205ecbe734b | ocaml(Environ) |
| = d15dc70a0dfe3c76ab3cdd6012c93856 | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = 7a649f9b216dad739e837c87f77a3af8 | ocaml(Equality) |
| = 746f3c41caf469b8602bbc0673a9de61 | ocaml(Esubst) |
| = 156cdf64bb05c4ab0c4051f998dfab52 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = a2a426819a1c9723fdb2c2630901cd62 | ocaml(Evar_refiner) |
| = 9d0ed0c25581d922599355cb62e0515e | ocaml(Evarconv) |
| = fe8ca9cf716175388b4409c03e17658c | ocaml(Evardefine) |
| = 3428df78067bc43360db82565604d135 | ocaml(Evarsolve) |
| = e498f9d920d45be1f78891569f3d02e5 | ocaml(Evarutil) |
| = 7801c47db8f2d9004d9cee2602a72d51 | ocaml(Evd) |
| = 766d613c58c5e25783f49ff1e5b36922 | ocaml(Exninfo) |
| = 8f3d3aee03298d6f7ff2c8b208ad0498 | ocaml(Extend) |
| = fdd86db306fda87185be4fa90f2a0006 | ocaml(Extraction_plugin) |
| = 2677b4316cd66d0a80bf553e65ffbafb | ocaml(Extraction_plugin__Common) |
| = 557abedb34df632c626b3974b9d9a9ff | ocaml(Extraction_plugin__Extract_env) |
| = c81d28780c6e34232924dc640b522df0 | ocaml(Extraction_plugin__Extraction) |
| = ef4e75fef750c81d3010d5205c8c6733 | ocaml(Extraction_plugin__G_extraction) |
| = b8ba73cb9d741ac5294ec364fc550a0d | ocaml(Extraction_plugin__Haskell) |
| = 730158f16e2ad36dee9a5e318946bd84 | ocaml(Extraction_plugin__Json) |
| = d2daf1f684cf83b41f09829d7f2b7552 | ocaml(Extraction_plugin__Miniml) |
| = 974499eaadc997249cfc96f0fbfdfabc | ocaml(Extraction_plugin__Mlutil) |
| = d3d8d69f12153e4555f4e315684e046f | ocaml(Extraction_plugin__Modutil) |
| = 6f522e0e8dfc7b74d2f1e7f7e8b615b7 | ocaml(Extraction_plugin__Ocaml) |
| = 87d11cbe8ff819f3e95934c271c893ff | ocaml(Extraction_plugin__Scheme) |
| = 8d6ab3ccf270a1b95c298e39cca5f08d | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = b8e1b1bcd1fe2af0f5efe4d42aae93db | ocaml(Find_subterm) |
| = 974870c1e0c3303435a343893f7444e8 | ocaml(Firstorder_plugin) |
| = 9f1ced998d2a291c9071511dcf3cf813 | ocaml(Firstorder_plugin__Formula) |
| = 5ed577e2043be537ba24396334d0424e | ocaml(Firstorder_plugin__G_ground) |
| = 6bc98d9a803eae552c0af502d9a77ff4 | ocaml(Firstorder_plugin__Ground) |
| = 31ff0deb1f4bca4450e5c7708e176ded | ocaml(Firstorder_plugin__Instances) |
| = 2622dc299784d74a128775b95ca6949f | ocaml(Firstorder_plugin__Rules) |
| = 33ecc3ab0d4d8cbb72e1caccadef5bd9 | ocaml(Firstorder_plugin__Sequent) |
| = 909821ef99c0034b33c6860accc7b6c6 | ocaml(Firstorder_plugin__Unify) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 712fa5d21be885f62f4afb0c1b2e620e | ocaml(Float64) |
| = c4fcfb496ea89ff8b1f8cf244b6d40f1 | ocaml(Float64_common) |
| = 235bc69fea943bef8593f9b00b9d5d50 | ocaml(Ftactic) |
| = ac7a138ea913bafeee82c6cde006e5c3 | ocaml(Funind_plugin) |
| = ee95702eb600cfc4bdfd2317a0ca6148 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 684a088e2420f57ea5e66b9e8671d8d6 | ocaml(Funind_plugin__Functional_principles_types) |
| = 328c9d6869718ba584a18a28c5131232 | ocaml(Funind_plugin__G_indfun) |
| = b8ea43ec8dc691348a547487ab1d5c4e | ocaml(Funind_plugin__Gen_principle) |
| = cff1256359ec492c5a18194d89770f02 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 49d76c46a1599bbef803337bcd20fb58 | ocaml(Funind_plugin__Glob_termops) |
| = 1e9ba2e96a1a96bdae8f432a67cec55e | ocaml(Funind_plugin__Indfun) |
| = 64ad5650d148ff12f77940f8887cb194 | ocaml(Funind_plugin__Indfun_common) |
| = 1efeb8db04eb63d1025e5bba98d4c414 | ocaml(Funind_plugin__Invfun) |
| = 8c390ac5f06d4db94222865a6ceb7c5c | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 7a0613286b0065912d96d128cf376bee | ocaml(G_constr) |
| = f1151d6f8a63f69543ae1b0a6d1b2544 | ocaml(G_prim) |
| = 92a3d7f9235e02802469398f948d5c3d | ocaml(G_proofs) |
| = e54acbe7e71d10bf02c8c46d44b80e28 | ocaml(G_toplevel) |
| = 9ea5b298211a2aa2e102c9660e5bbe90 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = f9c42c5b2c5681eaf7e0e49808e93ddd | ocaml(Genintern) |
| = 3425ad20575082d95c850c333be60921 | ocaml(Geninterp) |
| = 092559a8daae9547da5b338d63d62f84 | ocaml(Genprint) |
| = 626bb52775c1748e2c3bffbc6b812083 | ocaml(Genredexpr) |
| = d745ee6d77006ea2b750c1b41da66134 | ocaml(GlobEnv) |
| = 72974471aa15f3cca820654475d61f32 | ocaml(Glob_ops) |
| = 4533a1278fddf471cfcbda9e5b5232db | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 0cde525ff2938a030d830223839482ec | ocaml(Globnames) |
| = 6c36abc34e3c0219300bf334533445bf | ocaml(Goal) |
| = 5303e7040d3cbac08b6a3602be100ecd | ocaml(Goal_select) |
| = 532e5d7e6f0744645df21a2de260a413 | ocaml(Goptions) |
| = c4cb68462c40a1ed4d57b1221c3328b8 | ocaml(Gramlib) |
| = cceadee5ba8287671304df971ae88da1 | ocaml(Gramlib__Gramext) |
| = 5f1a768cb2e6988d339c385f733c0143 | ocaml(Gramlib__Grammar) |
| = b8133aac91b79d4ad41ed01ab52880da | ocaml(Gramlib__Plexing) |
| = 46d58cc9b563a841672729abe6d0cad1 | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = ae839d8ae1693169aceb1c2e64abd9c1 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 76a1b67e644044e04312020e7efed39d | ocaml(Himsg) |
| = 3a9a0ec6a732148db08f2b90c9dbe88e | ocaml(Hints) |
| = 7aa5f74eebdc7c41fdbb35877a0c8346 | ocaml(Hipattern) |
| = afc10af2a433f78a0df71272ef5bb0eb | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = df2b410f42f3aba42107bfd927a4c601 | ocaml(Impargs) |
| = 6e4f1428b681732de1c97c5a9b817d87 | ocaml(Implicit_quantifiers) |
| = 7fd0a95867733a6f1f332c3b6afe4c29 | ocaml(IndTyping) |
| = 4c7455db4b1d8ad88f5f4c8bf6402af2 | ocaml(Ind_tables) |
| = bee3595fe637a02a7d8e46aa6ba68294 | ocaml(Indrec) |
| = a3255fb7501d600a4ec4e32942189de5 | ocaml(Indschemes) |
| = dd582593e5a1ba206cddcf2923655798 | ocaml(Indtypes) |
| = b086ff05d829c607f8425835f6844df3 | ocaml(Inductive) |
| = 88feb584272b6994ff428b275bc6015c | ocaml(Inductiveops) |
| = b35aecd957a5d4de7423ee414afc357f | ocaml(InferCumulativity) |
| = c638a3a3a3350b9a3cd3aecfc1548b44 | ocaml(Int) |
| = 87df5e4766260236b23c453288e9777d | ocaml(Inv) |
| = 53b528fb167dd297bf9b2ad4fca98115 | ocaml(Keys) |
| = f9950e89686bd059defd6cda6a25c5d3 | ocaml(LStream) |
| = 64a196b7833437ec6921775c5de57961 | ocaml(Lib) |
| = 7e72e6b9f7e5a2d16c610b7149eb377c | ocaml(Libnames) |
| = 33613ae7ae8a9f294163246e5c7d4133 | ocaml(Libobject) |
| = 57e9260b34f664211989bcc3e99909b3 | ocaml(Library) |
| = 6605236b96c139e644909eb14686ccb8 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b91e1cdf8560a02599ec3b484a0faa53 | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = 13c4bebf9827283a2773b474406ee42b | ocaml(Logic) |
| = ad1c2d56a37c94474486c95b0b560584 | ocaml(Logic_monad) |
| = bb0c1877449e421d8427bb35611e5d33 | ocaml(Ltac2_plugin) |
| = 7441004ffc5703c49c7e8c5827170e33 | ocaml(Ltac2_plugin__G_ltac2) |
| = ab0bb2879f762f640a390dfb5255d45e | ocaml(Ltac2_plugin__Tac2core) |
| = 32c9e1137345bb2448b1b4b2a83a6973 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 6cb71431b99a57fb690ec87a683ded3e | ocaml(Ltac2_plugin__Tac2entries) |
| = e15e0caddaaa677c501cc6483029efc7 | ocaml(Ltac2_plugin__Tac2env) |
| = b9f2befaaf66b5b7e605db0828027e76 | ocaml(Ltac2_plugin__Tac2expr) |
| = 07c71c50ed1cbf174f157a4da537d846 | ocaml(Ltac2_plugin__Tac2extffi) |
| = df35daa2225e1451b71cd0761e629d26 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 490bd474d7e72a9a8e1d9e13757c051d | ocaml(Ltac2_plugin__Tac2intern) |
| = cb36f759ba7bfa7e644f632a3fcb7fb9 | ocaml(Ltac2_plugin__Tac2interp) |
| = 54284665a2f5748fb8ac5964831cc333 | ocaml(Ltac2_plugin__Tac2match) |
| = ace63425ac98abb66d981e13a615a445 | ocaml(Ltac2_plugin__Tac2print) |
| = fd905b6c2d8af1f39001d10020d4c407 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 781aef67dfe9c5b964ef22cec74ff0a8 | ocaml(Ltac2_plugin__Tac2quote) |
| = bafb212b7cc5620b3cbd2f55c7a087f3 | ocaml(Ltac2_plugin__Tac2stdlib) |
| = 1c1f4a87d8754387d20e8e7c3a689127 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 3ee5b6d9a8221cdaa5271b349f0b9d65 | ocaml(Ltac2_plugin__Tac2types) |
| = bb15dbe4f28c600db9de476703ea1b94 | ocaml(Ltac_plugin) |
| = 7862b3c490d66084278f856a9a696610 | ocaml(Ltac_plugin__ComRewrite) |
| = 8319d4ecdfa85afd87fff24d4b79955b | ocaml(Ltac_plugin__Coretactics) |
| = ac7649bacfc54217b3726abd8ba2eefd | ocaml(Ltac_plugin__Evar_tactics) |
| = 32802bb44cebd4d7aa11496d2a7b89d9 | ocaml(Ltac_plugin__Extraargs) |
| = d4451ecdf7fd6c8c477701b85c23f75e | ocaml(Ltac_plugin__Extratactics) |
| = 90f731840d5ddf80bcd2188509656dee | ocaml(Ltac_plugin__G_auto) |
| = 88f18a0438a36762379fcbd83e4a0f04 | ocaml(Ltac_plugin__G_class) |
| = 5b73db2704b2108fe7c90113f0c3ed94 | ocaml(Ltac_plugin__G_eqdecide) |
| = cb95f6bdce7de27f6c1dbab18b84d725 | ocaml(Ltac_plugin__G_ltac) |
| = 1348e02c46652af41a2cac3ffb89efe2 | ocaml(Ltac_plugin__G_obligations) |
| = eca154a94717992413547a3b4afdd68b | ocaml(Ltac_plugin__G_rewrite) |
| = 1c5415495d0d0d922502c47274659fbf | ocaml(Ltac_plugin__G_tactic) |
| = 830affcc256498d0d01910df2b1e78d3 | ocaml(Ltac_plugin__Internals) |
| = 7d5c31c53498df384e9cf33699c13a97 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 107f9608b253eb0c2c03dd51a5c31ebd | ocaml(Ltac_plugin__Pptactic) |
| = 5f42700b3739e74db8f0006aeb46a0ec | ocaml(Ltac_plugin__Profile_ltac) |
| = ecb7c15c9b3c1b3c4f27b52dd04505b8 | ocaml(Ltac_plugin__Profile_ltac_tactics) |
| = 914c6f680894df96a08d1605def5b5a9 | ocaml(Ltac_plugin__Tacarg) |
| = 7843e413a27cc23687cf19b04f6d88bb | ocaml(Ltac_plugin__Taccoerce) |
| = d79565bb0bdf241fe57ffff29b9f05b5 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = db03a7b8c07c50868303ed8334ed82e0 | ocaml(Ltac_plugin__Tacexpr) |
| = 4b53cc9dcbcf64616b1cb9d81e04b5c2 | ocaml(Ltac_plugin__Tacintern) |
| = f057a4f45fb07340e0e8844b2c99392e | ocaml(Ltac_plugin__Tacinterp) |
| = f7b4e760d6387d3a44aa62f54dbb1013 | ocaml(Ltac_plugin__Tacsubst) |
| = f4e8deb826de3c96b31b19a548f1249e | ocaml(Ltac_plugin__Tactic_debug) |
| = 85267e743f7289c9af9f6e32135d91ab | ocaml(Ltac_plugin__Tactic_matching) |
| = c107412336e1c51d1f30c37e887d6b79 | ocaml(Ltac_plugin__Tactic_option) |
| = 1a5459876be0aa010ebe6bdd23c6fd37 | ocaml(Ltac_pretype) |
| = 47a92a3248e359a421627ee6c43007a1 | ocaml(Metasyntax) |
| = 477e4d683c0b40afe138ea0fb8efd814 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = 800ea6574a0deacabdc4a26c1b68d9c8 | ocaml(Micromega_plugin__Coq_micromega) |
| = 5eae51a15e6b9a469ddcd827bcaf8fcf | ocaml(Micromega_plugin__G_micromega) |
| = c1ba79e6d489268738330e0d9ebe3803 | ocaml(Micromega_plugin__Itv) |
| = f887ba302ad57cfd74ecceb54f93ca0c | ocaml(Micromega_plugin__Linsolve) |
| = f92b4cac9f443839b1fd033e90bd94b1 | ocaml(Micromega_plugin__Micromega) |
| = 124f7df6a43d90c1a1501bbf817733fa | ocaml(Micromega_plugin__Mutils) |
| = 129cfa827358628f55c4b6833ec95dba | ocaml(Micromega_plugin__NumCompat) |
| = b4ae1739c93ce13857ec58f928b2d932 | ocaml(Micromega_plugin__Persistent_cache) |
| = e8848d938f6e46de93d27011521c11d9 | ocaml(Micromega_plugin__Polynomial) |
| = 9b2002802ddabd5c4c388477615d1498 | ocaml(Micromega_plugin__Simplex) |
| = 13dcf98dbb95973cee2d78186501169d | ocaml(Micromega_plugin__Sos) |
| = 2ec98bbf51e7cecd1ac269c30d783704 | ocaml(Micromega_plugin__Sos_lib) |
| = e78ffadbd99b0415f9ef68ce9bc030ae | ocaml(Micromega_plugin__Sos_types) |
| = 06b1789ffca7853552bd33a0e16f27d7 | ocaml(Micromega_plugin__Vect) |
| = dead541e824ffaa9f6b36a443ebdf101 | ocaml(Miscprint) |
| = 04b802c6f617661d63eb8adfe76b0100 | ocaml(Mltop) |
| = b56a185b9f7bb6f0f0f519c06bf981db | ocaml(Mod_subst) |
| = 326e1f8d63d788f9830f3d1770478bfa | ocaml(Mod_typing) |
| = 8c9ef6e6ad38e46d6187cebd47dab344 | ocaml(Modintern) |
| = 2f5106a546728c8a9dc308a95876078e | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = 0a8addd4f715e43f63deeddff67666bc | ocaml(Namegen) |
| = 0370e4e902f299a0a716b28375cf67fb | ocaml(Nameops) |
| = 0b6c349e44c595f40356f60ca49fa766 | ocaml(Names) |
| = 939eb1b5d6f3dab8fc7aa53d76f8cd46 | ocaml(Nametab) |
| = 02dbeca2f7bfac8ee80f221d7d1bcb8a | ocaml(Nativecode) |
| = 60d8b9f9f4561c30226973b77f29c919 | ocaml(Nativeconv) |
| = 219578857e7b319faa4d145a4fa5ff68 | ocaml(Nativelambda) |
| = 7b23ee7251439aa612f59354c020ea67 | ocaml(Nativelib) |
| = 0f113430f9645d3876eba86e526ed5ea | ocaml(Nativelibrary) |
| = b6141c50b88274d770d746174ed6a19a | ocaml(Nativenorm) |
| = 151356e5f71c48ba131e257d7b5d6b0e | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = 6687290488ca913493273e35ec9140c4 | ocaml(Notation) |
| = 26cc7b8a624df72d8a961e49bbd4c685 | ocaml(Notation_gram) |
| = d0e23d53b27691b62480a8ce4af6f3da | ocaml(Notation_ops) |
| = ba7e10bd6c980ba842674b92c4fd32b8 | ocaml(Notation_term) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 1b6976b6917d803cbdf8de5f54fee594 | ocaml(Nsatz_plugin) |
| = a9ba8b3e58d4af8de146202a4585770c | ocaml(Nsatz_plugin__G_nsatz) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 1d1447b63f4059613156940faf20e246 | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 919d150c66ab68cf4c64598cc40be9c3 | ocaml(NumTok) |
| = 51ac4a03513f6ae660fff42d91271831 | ocaml(Number_string_notation_plugin) |
| = 669bed50f043b66917f473e6cc270163 | ocaml(Number_string_notation_plugin__G_number_string) |
| = d560cc4cf07ff534da923f83caddc52d | ocaml(Number_string_notation_plugin__Number) |
| = 123d97c5745d0c1fef510f3fbdfdc3e7 | ocaml(Number_string_notation_plugin__String_notation) |
| = bf14320ff736e5a8a90a032f530c117b | ocaml(ObjFile) |
| = b1745fe14cd37c212d34eea094f1b8df | ocaml(Opaqueproof) |
| = 8abed5317fc879dbf8d6ab6b78ee9461 | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = bf0feb2b99812624585018290a94c3e7 | ocaml(Pattern) |
| = 8f99781c06995f38b81f348e933ef80a | ocaml(Patternops) |
| = 30a4ee789831680c39f99302f3402899 | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = ad5c40eeffb62d378e92846c773ae25e | ocaml(Ppconstr) |
| = c66b14a7d4dd58e29bf6b63c5c4a043a | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 701b29514a3f59ab6ac3da555ee1bbdd | ocaml(Pputils) |
| = 40d9095fab82ed95c204afc030f8ce39 | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = da011f47db15648d1921b7ee98e96149 | ocaml(Prettyp) |
| = 4f0e6bee2956221e0d19c7a4d6232f5b | ocaml(Pretype_errors) |
| = a6903cb3010cce9b1b538151878854dc | ocaml(Pretyping) |
| = 97ca1d481f50c1c9701babd2fd24fa01 | ocaml(Primred) |
| = 1508d255db0d0f15754cef32e692257a | ocaml(Printer) |
| = a149b8d341f58a9ed12d0b9640d7e7bc | ocaml(Printmod) |
| = 2624aeedf972f229030473e90e66f802 | ocaml(Program) |
| = e0acf16fbe54fc07c8509cc29dd691af | ocaml(Proof) |
| = d4231cd59ef7cdd50eb3b6ada466095c | ocaml(ProofBlockDelimiter) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 5b4a14e9ee97f49f21641d79a760a9fe | ocaml(Proof_diffs) |
| = 0e6b867bb35f79d409de49d232158d61 | ocaml(Proof_using) |
| = 3d6152dfc2a51be0829e6bb46552105f | ocaml(Proofview) |
| = 7f12467494a6d7b1e7a1ad7c434aea2d | ocaml(Proofview_monad) |
| = 1851fe26b4a9ac0a8bc026b857dc4b3e | ocaml(Pvernac) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 7c37241cff05db7ac0a1329193879e09 | ocaml(RecLemmas) |
| = 395d7268652e7b9d171d02c26be239ba | ocaml(Record) |
| = 358ce56fbaf02036c310a0dc80dceee1 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 3523f631320a31383fd961d753a8e437 | ocaml(Reduction) |
| = 589f659dcd35d95083d18864277f803b | ocaml(Reductionops) |
| = 38cbc3a1c87f430244465ba02a3f670e | ocaml(Refine) |
| = 0dc4460587e822b7317f3d06ba93ac1a | ocaml(Relevanceops) |
| = 5c7a8afa4a7a2efc34a56915ea56d9f8 | ocaml(Reserve) |
| = 25482df7bf0c95ee7a7420fdc7b077ff | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 903d124e51a22bd2a47af1c46401859f | ocaml(Retyping) |
| = 053c386ec826f0c3cc95bbc663b2e66a | ocaml(Rewrite) |
| = 59777bc023dc2f779226cc57a4f18948 | ocaml(Ring_plugin) |
| = 897965d8515e7a19e237acabe4ab85b4 | ocaml(Ring_plugin__G_ring) |
| = 8dec7d911b8640ad844c40a9506a5a62 | ocaml(Ring_plugin__Ring) |
| = 8bf8f13d56dd035d227a563725c6b9ba | ocaml(Ring_plugin__Ring_ast) |
| = 1ccac922ee6c453c5b78275edf751850 | ocaml(Rtauto_plugin) |
| = c83d11d4fb01d6bbb66b6a2d4dc42bc5 | ocaml(Rtauto_plugin__G_rtauto) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 592092c6dc6e41e93c33f1a93a254861 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 2cfd62ffab10a60ce3b0d9eae3e38881 | ocaml(Safe_typing) |
| = 663f18873ffa3dc0d069b7fe4d96b45b | ocaml(Search) |
| = 68f3c3d655a9890cf3b21f6b34e3160c | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = c896fb1b0fea255b7a392a0203129c74 | ocaml(Ssreflect_plugin) |
| = c59335353fd407813ec94554fd1fd19d | ocaml(Ssreflect_plugin__Ssrast) |
| = 5f05e161434831370e9fffc618b053aa | ocaml(Ssreflect_plugin__Ssrbwd) |
| = cf646a48644671d515aa1bbe3d475ba2 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 4338e5d8944055936152bb3409cb07ca | ocaml(Ssreflect_plugin__Ssrelim) |
| = d8020755c5f13cd69ada8eca975bd6db | ocaml(Ssreflect_plugin__Ssrequality) |
| = c6a7de212a82cc05b53088967e27e0f9 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 0b6c89ea25f6dd09c0ef8a7be169a231 | ocaml(Ssreflect_plugin__Ssripats) |
| = 3a2558fcb2a3791cbb93a45b46ed40cb | ocaml(Ssreflect_plugin__Ssrparser) |
| = c0673d4b90ef445ee20b5ae714eb5517 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = a94e7c266a7691e87b41093cc36ac4ae | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = ee60bc5e1a384c959b2d04b4ea6b3296 | ocaml(Ssreflect_plugin__Ssrvernac) |
| = 77c8815cedf7167ec319e5ff21e1fa81 | ocaml(Ssreflect_plugin__Ssrview) |
| = c3e1af22ac2aa8657b01523f06b2d5e9 | ocaml(Ssrmatching_plugin) |
| = 0d321e02e50644ef5eb6303576045830 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 668a23919be6745b246370aecd65f2cc | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 9919abd709603092de7b5aa43fa0e8ff | ocaml(Stdarg) |
| = e9771057e3147fe83744d71535a360c6 | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 349c9a69e789e6bd020acecb69ee10be | ocaml(Structures) |
| = d6a8dcb20483df9e8e3c73cbdee5b45f | ocaml(Subtyping) |
| = c563d6bd180e6b78f0f0ca461607f4bd | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = f589b85b22b5f00627cf4d9f6681e407 | ocaml(Tacmach) |
| = 1bcf5d6b2d87bb2d7696492a83cd30ea | ocaml(Tacred) |
| = 87cde9a3ed05f21524a5e0190cfd0bb7 | ocaml(Tacticals) |
| = 34eb6eacaec827fb614cac476b2bafa9 | ocaml(Tactics) |
| = b9e19e5a5f9b5b90dd92fc062230a5cb | ocaml(Tactypes) |
| = aa8f4685317ce8dff797fb032be373f3 | ocaml(Tauto_plugin) |
| = 349c1525b6f814ab8fa0af79099ba65b | ocaml(Tauto_plugin__Tauto) |
| = c1500a859572f47c5adeb740fbcebf6b | ocaml(Term) |
| = d122216f951f7e463242ade7ce397ab5 | ocaml(Term_dnet) |
| = 99f9b52aa6e2484189d2e8df6b349e8e | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = ca7a782d91f103df7414424beacad2e6 | ocaml(Termops) |
| = d7f575ffa78825bb266417e4b337bcdb | ocaml(Tok) |
| = 56f2d8bb0d193f24f48315c6f79a80a2 | ocaml(Top_printers) |
| = 9bd1f1603123496f4fab7218e670d476 | ocaml(Topfmt) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = dbaec1601de88187931d58b1545e2bc7 | ocaml(Trie) |
| = 812cf3340836e621be63fa9aa920f56c | ocaml(Tuto0_plugin) |
| = 3f1b217a49ed2f0273a81b19da082891 | ocaml(Tuto0_plugin__G_tuto0) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 9cb6b709539dbad0cbe61a556c4bbd59 | ocaml(Tuto1_plugin) |
| = 58094dcfcc10cdeec52578fef301f327 | ocaml(Tuto1_plugin__G_tuto1) |
| = 9f92f909f667ba2f13875ff30e150cf3 | ocaml(Tuto1_plugin__Inspector) |
| = 13267d5660158f59c566c74059f967fa | ocaml(Tuto1_plugin__Simple_check) |
| = a268bc8964d4db75e3cae5cc1981b7f0 | ocaml(Tuto1_plugin__Simple_declare) |
| = bef62b8d37aa21dd32ec1a82174483a6 | ocaml(Tuto1_plugin__Simple_print) |
| = 117dad8dfb3fbf1d4f7967854193338f | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = 73d6fd2ad4dde2ad26a79654cac26d40 | ocaml(Tuto2_plugin__G_tuto2) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 0c73a52fe51cfe8d55f24c9edcd2421d | ocaml(Tuto3_plugin) |
| = d7a881140435372c64e3efa917b9cf6b | ocaml(Tuto3_plugin__Construction_game) |
| = f6bc20d3b2a1cd7cbcb8cbf00c546e3c | ocaml(Tuto3_plugin__G_tuto3) |
| = c067205f4e2a065d2434ef90fdd94a4e | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 0c0828c2a9ff92cc716465e0013a0769 | ocaml(Type_errors) |
| = c82cf14a959ab2a132030ef8b5b5bb4c | ocaml(Typeclasses) |
| = 91fcea315f9e707674cdae735a2c33cc | ocaml(Typeclasses_errors) |
| = 44ed108471c7a7400a5fcc850ba1e0be | ocaml(Typeops) |
| = 696857366a11b930eea9840e47c39d4e | ocaml(Typing) |
| = bd28bddd5c33ca5c1a5f9f43f907e5da | ocaml(UGraph) |
| = 3ec987d0c982616ff943f71f05e2c111 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 3e22c9e8fc6924cded99cdc50b4dde0b | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = bb08182b91ec85ec72551ce13bfed01f | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = 6feb5ec642e4daf30a0944e888214cea | ocaml(Univ) |
| = c08393c720001d4601ab69c764edae38 | ocaml(UnivGen) |
| = a14b8f2bfb556a067a30c7c3edf09375 | ocaml(UnivMinim) |
| = 9f0af4e2cd7c9a6a04f181684ebd75df | ocaml(UnivNames) |
| = 0bf19edcf4c9ada1dd5cdb51d579b1fc | ocaml(UnivProblem) |
| = 2c793a58009dea74a325c5082597d844 | ocaml(UnivSubst) |
| = 46a1f0249bfbf29202e10de25200d4ea | ocaml(Util) |
| = 73a674179608a349a8f3d001ee037f1d | ocaml(Vars) |
| = 7cee5a6c0faacb4e9ebf86fb667ad05e | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 43ddad20b726927bcb491b9dad99dfee | ocaml(Vernac) |
| = c52eee082c33aa6b03c24069065d6b43 | ocaml(Vernac_classifier) |
| = ddcaab825bd3b96146a0d4b0ad10fd37 | ocaml(Vernacentries) |
| = 31bf27dcb0e938a20d1797f40b7144ae | ocaml(Vernacexpr) |
| = b507ea2d1a0f49d7fb3939c2f335eebe | ocaml(Vernacextend) |
| = dae6e02ea3bae9b78083a74bd7388512 | ocaml(Vernacinterp) |
| = 9b0ca758b7fe1839325d927a5994eebb | ocaml(Vernacprop) |
| = 365874fe1588a2549b04049dea924707 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = f75880ed7df49928430f842fc3ba82ae | ocaml(Vm) |
| = 88733f1084158f9273bb318495213675 | ocaml(Vmbytecodes) |
| = 76fa264acca66b07c1485aeec8bd1117 | ocaml(Vmbytegen) |
| = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 | ocaml(Vmemitcodes) |
| = 9a79aee1037366c0f07196ba545e75f5 | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = bd114711d566fec5fadf3e8314768f6b | ocaml(Vmsymtable) |
| = 6cfd8f0d13168b127ebed3d4375b15c3 | ocaml(Vmvalues) |
| = bd874b0b0dce77d32e4d24ddb2379d1c | ocaml(Vnorm) |
| = ea846ec7f2e66cbc8acf115cc9dea909 | ocaml(WorkerLoop) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = 61512478af51fb18cb17e36ae0122e4b | ocaml(Zify_plugin) |
| = e123953b94a927241402faa568d57b31 | ocaml(Zify_plugin__G_zify) |
| = c0c1d4967746ed66dfb1a7d6dd2730c9 | ocaml(Zify_plugin__Zify) |
| = 50e1624d927e3c61c07d070f9da916aa | ocamlx(Abbreviation) |
| = 5fac285404dbc7538b5809ebee105913 | ocamlx(Abstract) |
| = 1b145085ae1fd3f258493f2137a3e6c5 | ocamlx(AcyclicGraph) |
| = 3000d4f77c236b6658446d6e6f1a0c11 | ocamlx(Arguments_renaming) |
| = cf856408a1a7ccff4c2f9f7f51c38d70 | ocamlx(Assumptions) |
| = 871fd95543665183fc91af3160782ec3 | ocamlx(AsyncTaskQueue) |
| = 159821230d9aace259c74afe7db644d8 | ocamlx(Attributes) |
| = 889ce0ea4b34b80dd12d32c5fda5a43e | ocamlx(Auto) |
| = a64a8b2fc185263dbd218062a3f3da2b | ocamlx(Auto_ind_decl) |
| = e14a69822138dda9030a58d6ac8976e2 | ocamlx(Autorewrite) |
| = f834fd3a997336b4bfb0a4f2e18dd824 | ocamlx(Aux_file) |
| = bc1d5fdc1e51ac3821e54c2aca07ba9f | ocamlx(Boot) |
| = 7c9c856bbcd7295ead7b9b652f0a69f0 | ocamlx(Boot__Env) |
| = 832576dfe2653aeced0df3ccf916b552 | ocamlx(Boot__Path) |
| = 07ce9c1cd0e9bf51a6f48abd44374904 | ocamlx(Boot__Usage) |
| = 5b1794f3ef993860ef8127683edb9e63 | ocamlx(Boot__Util) |
| = 341420e31c0382d9f68dcca9cf6866ee | ocamlx(Btauto_plugin) |
| = 08ac2117343035775874aab3557f8335 | ocamlx(Btauto_plugin__G_btauto) |
| = 492f37b7aad1f2d613420250a8eb326f | ocamlx(Btauto_plugin__Refl_btauto) |
| = e3007dad98e0df94913e28ca1f1f9d1e | ocamlx(Btermdn) |
| = 6bdacb19708dd8151c28e7c5ed7dcf63 | ocamlx(CArray) |
| = 0af0809605ac2603838a903572ae6506 | ocamlx(CAst) |
| = fefbab178eb6907301d77159ad8b053d | ocamlx(CClosure) |
| = eca8cf4a11adccbd1bb0c24bbad60228 | ocamlx(CDebug) |
| = 1937a568693350c13ffb13c56320461d | ocamlx(CEphemeron) |
| = 4341153e218f709bffcc77aed577f4d0 | ocamlx(CErrors) |
| = e39df2a3e156ab6b4ab823288efc4b85 | ocamlx(CLexer) |
| = 60f71f67a51e93007083f2dec76aef17 | ocamlx(CList) |
| = 0426e328047a42191d2412ab7f77ed15 | ocamlx(CMap) |
| = 6e6ac1878d614429ff8a0738fd6ce516 | ocamlx(CObj) |
| = 8ede82ac5f8aa6e21be1bb80e177090d | ocamlx(CPrimitives) |
| = 5c3516ef610cf9875a5d68cfd26a8421 | ocamlx(CProfile) |
| = 79babf07129194b39ae7c90cef75a6fc | ocamlx(CSet) |
| = 8ec3d7e1080b998558714b40453f4be7 | ocamlx(CString) |
| = ed505774fd414da049b9d510c56bc5cb | ocamlx(CThread) |
| = 741acea2ee4b959013ea654e0871dba6 | ocamlx(CUnix) |
| = 738a94694d455d1c3b19693175673325 | ocamlx(CWarnings) |
| = 23847ea62a38ed4456dc785815b860b4 | ocamlx(Canonical) |
| = b7def93c5d7a716fef55ac7f7a754662 | ocamlx(Cases) |
| = cfc1abc6cf20e0d42e08d402d718043d | ocamlx(Cbn) |
| = eed840871696c4bd6fe27f999b2c0842 | ocamlx(Cbv) |
| = 2f23cf69bae81a2ebb250c91ad9cc184 | ocamlx(Cc_plugin) |
| = 0c42a49fd1656fa9e4e9f06b97ecb231 | ocamlx(Cc_plugin__Ccalgo) |
| = cd142c8063fce2e8daba5f482c85c117 | ocamlx(Cc_plugin__Ccproof) |
| = 4e32799ed9438221c6b68ca16d0120c4 | ocamlx(Cc_plugin__Cctac) |
| = 3b116ce24d037996d05ec893a6b7b1ec | ocamlx(Cc_plugin__G_congruence) |
| = 13a8e3f83d14603e066bb19a7707af19 | ocamlx(Ccompile) |
| = 586de33ce73a7adb7975c7241dbae57f | ocamlx(Class_tactics) |
| = 391a380bcb19bd9b478bdb42bfb3014a | ocamlx(Classes) |
| = 6596cd859546f31c5d0030e9f8a1c2bb | ocamlx(Clenv) |
| = 3240fec3f6ce71bbbed3a59ba3995fb8 | ocamlx(Coercion) |
| = 506650236a0366c67ba40425027c20e2 | ocamlx(Coercionops) |
| = 2dcf78bd19df8a5807abe710aeb908ea | ocamlx(ComArguments) |
| = 4f76c04c9375dc448e7fc6366cad8146 | ocamlx(ComAssumption) |
| = fc06d439dd39ca24eae09fc9589c2612 | ocamlx(ComCoercion) |
| = 44fc31b761d0ddd4fdf71550190e98e6 | ocamlx(ComDefinition) |
| = acedf9bef353ede3e0ee30d1249d97b6 | ocamlx(ComExtraDeps) |
| = b6bde10d4d858587fc0c3ac6140aeb4c | ocamlx(ComFixpoint) |
| = b01363122ea6ea1517126dc8aa58a918 | ocamlx(ComHints) |
| = 8843959c564c07be4555768bd60b753a | ocamlx(ComInductive) |
| = 6fd7f4b19fbf19b6f7ffe3f43100a06c | ocamlx(ComPrimitive) |
| = 078accf0b049961d006625d56041eb0c | ocamlx(ComProgramFixpoint) |
| = d2897c10e8b90244f55e71857b1dc1b3 | ocamlx(ComSearch) |
| = c54c4324c77a0a88aca6c936f2a95e3c | ocamlx(ComTactic) |
| = b119ab65c6d6ac282c68078d00450953 | ocamlx(Constr) |
| = 5d4cf1d8182c8eb327d67a4c0330adfe | ocamlx(Constr_matching) |
| = aa00de2e5373d8edbd776f3ac136f80f | ocamlx(Constrexpr) |
| = 0705c4a277a9c69f3cad004ac77f9fac | ocamlx(Constrexpr_ops) |
| = ee898b0d5d075e617734ebf13878f8ec | ocamlx(Constrextern) |
| = b3789ad9037e62790ecddb42fde4ed43 | ocamlx(Constrintern) |
| = 1cd375b28580e61bfae80d0806f34f54 | ocamlx(Context) |
| = 7a0c7941128ca2dec8fdb8b20395623e | ocamlx(Contradiction) |
| = e876c640b35410d1e0fd4a3cdda75c99 | ocamlx(Control) |
| = 4932872ce37f33efc17383f9a7b325f5 | ocamlx(Conv_oracle) |
| = 12f7e7e96907c7024d8742089ad3f067 | ocamlx(Cooking) |
| = c849cc0e39b186f2f5d627d7f296a735 | ocamlx(CoqProject_file) |
| = ac59cff8636ca6c0f7dd589547508ced | ocamlx(Coq_config) |
| = a9086d5e31a535e7f37df70a2c662707 | ocamlx(Coqargs) |
| = fa37e14b01810a1eaaf2745a77fe785c | ocamlx(Coqc) |
| = d8e0d3fadb8ba6b4a2796291ccac8434 | ocamlx(Coqcargs) |
| = a79d4229af6e7006e001ed9e2e3c8a9f | ocamlx(Coqinit) |
| = 2759c1da03ee885b98aefd08f244ae03 | ocamlx(Coqlib) |
| = 92d5a40a1e0bb43b1adb25eb0da070ec | ocamlx(Coqloadpath) |
| = e51eca7b074eb32d763d6f493d1ec1fd | ocamlx(Coqloop) |
| = a021a2afa50d162decfbb2f8030f4408 | ocamlx(Coqrc) |
| = ec0dd3dfefdd99d69f5da2c44ef655f3 | ocamlx(Coqrun) |
| = 0e8c70c801c5df1ed8f58219c5fc077a | ocamlx(Coqtop) |
| = 287e2b7f7497ac0bcffdd9d34ff6d783 | ocamlx(CoqworkmgrApi) |
| = d00b8e4cc73d9a30dafcd47f7dff0b88 | ocamlx(Core_plugins_findlib_compat) |
| = ba88c3803ac5bdb94ad0f583184a29ac | ocamlx(DAst) |
| = b5a1074f90c7f945b87b0ec72068b1b5 | ocamlx(Dag) |
| = 785da4532ffe3524ce71a17022a63610 | ocamlx(DebugHook) |
| = 39e40de00af99b73bae9a29e579954f0 | ocamlx(Declarations) |
| = 858ac2b2f5a71add00aa432e3d18315d | ocamlx(Declare) |
| = ec38b31c528c0f5e92fe90ab7b658d8b | ocamlx(DeclareInd) |
| = 3116d91dbf66cf0b754043f8dbcc357b | ocamlx(DeclareScheme) |
| = da16c3efc3d4f687d5db8b5db15ce5e7 | ocamlx(DeclareUctx) |
| = 94cec3db31a71a3b9a496ff328b0fd3c | ocamlx(DeclareUniv) |
| = 5283fa061917637ce2fd793d74ecd6a7 | ocamlx(Declaremods) |
| = 9848102cf53c60bd96c21a393a40c08d | ocamlx(Declareops) |
| = 6272b7513053886ce6bb038ebaaaa40c | ocamlx(Decls) |
| = 1bda1746533bdd72657c24029481a244 | ocamlx(Deprecation) |
| = 4bfed4f9c4227d7e97f0f9359969e727 | ocamlx(Derive_plugin) |
| = 0987996fb3b3f1a848cf4ce3dc08b761 | ocamlx(Derive_plugin__Derive) |
| = 31e726ed8010d51c322a7909d66fc940 | ocamlx(Derive_plugin__G_derive) |
| = dd5869aeab08a8035a61f1879dfed844 | ocamlx(Detyping) |
| = 9e863c7141ed3283a737857120311b7f | ocamlx(Diff2) |
| = 788115664e2352641f81514c140087f8 | ocamlx(Discharge) |
| = 8519c4c234269790502654ae85517c56 | ocamlx(Dn) |
| = 8b79514f8dcfcf2550a7d3fd9cd17d57 | ocamlx(Dnet) |
| = 72b7fdea63b1ebf1017635ab97257277 | ocamlx(Dumpglob) |
| = c6577d2f700efa858e4723700885fd6c | ocamlx(Dyn) |
| = 95550843c01c2a13b50a4e8161c2af91 | ocamlx(EConstr) |
| = 56ce19edc733e34fb46ce5d74a9c9172 | ocamlx(Eauto) |
| = 7ee6fe4b5ec6b8431ca90bbf5d973771 | ocamlx(Egramcoq) |
| = 9823f51b2fa3f61a2245ab0d082b9942 | ocamlx(Egramml) |
| = fe64a801bfa55791d29191fb5d97ea1f | ocamlx(Elim) |
| = d7d609e34929e6a7e0eb2990bc5b1f26 | ocamlx(Elimschemes) |
| = 0887416829876b850c4c87ae06589d89 | ocamlx(Entries) |
| = 9490ccdd2bdc086fcf4ce5752838cd74 | ocamlx(Envars) |
| = 46231b11b042bc51c2ba556bb8a2ede8 | ocamlx(Environ) |
| = 64e42f7d32e2b8f9eb44efa58b0b39e2 | ocamlx(Eqdecide) |
| = 88cfba358d464c454f690f0ada8bf4c6 | ocamlx(Eqschemes) |
| = 4ad97c3619eb5c5f3f0feb97b7ab97ac | ocamlx(Equality) |
| = cb6d1020132cc85838e2889bdae99670 | ocamlx(Esubst) |
| = 1227c60ca522a44fa1ab1d554f0e9ed9 | ocamlx(Evar) |
| = 81a0912d8d0276183ea532585281d24a | ocamlx(Evar_kinds) |
| = 55f9ebe1c76af2ac5fd2f9c6f37cf1cf | ocamlx(Evar_refiner) |
| = 70e3b390111955afc99b272bc578d0de | ocamlx(Evarconv) |
| = 1ca5eabdba89ddab5c79bc81406ad344 | ocamlx(Evardefine) |
| = 8f946166b8e8acfb0b955303b45328bb | ocamlx(Evarsolve) |
| = 8c68f71bce868da1cde03ae6a4b40f9d | ocamlx(Evarutil) |
| = 6461d7164b78a9b554be3eebb7b13b0f | ocamlx(Evd) |
| = a3073e2f4c98838abc11a00c37e29271 | ocamlx(Exninfo) |
| = bc78ba4503be0b7e2059acad4bd964d9 | ocamlx(Extend) |
| = 6fcff5b02a9436ef0b637c2d29e353c1 | ocamlx(Extraction_plugin) |
| = b1935136a66b8fef793d9fafe8282ad1 | ocamlx(Extraction_plugin__Common) |
| = ffd3ce21c3cea9c7579247385854ca73 | ocamlx(Extraction_plugin__Extract_env) |
| = 2d464b89e5cd6c4dd3d9058d76f502e1 | ocamlx(Extraction_plugin__Extraction) |
| = 03217c43fea52d872b8ccc9523b34104 | ocamlx(Extraction_plugin__G_extraction) |
| = 55b5fcb37b17f9bc86b55626d0ec2e80 | ocamlx(Extraction_plugin__Haskell) |
| = 28a724beb8a635b04a1dbc748f4a5d99 | ocamlx(Extraction_plugin__Json) |
| = 0ca8140a1eefd7d3fa66aa758eee9d15 | ocamlx(Extraction_plugin__Miniml) |
| = 429864c4a8275ee29c922ebbde338407 | ocamlx(Extraction_plugin__Mlutil) |
| = bce531e1d42c5980fe2087e791a35004 | ocamlx(Extraction_plugin__Modutil) |
| = 90ef542fb914fa84beaebf02ee05c024 | ocamlx(Extraction_plugin__Ocaml) |
| = e223b56334f5a6a31668fa231516c74c | ocamlx(Extraction_plugin__Scheme) |
| = 2fb40ee73ac5a137c5220c986b3d9986 | ocamlx(Extraction_plugin__Table) |
| = 2d99d2b73a186e4b47e7ca1f397918d9 | ocamlx(Feedback) |
| = 44e1b968f6dbb3a3c093070d611482f7 | ocamlx(Find_subterm) |
| = f846c99dbaa260cbe0e19175997ef3d1 | ocamlx(Firstorder_plugin) |
| = 77fed0c82bcc7bf3d8d05e5f99c8370d | ocamlx(Firstorder_plugin__Formula) |
| = 5a6b304379c53dcbfee2f268fe9d3f8c | ocamlx(Firstorder_plugin__G_ground) |
| = df51f5b52ec6eb2296dc5e5f1580a506 | ocamlx(Firstorder_plugin__Ground) |
| = 159bc9d20a8e0d217c7e3f4d1a719456 | ocamlx(Firstorder_plugin__Instances) |
| = d9b4e347bc20053ef0e82c9e9bcaec80 | ocamlx(Firstorder_plugin__Rules) |
| = f1fb1f1647581467c1aa6f1f089b33a5 | ocamlx(Firstorder_plugin__Sequent) |
| = bcbc3e4a6f8afda44f755f5bc09abbd3 | ocamlx(Firstorder_plugin__Unify) |
| = ca658325926313e0d426fff2b2033664 | ocamlx(Flags) |
| = b8fb97b58846eb9e7f689bc3498ff5dd | ocamlx(Float64) |
| = b5d2d56d91068a27beb0fedd1ea5d81d | ocamlx(Float64_common) |
| = f4697fd14beef5ff21f2d2397a94ac82 | ocamlx(Ftactic) |
| = 5dd7066c0be80e4ff9bda91f46d9e967 | ocamlx(Funind_plugin) |
| = 042b9be35b73fbd0a02cfad470866452 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 58d10ea8e80f477d7091855f35e9a31b | ocamlx(Funind_plugin__Functional_principles_types) |
| = 038842f1e30bd1468719864c53cd8b43 | ocamlx(Funind_plugin__G_indfun) |
| = 635756a12d381170eeb59872ce98b644 | ocamlx(Funind_plugin__Gen_principle) |
| = 034c539d400ab882cc2644568c06d4a2 | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = f19f40589b0acf9fe4f4b352342c34ed | ocamlx(Funind_plugin__Glob_termops) |
| = 9427bbadf9730051108ea5f6a360557a | ocamlx(Funind_plugin__Indfun) |
| = 0b4aceb084af8db269098be4c5766e81 | ocamlx(Funind_plugin__Indfun_common) |
| = bae44bf4a27b2909563fb4cbb0c2168b | ocamlx(Funind_plugin__Invfun) |
| = 03506935a81f32ab4a0ec1ca363989cf | ocamlx(Funind_plugin__Recdef) |
| = c22e5da42e10e34daadd1e90039e114d | ocamlx(Future) |
| = 1b201e96733de5265d5c6c1c72ae0545 | ocamlx(G_constr) |
| = d19bc5cac83fc12d0b4fe034f4d6d3dc | ocamlx(G_prim) |
| = be491d0aead5f2cde20fc415f81ce8f3 | ocamlx(G_proofs) |
| = 8ad7c2d9083a06b36d190828213bc0cb | ocamlx(G_toplevel) |
| = 567bfff860b8f0945a774dbb62eff75d | ocamlx(G_vernac) |
| = 5c51cbeb295b1eade09ff8292cd191aa | ocamlx(Genarg) |
| = 0cff5f1da229f31a17293abaf0725abc | ocamlx(Genintern) |
| = 8d02dd06bd079e971460e62420053d06 | ocamlx(Geninterp) |
| = 826f6af0443fc3502b4c81abddd54bd3 | ocamlx(Genprint) |
| = eb53cf73eb501a2450759db4386ed970 | ocamlx(Genredexpr) |
| = daef3006ff0e85062f2c668430bebc55 | ocamlx(GlobEnv) |
| = 8fade44fb1538167fc11f86d4dd81cc2 | ocamlx(Glob_ops) |
| = 351593dbf8f471177120577f3ad936c8 | ocamlx(Glob_term) |
| = 29414e3b37173ceaacbeed918b29113a | ocamlx(Global) |
| = 105a8bec89ded5d2c3ce72bfdcddfbb4 | ocamlx(Globnames) |
| = aa9ac226767eac8209791241485faaa4 | ocamlx(Goal) |
| = 4484f12636285d97b225b58f4d47535d | ocamlx(Goal_select) |
| = 38ece681f65f26eec4b055eb5f0ae4c3 | ocamlx(Goptions) |
| = 7c7f7e5e486fb70585b3002c1a477e8c | ocamlx(Gramlib) |
| = 55067521d0e2673f0d7697c559f2d2ff | ocamlx(Gramlib__Gramext) |
| = a64d92f94b0644e3b31a457d0bb233c5 | ocamlx(Gramlib__Grammar) |
| = 9a5f326928d422ce8c14e71f8defaea7 | ocamlx(Gramlib__Plexing) |
| = 7e56918c7e239b980efcc2026a1fc70d | ocamlx(HMap) |
| = 5670e182b8a5780aebadb15d1bfe74db | ocamlx(Hashcons) |
| = f142780e50e95c73e9f8c5abe88a9b3c | ocamlx(Hashset) |
| = 9c31ed55f8923fc7b7690083ac8fa87a | ocamlx(Heads) |
| = 5a6a359577c07c6606ca9d5394f6f5f3 | ocamlx(Heap) |
| = ffe88eb571c20106339ee8fbecee0b8a | ocamlx(Himsg) |
| = 9b598fcf70e5104b85d098e0c8ac5d18 | ocamlx(Hints) |
| = 82756a098902e5d81fb1b6f4fe5e9b89 | ocamlx(Hipattern) |
| = d4e25697a8559b3b429ed9144790abc9 | ocamlx(Hook) |
| = 6f509739c7a71eeb374f65b9d4fc92d9 | ocamlx(IStream) |
| = c8c5406b7b607f77a50af1894a2bc4d2 | ocamlx(Impargs) |
| = 7fbb991926f04f23a1b56aa935b93f3f | ocamlx(Implicit_quantifiers) |
| = dfd462d167194172b144e9f22e5b9543 | ocamlx(IndTyping) |
| = 103be36135e4a78228901b66d8fe5df3 | ocamlx(Ind_tables) |
| = 2219455c71e032844905ecf6ed3e961b | ocamlx(Indrec) |
| = 3ab6d006a29b1dcfc1d8069a90c27b68 | ocamlx(Indschemes) |
| = 966780df19424b816f07f74b6a1aca19 | ocamlx(Indtypes) |
| = c9c453349d065117a48156f84ac4b851 | ocamlx(Inductive) |
| = d81659f5c8411db6a2a41a353576255b | ocamlx(Inductiveops) |
| = ec38441e2fbc1541226de7f8dd9c09a9 | ocamlx(InferCumulativity) |
| = de40f21491f0756de1969c02c6ac509c | ocamlx(Int) |
| = 851a35b621ba894197bafc55c3471b3f | ocamlx(Inv) |
| = c89cccbc344513b25acacd8e3f2ce0d7 | ocamlx(Keys) |
| = 51b0d992887042ce590047105322bbbd | ocamlx(LStream) |
| = f2087726373c7e410b39a6301fbc445b | ocamlx(Lib) |
| = 8eb47c65e7f6d2a61f366442ad262f0f | ocamlx(Libnames) |
| = 42de951db4f5999552a12af15647905a | ocamlx(Libobject) |
| = 77c0439cd189184b6f61c3a4df48f084 | ocamlx(Library) |
| = 1114ffab6530c4ed08f74bab1080c9a0 | ocamlx(Loadpath) |
| = 632b023d30c7af7d96fbc4c82226adce | ocamlx(Loc) |
| = 0e51004a1a0688511a215654d0883b65 | ocamlx(Locality) |
| = 59b627beadab0b4956920e4e1fd824f3 | ocamlx(Locus) |
| = 3472ad778d272a66b6a0f79da86fbe43 | ocamlx(Locusops) |
| = 025f6dd1b8b7bbb6d8ab62cd811c608a | ocamlx(Logic) |
| = e1cd48a66253f1aa5b17285ced1416ce | ocamlx(Logic_monad) |
| = 6edff32a03b33e9a8ba621fd9d33f753 | ocamlx(Ltac2_plugin) |
| = d39f290b2cfb84e6c8dd52e2aced5a81 | ocamlx(Ltac2_plugin__G_ltac2) |
| = 851511119c33e4b5aa7c9132de78555e | ocamlx(Ltac2_plugin__Tac2core) |
| = 1ac32ddedcdf5edbecee2ed0f35d7000 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = ba5e80206436c9d918a5458080082d87 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 4c5fc5e417f45306a3b3097f75030989 | ocamlx(Ltac2_plugin__Tac2env) |
| = 0e4e15fc510e80d762371ebe81446765 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = 605920a271edfca542b8de47e744a017 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = 028a7c763f45c89316239a9228b134da | ocamlx(Ltac2_plugin__Tac2intern) |
| = 189865ba4e25fa1e7117bdda0c1004a0 | ocamlx(Ltac2_plugin__Tac2interp) |
| = 47f5c325f138fa3ec5b4da7abb6f103a | ocamlx(Ltac2_plugin__Tac2match) |
| = b56d1add47a408c2ec0938b96144e234 | ocamlx(Ltac2_plugin__Tac2print) |
| = 2e9051b6fd3a964fdd9911ba1699e90b | ocamlx(Ltac2_plugin__Tac2quote) |
| = a5eba928d319122747d36bb59eb48cfc | ocamlx(Ltac2_plugin__Tac2stdlib) |
| = 24e4e7e104ab4256e7c845101a432f50 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 54a52168ddd14ccb2e7bac9d5656ea65 | ocamlx(Ltac_plugin) |
| = 6be908b85c50213cc5b14e50eccbe613 | ocamlx(Ltac_plugin__ComRewrite) |
| = 67d4bff466458895e02e34cc15581ef2 | ocamlx(Ltac_plugin__Coretactics) |
| = 8c7c0ad53131dc4c4e4441d6bb675d64 | ocamlx(Ltac_plugin__Evar_tactics) |
| = 094dbc0fd6247ba13a892ae4520212b7 | ocamlx(Ltac_plugin__Extraargs) |
| = 23541927e58d48c6e934bd9bbc7b2d03 | ocamlx(Ltac_plugin__Extratactics) |
| = eb1fd5c8f174020249e62a746d3a9fa2 | ocamlx(Ltac_plugin__G_auto) |
| = ec4bdbe67dcc3772127f3b479838a682 | ocamlx(Ltac_plugin__G_class) |
| = dad2d6f7ab10e2b410fbeb3f3f7e6668 | ocamlx(Ltac_plugin__G_eqdecide) |
| = 07593c4256e1dcb8b962de9f6085c63c | ocamlx(Ltac_plugin__G_ltac) |
| = 34bdb1cfde221c8a5d5b305c46a35683 | ocamlx(Ltac_plugin__G_obligations) |
| = 0e1ed6c4c66b0c10c6fe6ae9186fd7ba | ocamlx(Ltac_plugin__G_rewrite) |
| = f30edfee0eee0a64e28d636ba2b80636 | ocamlx(Ltac_plugin__G_tactic) |
| = c4329c5e1fb5afc05c1dda7cdb40df88 | ocamlx(Ltac_plugin__Internals) |
| = 97ce3c112bd2590de1bd0328a840dcdd | ocamlx(Ltac_plugin__Leminv) |
| = 82d5e26dac05a8228d486e10ef5e1c4d | ocamlx(Ltac_plugin__Pltac) |
| = cb9c59b4e093cf5ad3815bc6dc5576a0 | ocamlx(Ltac_plugin__Pptactic) |
| = 0dcdeb1254be960e02402247aa41e6ac | ocamlx(Ltac_plugin__Profile_ltac) |
| = ad3efeb535e4825d91a3e0c7ef627a77 | ocamlx(Ltac_plugin__Profile_ltac_tactics) |
| = 52fc1a50048c453886a4e84591ad5f6a | ocamlx(Ltac_plugin__Tacarg) |
| = c6f761b1d2dac7496f4efdd981f083e4 | ocamlx(Ltac_plugin__Taccoerce) |
| = 74c30b4257436553708a3d84ba1c8566 | ocamlx(Ltac_plugin__Tacentries) |
| = 77e59fc8ea02aecffe49f060f6bfa003 | ocamlx(Ltac_plugin__Tacenv) |
| = 52a6c8eec91ce681b6704016fff476e3 | ocamlx(Ltac_plugin__Tacexpr) |
| = 19f5fe737013ce853f07e98fbb77e83f | ocamlx(Ltac_plugin__Tacintern) |
| = 054dd5c445adab830f7ab54d92fc5748 | ocamlx(Ltac_plugin__Tacinterp) |
| = 643cc569c42a851a89077b8e772f19b5 | ocamlx(Ltac_plugin__Tacsubst) |
| = 6048a824999024d109e9dfd45e466d6c | ocamlx(Ltac_plugin__Tactic_debug) |
| = c706a9760982b8af378397cf8dee4896 | ocamlx(Ltac_plugin__Tactic_matching) |
| = 61f0c65146fae717bb462643e54bd027 | ocamlx(Ltac_plugin__Tactic_option) |
| = 2fdd56e76232b6e20ec8260866bcfb83 | ocamlx(Ltac_pretype) |
| = 005761a8eed5e0254adcf33cda0cd7ea | ocamlx(Metasyntax) |
| = 05d03f2585d55e86e2e179b5963eaa34 | ocamlx(Micromega_plugin) |
| = c79acc8cdacfa5877c094d0c893d2d3d | ocamlx(Micromega_plugin__Certificate) |
| = 18ecc7007990e82b8633fa5cf421077c | ocamlx(Micromega_plugin__Coq_micromega) |
| = e4130902ecfe20779f2ca46f0342f4a1 | ocamlx(Micromega_plugin__G_micromega) |
| = d3c4012801c33647d25e30ff69bf2afd | ocamlx(Micromega_plugin__Itv) |
| = ab698873c12f201bc7d933f4338b283d | ocamlx(Micromega_plugin__Linsolve) |
| = ee28a45da5c6554d460ac0b057f82116 | ocamlx(Micromega_plugin__Micromega) |
| = 36158df78e60da5c9e31c73a197bf875 | ocamlx(Micromega_plugin__Mutils) |
| = 50707e7df9ca9e701da40e02836520ed | ocamlx(Micromega_plugin__NumCompat) |
| = c6c3707325cbc50e0908cabb40cc1e13 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 0f8923be2f33dc1c05ba954863c1eb81 | ocamlx(Micromega_plugin__Polynomial) |
| = f3ecf64b32411ad121d4cd3caa1d5298 | ocamlx(Micromega_plugin__Simplex) |
| = d324c3d40b0a9547244af5972ec2a1c7 | ocamlx(Micromega_plugin__Sos) |
| = bf5f2dd3776c85ef279d18b665c5bc76 | ocamlx(Micromega_plugin__Sos_lib) |
| = 4897991156756bffc58fb756cb6369a1 | ocamlx(Micromega_plugin__Sos_types) |
| = cf3cf0c5a4a62aa5898c186a422d13d3 | ocamlx(Micromega_plugin__Vect) |
| = 0f3e37db71ec45f83baa8f2ae0626233 | ocamlx(Miscprint) |
| = bd5133e72942a0102c4e30fd70c5e9eb | ocamlx(Mltop) |
| = dc4321b11ba90b0230ab4ba3f78d6eea | ocamlx(Mod_subst) |
| = e82b2f94c3e26d23a36820737a9dc3c1 | ocamlx(Mod_typing) |
| = 3874486e50960542fa80de38e5bd425b | ocamlx(Modintern) |
| = 930835b677a1e9510f91a6006d378139 | ocamlx(Modops) |
| = 13e661dfe6ca8935bb5cdab606051c50 | ocamlx(Monad) |
| = d730df78478daf660b8780037d7c1463 | ocamlx(Namegen) |
| = e4f5a51fef20c15be1fb97cc77e20e72 | ocamlx(Nameops) |
| = 6d65f832fef4e6fe7365502efae0e52e | ocamlx(Names) |
| = b262efb327e3ddd5d7497fd4865ce496 | ocamlx(Nametab) |
| = 378132e12cd0ddc62cbb443b2537e37f | ocamlx(Nativecode) |
| = af690f71c40418b811372f740cf55704 | ocamlx(Nativeconv) |
| = aec9acae8efa79ac2ec9497336bbc3cb | ocamlx(Nativelambda) |
| = ed781e5abc589ec7640e0a7facdc0679 | ocamlx(Nativelib) |
| = 9a3da422141b233a5ec4bf59f97b4671 | ocamlx(Nativelibrary) |
| = 4a9e3b8f1812528a67867884c1f295bd | ocamlx(Nativenorm) |
| = b733ab24883fab6226ad7bb0280e587b | ocamlx(Nativevalues) |
| = 393118bbf0a3c91eba0a638198347673 | ocamlx(NeList) |
| = 40878f82f29691b8e3b9e6f69cc96834 | ocamlx(Notation) |
| = 91547a3b09dc924741c0dee2b86f0b78 | ocamlx(Notation_gram) |
| = 306777f5c2c5be59e572db2109985ee2 | ocamlx(Notation_ops) |
| = 97a4dcb83848a2f3ef4113795c638ff5 | ocamlx(Notation_term) |
| = 169d328b907a09fc66cf69b32e420954 | ocamlx(Notgram_ops) |
| = 4e857bdf8e913ae9d0f035d77f052690 | ocamlx(Nsatz_plugin) |
| = 575cafdac8df468405db57cbdd0d057c | ocamlx(Nsatz_plugin__G_nsatz) |
| = 5af46152a2e72bcd5d5b9babc53929cf | ocamlx(Nsatz_plugin__Ideal) |
| = 422a0cf141f62ec1928a9489515c6175 | ocamlx(Nsatz_plugin__Nsatz) |
| = 49bafebaaa762c39537469b6dc2c921c | ocamlx(Nsatz_plugin__Polynom) |
| = d1b1e9628b62893dcec1e5c89091a2ea | ocamlx(Nsatz_plugin__Utile) |
| = 6a95d1e2d43ef818cdc8eb2f6505ac1e | ocamlx(NumTok) |
| = 3e3a4c17480be0bad0664ef539d1862d | ocamlx(Number_string_notation_plugin) |
| = 603848c3a4b6cc8fdb1642671326cf39 | ocamlx(Number_string_notation_plugin__G_number_string) |
| = 165180086b46d6e04e6a26e53bb1efb3 | ocamlx(Number_string_notation_plugin__Number) |
| = 64b13621ca999cc963b1caa455c630e9 | ocamlx(Number_string_notation_plugin__String_notation) |
| = ff2cc4137609fb5e1f4aaff8ac4dd0c1 | ocamlx(ObjFile) |
| = 07c8c167430dbe924f5d0b4d0f9efd5b | ocamlx(Opaqueproof) |
| = 3655052bdae74c47d84243c370d8aac2 | ocamlx(Opaques) |
| = 027e5e1bfabd879c0bafd13804c95ae3 | ocamlx(Option) |
| = 88408e848cde073b0dc2cd0c72efaea6 | ocamlx(OrderedType) |
| = 4f1caa0c66b066e538352ef1b0593165 | ocamlx(Parray) |
| = 45dabf0cb11ad17bf6358136c92a9ba0 | ocamlx(Partac) |
| = 926c85c563f5d9741ab4e2f622fa619d | ocamlx(Pattern) |
| = 3c5c161e3b7f049f845af6d651020abe | ocamlx(Patternops) |
| = e86cbc9c15c9ef9e228c50e516989d64 | ocamlx(Pcoq) |
| = 212c7ff65a2927459e46698b0cf42a81 | ocamlx(Pp) |
| = 6c70fa789305214da7c34c91fadaa4e0 | ocamlx(Pp_diff) |
| = 6be560601629c455f280123d09681271 | ocamlx(Ppconstr) |
| = 70427510e9a9b5abca7e13a6e87f4d18 | ocamlx(Ppextend) |
| = d595654bdf12ceb3f02080bf2bb02ab9 | ocamlx(Ppred) |
| = b25cd1415fc54bdd5c0e3cb29cfba965 | ocamlx(Pputils) |
| = 514491f2589d6263c1e325301b7cc9d7 | ocamlx(Ppvernac) |
| = 8d89cd4730fafcc3023c0d6ea129afa0 | ocamlx(Predicate) |
| = 7eebd5f2358e7ff5940f658a07ba8a6b | ocamlx(Prettyp) |
| = b7059ac2183f816b77f15dd2079d68a1 | ocamlx(Pretype_errors) |
| = f74e658752c8cd2b75b72fbb3e8fa7b1 | ocamlx(Pretyping) |
| = 7a5b698db068945106d543eb7f46d966 | ocamlx(Primred) |
| = f9cd2c4934f775cbcc8d8cea055927ac | ocamlx(Printer) |
| = 991509156839f69efde938bba4802278 | ocamlx(Printmod) |
| = a30f35df4efeb8a82d8da26d186296ac | ocamlx(Program) |
| = b65c029efef47fa4cdb51292030e03c1 | ocamlx(Proof) |
| = fbdb8267fbd358b793c0072dc5a7e35b | ocamlx(ProofBlockDelimiter) |
| = 64b484570eab51a01d765b6af6202eb8 | ocamlx(Proof_bullet) |
| = 4e046c78ee79a83f9dc6e9b96f197db8 | ocamlx(Proof_diffs) |
| = f8afe11ea334924155def022091ac744 | ocamlx(Proof_using) |
| = ce3af09ae47df2b39aee58b2b5f7da70 | ocamlx(Proofview) |
| = 92e69dad2532af2112db816444d3fce5 | ocamlx(Proofview_monad) |
| = 6be19941474b35361f546b31553e824f | ocamlx(Pvernac) |
| = 7e8a1d64ac7087904e3db1581c4126ca | ocamlx(Range) |
| = 3a4e752d5a506760130796f93d63991f | ocamlx(RecLemmas) |
| = 9e25acc5c34707831eaf0f309b657fbb | ocamlx(Record) |
| = 09f75e71e5c4bf9643f4660d61ef22b1 | ocamlx(Redexpr) |
| = ad9b9cbe7b14ec75a34eba5dfa2decd0 | ocamlx(Redops) |
| = 5d084e3c8ab97775c93d33f4dd1a8ebc | ocamlx(Reduction) |
| = d9caecca3a5c7e0215c5890a19470514 | ocamlx(Reductionops) |
| = bcab7f1814f563b70a4ed0b868fc7ebe | ocamlx(Refine) |
| = 13a55808084562771f23f8629a1d77cc | ocamlx(Relevanceops) |
| = 1de343a0f617ae6254f7d4d01421972a | ocamlx(Reserve) |
| = 0bbcf1a212a69dfcfa022390c344eac1 | ocamlx(RetrieveObl) |
| = 630ff63c9797981be7dc1a009cc86b99 | ocamlx(Retroknowledge) |
| = e6dd4bc740d2360ac824323fefb12577 | ocamlx(Retyping) |
| = 12a8c016d42b3a41a4d1d941b6a95fb0 | ocamlx(Rewrite) |
| = 06f75f5c463f76eff0336c58718710b5 | ocamlx(Ring_plugin) |
| = 4f6e4fc4a4bda560512b65c64d414ed6 | ocamlx(Ring_plugin__G_ring) |
| = 4490f9e807d54d6b8374716cedbefdae | ocamlx(Ring_plugin__Ring) |
| = 974ee186dd9c9de97f545ffc08f6c903 | ocamlx(Ring_plugin__Ring_ast) |
| = 09de2c948f4a19da444201c7e861b6cc | ocamlx(Rtauto_plugin) |
| = acd26e822046a26926b1b59121a738b8 | ocamlx(Rtauto_plugin__G_rtauto) |
| = e816e92e1a0bca63bf4b8af1dab7b18d | ocamlx(Rtauto_plugin__Proof_search) |
| = a1d7362f84862dd13c6a19e3ed687b9b | ocamlx(Rtauto_plugin__Refl_tauto) |
| = c38ff20a258855b462120dc1c3f99115 | ocamlx(Rtree) |
| = bf5da282fb4e9425d6ac0a6d5cc461b9 | ocamlx(Safe_typing) |
| = eaf925cfcc6e1c9853dd12e495a4a7bc | ocamlx(Search) |
| = 2088123609d11bc170ecb9194bac382d | ocamlx(Section) |
| = c6f5516ba5d174f67829ed9c8c8909b8 | ocamlx(Segmenttree) |
| = 7bde490e412cfe1a3b2f65b3f7d70cf1 | ocamlx(Smartlocate) |
| = 0ce21227fddce5bc8d7d2920bc34b427 | ocamlx(Sorts) |
| = 9ae20319f892563dfc4c419c057f13a5 | ocamlx(Spawn) |
| = ae76dab0dedec9c542e6035427205aed | ocamlx(Spawned) |
| = 4dec0a06a96ded3bfca5c26efa1f526c | ocamlx(Ssreflect_plugin) |
| = 2bc24c454d7da3a58d41c7e8223a5de2 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 4d9f7f6d35b35e34473566ea3529908e | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = dca36359e5828a2795a98f3320e7b63a | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 192dbd628e2a31bfbb96030193769afb | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 8b2be5a1fa71c5745491d52541019299 | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 6d148b7fb23a73b98c5469bab9e27c3b | ocamlx(Ssreflect_plugin__Ssripats) |
| = 5ab34a0b46469ef181eec7f111280c27 | ocamlx(Ssreflect_plugin__Ssrparser) |
| = 8251217a65a9a45e0ee6488ebaa1b8f9 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 5c40a0d5ab3da61d79234fb639f177ca | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 59c50a2a3ba2be0f1996a7a3dd344833 | ocamlx(Ssreflect_plugin__Ssrvernac) |
| = 363729b432615c7f02507fb6043ab2c3 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 5b76aa8a5d0de67cc96c51d3b3604ff3 | ocamlx(Ssrmatching_plugin) |
| = 37a443ae357ef3182891fea85a1135d4 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 9a18d814c0ed77c797306b2f6101370b | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = a5bcccd428ab47b644b9f479b8c46470 | ocamlx(Stateid) |
| = f5f0f316a8f4f6156a6bc2b6241993c0 | ocamlx(Stdarg) |
| = 9dddbca7917516c42afb2ceae7a96800 | ocamlx(Stm) |
| = b68bbf947151d2eaf69dc41e6946c7ac | ocamlx(Stmargs) |
| = 4c3dcee02f6d0398b409328e37d6aa08 | ocamlx(Store) |
| = f544083bf165e0b8897d7ca43d2f1727 | ocamlx(Structures) |
| = 481dedf8089bbdee65a3ff3cc84e10e7 | ocamlx(Subtyping) |
| = 9e0e375c756bde3e8d018dd9f840c900 | ocamlx(Summary) |
| = b4d0c87fae067df0d461576b6c8ea0c1 | ocamlx(System) |
| = 850a611bdb0c085c085f2f371358707a | ocamlx(TQueue) |
| = 1c24fe371fc058163a2c7c67cd39a021 | ocamlx(Tacmach) |
| = d4cbd0593c375bed5914b8b595b2f3db | ocamlx(Tacred) |
| = aae0584d4796427909d89213bd762fc7 | ocamlx(Tacticals) |
| = cc3995d09f4becc1ad91e4ff6f7b88b9 | ocamlx(Tactics) |
| = f06a26dec58c0e8061b6c0152834e85f | ocamlx(Tactypes) |
| = f88b82da2114b493d0deb578f8dd4ba9 | ocamlx(Tauto_plugin) |
| = bcd570343d82289240b54a35a291ac6f | ocamlx(Tauto_plugin__Tauto) |
| = 1e9acf6588374876f3995726740dd81c | ocamlx(Term) |
| = 1be095349a95a608ccbf5507159b5a31 | ocamlx(Term_dnet) |
| = 94db86297f565361d6506a324ddd7b55 | ocamlx(Term_typing) |
| = 6ff9df188b1447212303a5929ee3399b | ocamlx(Terminal) |
| = 291f2b24751e7731ae48d6870ec80446 | ocamlx(Termops) |
| = 802d1f0ec96c7e40b939dab52a766e02 | ocamlx(Tok) |
| = 407161f339e9a044929915d1ebce9168 | ocamlx(Top_printers) |
| = fe7561f68b51ef2237cb960db56dd8b2 | ocamlx(Topfmt) |
| = 177ad52390666df164ea8ebc2649d546 | ocamlx(TransparentState) |
| = a10c81b0b47cd4fddf7ef018ed0625fc | ocamlx(Trie) |
| = 421b6edf2af8dc3142bbcfb353ce80a1 | ocamlx(Tuto0_plugin) |
| = c87262563ddf5af91d32826ad45fabfc | ocamlx(Tuto0_plugin__G_tuto0) |
| = 835a9eb8236b2b63a134b24ce0c88c20 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 1182c5b9212dab8eeed6f04fdc2cb779 | ocamlx(Tuto1_plugin) |
| = 07c72a6534c26d5403e4cce723a2cbda | ocamlx(Tuto1_plugin__G_tuto1) |
| = 114bece27d86a9ef8b97b27099366fa2 | ocamlx(Tuto1_plugin__Inspector) |
| = 916b2353ecc4a026d494cbfc2eb0919a | ocamlx(Tuto1_plugin__Simple_check) |
| = 481db33d6829dcc20a8fb3e96fcec82b | ocamlx(Tuto1_plugin__Simple_declare) |
| = 0b502336b2bdea0eea7135c405d2c3d4 | ocamlx(Tuto1_plugin__Simple_print) |
| = 7badc8faa38b1ee75426ee806ac46034 | ocamlx(Tuto2_plugin) |
| = 0b92159d28f9a8e079b154b05ea9d28b | ocamlx(Tuto2_plugin__Counter) |
| = 85ca865e0cfb2986a275e4530f5512f6 | ocamlx(Tuto2_plugin__Custom) |
| = 1b671e1bec6bacd37e7f584e04774c90 | ocamlx(Tuto2_plugin__G_tuto2) |
| = 4c2aac5c8990f18be544cbe10e26f700 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 599b2c4aa1bac417a089758f57f7415c | ocamlx(Tuto3_plugin) |
| = a957fd1302cd3fddb7961b9e162974c9 | ocamlx(Tuto3_plugin__Construction_game) |
| = 0c0d647f15b5f8ae436786e0e8ecddaf | ocamlx(Tuto3_plugin__G_tuto3) |
| = 87990d4d420b573efcde9b653ab600bc | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = 859a92227b120389d337a562adcea426 | ocamlx(Type_errors) |
| = 6d4e7ab0773b4b6739a1d31acf6f80ff | ocamlx(Typeclasses) |
| = fc764dda19e8cfb032a5db666fc046b5 | ocamlx(Typeclasses_errors) |
| = 3a984bcb8684eb7df189fa0d74b0e727 | ocamlx(Typeops) |
| = 9c47a86db6a9b0852f9ae391283fe113 | ocamlx(Typing) |
| = 49fed91813cdb104ae45e772a238cde3 | ocamlx(UGraph) |
| = 1e348598253cf3cbc0311c24b8899fb4 | ocamlx(UState) |
| = e6fc76ea8492684986788db02da0daac | ocamlx(Uint63) |
| = 9ca78a089131869ab02fd4cb79571f74 | ocamlx(Unicode) |
| = d05dc1e9060cef93f0794941ee25c720 | ocamlx(Unicodetable) |
| = f9e626aa69bd0ba88017e2134df2f353 | ocamlx(Unification) |
| = 09da7475766e419b156de58fb065d530 | ocamlx(Unionfind) |
| = a0cf0d9637f8b33d5d8fda7a474b4fff | ocamlx(Univ) |
| = f2ae882691587f743f61a7d24b90579b | ocamlx(UnivGen) |
| = f50b511864963cca51d86e92710e921b | ocamlx(UnivMinim) |
| = e6e23d88a9e2ff677e2e6fc2eae8d934 | ocamlx(UnivNames) |
| = 807c07934d81dff370f98b8f73879257 | ocamlx(UnivProblem) |
| = a6ef802af0bae9ec69e8a3c971f70755 | ocamlx(UnivSubst) |
| = 032bbdc002e48ac17825b9af50e929a5 | ocamlx(Util) |
| = 290e6f116c8a646cca052e16288dbba8 | ocamlx(Vars) |
| = 724aeab7ef6a7f88c69b4b264d410688 | ocamlx(Vconv) |
| = d22ec847c257b2b1b716476e23ca37ab | ocamlx(Vcs) |
| = efba14b1f847aa69d834bd38a14541c1 | ocamlx(Vernac) |
| = 6c7697717756978566d72a839633bd93 | ocamlx(Vernac_classifier) |
| = 1df642f9f798e3c4f8b68e5bd45870b4 | ocamlx(Vernacentries) |
| = cdb2a08dbe3169be9d875a9fbbe1ced1 | ocamlx(Vernacexpr) |
| = eee715b409da1ee2befec6ac2dbacddf | ocamlx(Vernacextend) |
| = 6642b4e0e6e6e9453158077d7b9faf8e | ocamlx(Vernacinterp) |
| = f71390643b821a16e7f493b8883f21bf | ocamlx(Vernacprop) |
| = 0c99ae8f486faecf68f1e0b2c7775afd | ocamlx(Vernacstate) |
| = 10159a4ad37c984501f45faa71db9146 | ocamlx(Vio_checking) |
| = ba7ff834ab1add26e805f39ae3af58c8 | ocamlx(Vm) |
| = 34140d097f22bdd663e0567ec6769d08 | ocamlx(Vmbytecodes) |
| = 42aef1692598d88042a430bd44908227 | ocamlx(Vmbytegen) |
| = f969f7272a739b94a709a25c974fc79f | ocamlx(Vmemitcodes) |
| = f44fa12e69e3bbe99a0164609ae197b7 | ocamlx(Vmlambda) |
| = a98602e2d97cf24bde5fbf3b6fa097ba | ocamlx(Vmopcodes) |
| = 0f7e66d036ebab20b83b7e76a702a9c4 | ocamlx(Vmsymtable) |
| = e04f7b05dda3795e246461bc551bc0b6 | ocamlx(Vmvalues) |
| = 0ea3d3cf1d952988fb461f1c72b92215 | ocamlx(Vnorm) |
| = 309fc25586d4ddccd48079b39d704fd2 | ocamlx(WorkerLoop) |
| = db007eccf8dcb4b71dbf4a06ae0e723b | ocamlx(WorkerPool) |
| = a92a95d724f093014026c762f910b21c | ocamlx(Zify_plugin) |
| = 8d80c3e8347723e344d0aa5437c5a5f2 | ocamlx(Zify_plugin__G_zify) |
| = ba1052630ee425d3e8135a580a052cd3 | ocamlx(Zify_plugin__Zify) |
نحوه نصب
نصب پکیج rpm coq-core:
dnf install coq-core-8.16.1-3.fc38.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/coq-tex |
| /usr/bin/coq_makefile |
| /usr/bin/coqc |
| /usr/bin/coqc.byte |
| /usr/bin/coqchk |
| /usr/bin/coqdep |
| /usr/bin/coqdoc |
| /usr/bin/coqnative |
| /usr/bin/coqpp |
| /usr/bin/coqproofworker.opt |
| /usr/bin/coqqueryworker.opt |
| /usr/bin/coqtacticworker.opt |
| /usr/bin/coqtop |
| /usr/bin/coqtop.byte |
| /usr/bin/coqtop.opt |
| /usr/bin/coqwc |
| /usr/bin/coqworkmgr |
| /usr/bin/csdpcert |
| /usr/bin/ocamllibdep |
| /usr/bin/votour |
| /usr/lib/.build-id |
| /usr/lib/.build-id/00/f68cd777151f6c740c972017fc52f2ac87be83 |
| /usr/lib/.build-id/02/fb1be5ce03fa09a0c3fc8d74eb50765d1aa3bd |
| /usr/lib/.build-id/09/5828ec98b82f962a64ae54a12f46c3071c0446 |
| /usr/lib/.build-id/0c/509a3c815c5127fa420b0cbd9e35ddd4cdcad9 |
| /usr/lib/.build-id/0e/2b7f2493e8a0d56485ae9a5bcbbc1ec2da32da |
| /usr/lib/.build-id/12/08c0361c7fd4aeee1afcbdefba89f8aae6e3a6 |
| /usr/lib/.build-id/14/2fa174ea10f49ad337be86fe4a253cfd7da88b |
| /usr/lib/.build-id/14/a1e1ff9c7674e2eca3a9094a0f45407deb7874 |
| /usr/lib/.build-id/15/e5fd738c70c3485bafd3a897310c08637cc30e |
| /usr/lib/.build-id/19 |
| /usr/lib/.build-id/19/2f8687e3337650f0360b351f167042dcfac1c0 |
| /usr/lib/.build-id/1a/31f4f3aaf45a106ff29d56dba14253488921c5 |
| /usr/lib/.build-id/1a/82dd80a23d6e19d7f26f25634a8e7c9c492e36 |
| /usr/lib/.build-id/1e/7758669f7775e0f4ed11759a1edc648bd10ba3 |
| /usr/lib/.build-id/20/86d5dbaa1d471cce475b7d3d10907a36cd5331 |
| /usr/lib/.build-id/23/3f716e988ff2164a75314d65e49c48adf9b546 |
| /usr/lib/.build-id/29 |
| /usr/lib/.build-id/29/65c66880ff4e371b0cbf9902edda372cbda864 |
| /usr/lib/.build-id/2b/e00b2a2568d09a38004c5558186bc582052958 |
| /usr/lib/.build-id/2d/3b144d0aced48fc7c46e1dc14b25d025bd00b4 |
| /usr/lib/.build-id/2e/3f7452f4731bd7341be51adf2ae5d8d12b6fde |
| /usr/lib/.build-id/31/323eb330cccdb05b5089c5a47fdc54bae386db |
| /usr/lib/.build-id/36/f85c41e3d67df9471192b76e088980e0b8b400 |
| /usr/lib/.build-id/3a/58f7b15f0c0ec3d861983c2da1732ab3db71a6 |
| /usr/lib/.build-id/3c/fd419a614c1336307076a4b235e493c7e866fc |
| /usr/lib/.build-id/3e/ba72696b48567a4248c88a3f150d9af08cefd3 |
| /usr/lib/.build-id/42/1692e195760811862c940808d91e8cb5cb2965 |
| /usr/lib/.build-id/46/397f98b9f2d890b82b04c7270138bd9d153c41 |
| /usr/lib/.build-id/5d/b05f4bb222e1044cddce3eafeb8e0867762a36 |
| ... and 3145 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 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
|
| 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
|
| 2022-06-20 |
Rebuild for antlr4-project 4.10.1
|
| 2022-06-19 |
Upgrade to 8.15.2
|
| 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
|
| 2022-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
| 2021-12-27 |
Rebuild for ocaml-lablgtk3 3.1.2
|