معرفی شرکت ها
coq-core-8.17.1-1.fc38.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Core components of the coq proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | coq-core |
| نام فایل بسته | coq-core-8.17.1-1.fc38.aarch64.rpm |
| نسخه بسته | 8.17.1 |
| انتشار بسته | 1.fc38 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Wed 18 Oct 2023 06 |
| هاست سازنده | buildvm-a64-24.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 142M |
| حجم نصب | 494.714M |
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.aarch64.rpm | 8.16.1 | aarch64 | Fedora Everything |
| coq-core-8.16.1-3.fc38.x86_64.rpm | 8.16.1 | x86_64 | Fedora Everything |
| coq-core-8.17.1-1.fc38.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.17.1-1.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) |
| = be6239123a472214fc5ecfde31ebd925 | ocaml(Abbreviation) |
| = a0e4e3470a008819dae52557438d0abd | ocaml(Abstract) |
| = 6db97d4aba38e99b1ce79c13c9dc26ae | ocaml(AcyclicGraph) |
| = f8d2f59570b65bc119a64343e8e7b21b | ocaml(Arguments_renaming) |
| = 076163ae4e3a95e45b94d5fdcb123fe6 | ocaml(Assumptions) |
| = c025612b3ea152c9adfee455618ede28 | ocaml(AsyncTaskQueue) |
| = 5a60c0917b2c3a0fcb0df4e62de76fbb | ocaml(Attributes) |
| = 3a014a5521d8ca44e0b705642a120ace | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = 407272d899a613088e7a4b6815bcc157 | 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) |
| = 8bde4d38c237d0b04900c5535d54f8c6 | ocaml(Boot__Util) |
| = 9009b76733276115709ad8eaf7608140 | ocaml(Btauto_plugin) |
| = f9a54a9152f23e1d99c73094235ce92d | ocaml(Btauto_plugin__Refl_btauto) |
| = 19ceaceb01366d66133ac71d55856e2c | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = e6f0ae1977289571e268f9f4798f45af | ocaml(CAst) |
| = 0e858027f3915a9044ef4a568f65205d | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = 4e9a1cc39f535710b599ba92dc88682e | ocaml(CErrors) |
| = 5b4a6dcaec074bbcbd794fc5eaa27e41 | ocaml(CLexer) |
| = 963264b024cbb32e5211e7abb601d1fc | ocaml(CList) |
| = b5f62fbd6f9416f40b63b0dac2bac8a8 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = b572f5424b98ffcb8968be2d42112246 | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = 185a019f870874a8ff87e047f1d56006 | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 5365fec4a58da3e2d8fa2186f77d9be4 | ocaml(CamlinternalLazy) |
| = 2004005091bc8a61fe26ab15e0fb28e4 | ocaml(CamlinternalMod) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = 413d1d4c84e7adbf8e02402baf03130c | ocaml(Cases) |
| = c3b823e77e896f61b27535e8255974cd | ocaml(Cbn) |
| = 529f8c46850706c84e6127c16af1defb | ocaml(Cbv) |
| = ceb46e8aedadbdd92158dcf60a3cd0fb | ocaml(Cc_plugin) |
| = d00dab7618d0f028d9391ba181187fe5 | ocaml(Cc_plugin__Ccalgo) |
| = 0dee667b8716d5c4a668dc2a67f014e1 | ocaml(Cc_plugin__Ccproof) |
| = 2ef3b8ef3a614e535ec2e2fb6ca24f8f | ocaml(Cc_plugin__Cctac) |
| = 8fcc85e873fd8380c43fba02f0957e4f | ocaml(Ccompile) |
| = 707c775411149cca404064cffcf64d50 | ocaml(Class_tactics) |
| = 1bf541defe0ef05f7aca4aee3bbdc662 | ocaml(Classes) |
| = 3ce38c91997e1420edac26fe82b4b2e8 | ocaml(Clenv) |
| = d9e365869ef519f165e3bd8beac6dbf4 | ocaml(Coercion) |
| = e0b05e9870c9dd8bba9769fdb11d0c34 | ocaml(Coercionops) |
| = 586cffd7f8f54293456da281e77f7e04 | ocaml(Colors) |
| = f460044dd7c35bb447e3ed26a8c80815 | ocaml(ComArguments) |
| = def007512d60c6108971b7539e517077 | ocaml(ComAssumption) |
| = bda88d7e21f5e48f739b5e3982a0dcef | ocaml(ComCoercion) |
| = 02950f943842016f14e51c334c11733c | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 8ad7052330d9c7a870a9821332580cb3 | ocaml(ComFixpoint) |
| = db69ec7d5a79172c6a07269102872604 | ocaml(ComHints) |
| = e6d8419df9b728ed6c0cbc9f9eb8e671 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = 7b66652b9b49a51293e447af1ebf45a5 | ocaml(ComProgramFixpoint) |
| = a7651809fd0614087d64168f71e9ad6b | ocaml(ComSearch) |
| = 0893ebb646b131ba32a368aba15c9f77 | ocaml(ComTactic) |
| = 90b67686d6aa6baf2363d0c701b94f03 | ocaml(Common_compile) |
| = f0caf68e0fd94353b2fe68f24dc84c46 | ocaml(Condition) |
| = 670799fa78880c542c37d64b3baf38aa | ocaml(Constr) |
| = 5b8babb34158c764159c3aeab6bff249 | ocaml(Constr_matching) |
| = 89d8853310bab32ea1eb882a028a8445 | ocaml(Constrexpr) |
| = 031f6eaad3ac7e53b139e99de6939f7c | ocaml(Constrexpr_ops) |
| = 42357b0a5b4aefa282943398a806c220 | ocaml(Constrextern) |
| = 2b5645f078e081a0478249562e9d5b05 | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = aa1d19af1a1d56cef0b4588bb4d8ea75 | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = 2c425c1e71f2ea9e68941efc72edf46e | ocaml(Cooking) |
| = 3237b310a30d0c20634682b03f69ff08 | ocaml(Coq_config) |
| = f0dbb0c8814c6210f51334f286da1b39 | ocaml(Coqargs) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = e0f7d6e588e70598542cd61ebd0f23fc | ocaml(Coqlib) |
| = 13f0d13762fd2ca207fa68f6be4f41fe | ocaml(Coqloadpath) |
| = 9e84647125a0bf24b7904ce65428128c | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = a310b4a378c72c1c649fb05b9bcce833 | ocaml(Coqtop) |
| = 2bc1a56e71d08445950f1bfcbadbd6b1 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = 7d980c0cbe7bf12e0b87d6fae18f2cf6 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = aaa7cf86083c22fe0bdc650b9766d7f2 | ocaml(Declarations) |
| = ebadfec2550643d7dadaed20cd7bb4a6 | ocaml(Declare) |
| = 0a9bfe7ec898e0bc70b2a27e95fdeb5f | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 5c9255d8afb68db07781fe06f0113560 | ocaml(DeclareUniv) |
| = fb16413a97e082b5ed9c79cca9f31f9b | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = c143bdd1833d476947a9f81d767bdcf8 | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 87ebc9f2679fc769364ed6fc35137bff | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = 5e9d9d968313c00a6440be458c9aaf83 | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 40533e96e93de95e706644b3917d47d6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 25750de3f8d5627e05625fc8c96573f4 | ocaml(Dumpglob) |
| = a80a8fb9c90585019a5f7a92adf2e2fc | ocaml(Dyn) |
| = b542e5672ad42f5b838f58913ba15456 | ocaml(Dynlink) |
| = f7ccdac0e964cd5cdb24c34fd0de582a | ocaml(EConstr) |
| = 25df3641a9701d7a59c88d1e11957c25 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 3ec613601260bfe0bbba15bbbb25e290 | ocaml(Egramml) |
| = 9590634ad98a1bfa99f504820a3b5747 | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 292cd81a23ad7e0507d10f00d83d1e9e | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 52e9defc7fd393e51d052bac59d8446f | ocaml(Environ) |
| = 99a5307b34d1fa7bd77464c9601717aa | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = c937130ca9e4d168b06d9417c1869776 | ocaml(Equality) |
| = a96ceb099c2f1fb6d9584a61b57ee72b | ocaml(Esubst) |
| = 5410ca5e116902547a19a06b75d92579 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = 028f0dd3c04344d72de7ea562093aa85 | ocaml(Evar_tactics) |
| = 0c453f02921db63a808978ad22d2d9ae | ocaml(Evarconv) |
| = 61b0a4dd1e82f8a77a24f23deaeb743f | ocaml(Evardefine) |
| = 24b8886508accd2291c7434f83a97011 | ocaml(Evarsolve) |
| = 6ed8a4aa0ace5ba3553e75261d2ce316 | ocaml(Evarutil) |
| = 6e9608a15e2e2562ca13abeeeca35a18 | ocaml(Evd) |
| = 1108fbdf2827b6d2494e3e4bca2b55f0 | ocaml(Exninfo) |
| = ea6908938502338d5a40473f55556d2b | ocaml(Extend) |
| = fdd86db306fda87185be4fa90f2a0006 | ocaml(Extraction_plugin) |
| = 2873e23b0aeeee7e82c43cdc00df9d86 | ocaml(Extraction_plugin__Common) |
| = 10a2bc62f1d06a52a8a37bee7f381dd0 | ocaml(Extraction_plugin__Extract_env) |
| = cb0decbf90fc305fda2ec0594cb824a7 | 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) |
| = 947df666d35d03330fb0749f1dc3ab64 | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = 4d2af0d8d9cd0b7c269f728902e3d265 | ocaml(Find_subterm) |
| = d44b73d9d87aa8a2a740a3e7f738599b | ocaml(Findlib) |
| = 974870c1e0c3303435a343893f7444e8 | ocaml(Firstorder_plugin) |
| = aaf3caa95d2265b72051264a68f46ebb | ocaml(Firstorder_plugin__Formula) |
| = 605965667faa629c1cf29678298e3e79 | ocaml(Firstorder_plugin__Ground) |
| = b81837963ea52f6484f8bf9672408296 | ocaml(Firstorder_plugin__Instances) |
| = 406f539079ebbbb61154ac1c9562d336 | ocaml(Firstorder_plugin__Rules) |
| = dd561863405bc42187a4c4ada1da2f35 | ocaml(Firstorder_plugin__Sequent) |
| = 02e69a90e8d7c916999132ba20b9ae90 | ocaml(Firstorder_plugin__Unify) |
| = 6fe04213bb7f649801e5f72ab6026eb0 | ocaml(Fl_dynload) |
| = e1b1d3fe0eca562f5e9dc0e0f04eee51 | ocaml(Fl_metascanner) |
| = 2ee80556b58c28796e5020152710a0dc | ocaml(Fl_metatoken) |
| = 04c54a48fe2e7875409d82f50323d9b9 | ocaml(Fl_package_base) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 919fb2eabc120f3c4e0129cfc56531e2 | ocaml(Float64) |
| = f7cc67c618c9af164bf5153d7aefb0d4 | ocaml(Float64_common) |
| = f78ee5f7e7021278250fefd3823b8995 | ocaml(Ftactic) |
| = ac7a138ea913bafeee82c6cde006e5c3 | ocaml(Funind_plugin) |
| = d81d36e1925b33ec229f7e24cb99de04 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = ff42b3169109c52746b6bcb38acf1e78 | ocaml(Funind_plugin__Functional_principles_types) |
| = 3d8b89835f138f73f37fc9727d7d39f4 | ocaml(Funind_plugin__Gen_principle) |
| = 31081489d72840c7e9bfe7e6b1f87e71 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 85bde48dd543630a9da5868e9312b41e | ocaml(Funind_plugin__Glob_termops) |
| = 5f0feac81298c3089519cd03b8f63488 | ocaml(Funind_plugin__Indfun) |
| = 145b88c17610a08446ccb5d1c0a2005b | ocaml(Funind_plugin__Indfun_common) |
| = e7fb0e6551b18632ec1d5d5821616c37 | ocaml(Funind_plugin__Invfun) |
| = e9a2b6648be307a26e41af94e9c681aa | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 08e5a4beb27f5d000b6b178fd08b13a4 | ocaml(G_proofs) |
| = dbfd8bd5e63f768f5aad3c3a0441d469 | ocaml(G_toplevel) |
| = b87f2e22bc3f3580ff846c404c5a1d04 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = dea1abeb892588a68048e5281bd50c3a | ocaml(Genintern) |
| = e53eabcc0f9e0074037775f5eded68b4 | ocaml(Geninterp) |
| = 56cbe0a8daebf59b513cd61e5af4c4a0 | ocaml(Genlambda) |
| = 083509d48354fa981b03ded6f7e5574c | ocaml(Genprint) |
| = f53a74c218a59a60651f05f62ac89d06 | ocaml(Genredexpr) |
| = 7ebd778657dc4ce1640ce3c2b6e09795 | ocaml(GlobEnv) |
| = d8a130de03f1c0a13b011c330418eac9 | ocaml(Glob_ops) |
| = 5ef7569a2107526d8939df2edc1719f2 | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 7d19dd4e674067766e7badd2397d3479 | ocaml(Globnames) |
| = 4436d8e1f64e5b9232522bd9da57ae36 | ocaml(Goal_select) |
| = 14f9f251574a55f813b1b9c6aa56c246 | ocaml(Goptions) |
| = 8e1c211ef61e4e62fd295ca9771f63ec | ocaml(Gramlib) |
| = 2e57141ce4d24fd67956a8faad609320 | ocaml(Gramlib__Gramext) |
| = 09d1e16ec99220015f9f182f7d8a3846 | ocaml(Gramlib__Grammar) |
| = b5de63fd5eb20f4c2d8ef0455825af32 | ocaml(Gramlib__LStream) |
| = 1f45f85d4f8fa0710a63bf260ce64dcd | ocaml(Gramlib__Plexing) |
| = 7e4f02849f98bf6703e0fdcdf678cd86 | ocaml(Gramlib__Stream) |
| = 524baeb05ef735552c97528e363ccdda | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = a1c8eff0dc5577ee5bdd237d7c014298 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 8e677510e0f47f3638fe41a16265bc9f | ocaml(Himsg) |
| = 4d33a7d04e4ea5be3282f2483d71168c | ocaml(Hints) |
| = 81bddd9ca9dd022c58d6e259dd41f0e6 | ocaml(Hipattern) |
| = 91f169611318aedc592bf024573af625 | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = 59fdb83865f44cc6f25c60be55eedc38 | ocaml(Impargs) |
| = a366863d1b8e8fcead40add575b62d1c | ocaml(Implicit_quantifiers) |
| = 6ea8b3aeeace6bd04e760ab96d946ce1 | ocaml(IndTyping) |
| = 5f1e45678e7aa4a39c04ab8e26e27c70 | ocaml(Ind_tables) |
| = 95e8555d8b7783115d69caea0b48cf02 | ocaml(Indrec) |
| = 30c668f017f9230be709577db88d318b | ocaml(Indschemes) |
| = f273e2dbe2862c6422b1bfe8cff51217 | ocaml(Indtypes) |
| = f1a9f772087b26c2d34eb25a900b96e9 | ocaml(Inductive) |
| = 463396af8e15994e6333f473f51d4ad0 | ocaml(Inductiveops) |
| = 8e779023084c3f8e0b2f12a283ef64ff | ocaml(InferCumulativity) |
| = 5d7dae0fd8a18e8d5aa73a19ee3bbc40 | ocaml(Int) |
| = 51eadaf0cae064f29382e502af8bb869 | ocaml(Inv) |
| = 4efbdf8a09bd6505648a25074e8595c8 | ocaml(Keys) |
| = 4d4e0019fb768523b194e87563e45c74 | ocaml(Lib) |
| = 02ee04741ecccd4a6a82dd66b8c3795d | ocaml(Libnames) |
| = 55fd7942a25933ad93fc7b288222b20f | ocaml(Libobject) |
| = 627c0896e1c1c6aa4a23c7c0bac92457 | ocaml(Library) |
| = 229a02026ac8fd859473a9b3ddb63d3d | ocaml(Load) |
| = 3ec2d446d93dabd3a592dd90b287f393 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = 446b59cbb24530cc5dccfcb639525d3b | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = a982fb04f7d3d9a4a2c17f8fd2325491 | ocaml(Logic) |
| = 7568b85d2e5b3a8a6979dbdb1096e38c | ocaml(Logic_monad) |
| = b1993183de704b35704156e88e6c3eab | ocaml(Ltac2_plugin) |
| = 540e89aa0ee963c445eb42ca7f3df380 | ocaml(Ltac2_plugin__Tac2core) |
| = 7041ceed31923fae2c6295bc8e11c0d0 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 95d453317e8253185cd6374756742aad | ocaml(Ltac2_plugin__Tac2entries) |
| = 3b57a1477972c4df60417306399f1335 | ocaml(Ltac2_plugin__Tac2env) |
| = 6253230716103d6b7dd6ea2aea081685 | ocaml(Ltac2_plugin__Tac2expr) |
| = d9a653f1c6599223710a871e72132889 | ocaml(Ltac2_plugin__Tac2extffi) |
| = a56b27ff5e2e97a2b4254ed306825c9b | ocaml(Ltac2_plugin__Tac2ffi) |
| = bc2398708106f421e409f122eedc1c86 | ocaml(Ltac2_plugin__Tac2intern) |
| = e0c938a9a75fe271c93a569130af89a5 | ocaml(Ltac2_plugin__Tac2interp) |
| = 48704916cad759bd4f77de5179975db6 | ocaml(Ltac2_plugin__Tac2match) |
| = 7be5d20d26971ca3bb3d560b6e9b60be | ocaml(Ltac2_plugin__Tac2print) |
| = b6c2add69326c5b9ac9ab915b4775626 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 0f7fd6381b4303343e69dede49642bc2 | ocaml(Ltac2_plugin__Tac2quote) |
| = 7f76be165611225cde1893f8d5dbd754 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 74304ebac81f72fceabd656de3589d6d | ocaml(Ltac2_plugin__Tac2types) |
| = ff40f0eaa3941f0427c9540957ea3df4 | ocaml(Ltac2_plugin__Tac2typing_env) |
| = 7f51264610d86febd55751ade481cb54 | ocaml(Ltac_plugin) |
| = d2518dea8625c7029aa7b0cf6ae5a8a6 | ocaml(Ltac_plugin__ComRewrite) |
| = 60a5d9e4b843ebcf2a2ab7a929e54c05 | ocaml(Ltac_plugin__Extraargs) |
| = 3a445bdffb53ee5e77a92db316b06392 | ocaml(Ltac_plugin__G_ltac) |
| = 76d323702bb18bb63c6e8a5f21378f8b | ocaml(Ltac_plugin__Internals) |
| = 40c3edad22a06490d3ea7733b12f7cd6 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 343a0e91e5570407d4d55f975c39f4ed | ocaml(Ltac_plugin__Pptactic) |
| = 5ab560471afa103b368e74214cbab5d9 | ocaml(Ltac_plugin__Profile_ltac) |
| = 460daa5ee1c71de8f0a82854b5efc61f | ocaml(Ltac_plugin__Tacarg) |
| = 1c060cec2a7fa8864681089a11eb4cd8 | ocaml(Ltac_plugin__Taccoerce) |
| = 0995c1927bdacf1c523aaaa675e82a07 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = 57396f6e0de4dee925444431786b1957 | ocaml(Ltac_plugin__Tacexpr) |
| = 329eae3362e9f995d16a1b3c9bd944e6 | ocaml(Ltac_plugin__Tacintern) |
| = f6081045f29dbd3f2ab614066b067927 | ocaml(Ltac_plugin__Tacinterp) |
| = 8b8688b257969aa8bb742ef9c382084f | ocaml(Ltac_plugin__Tacsubst) |
| = 6b4b9794d2e2b592a4ab94224dc2e59d | ocaml(Ltac_plugin__Tactic_debug) |
| = 8673fdd5126c7791c13816daee83707d | ocaml(Ltac_plugin__Tactic_matching) |
| = d4a149e1177cc01114734f7895e97fca | ocaml(Ltac_plugin__Tactic_option) |
| = 270e7aa2a02bec3eda99e4f427a351f7 | ocaml(Ltac_pretype) |
| = ef17ddb3edfa09035e930a283de5f7e5 | ocaml(Metasyntax) |
| = 477e4d683c0b40afe138ea0fb8efd814 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = d9d0c697178a03aaadf7d820af2c4d1e | 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) |
| = a6e902c1bacde71e112af166b3205c88 | ocaml(Micromega_plugin__Vect) |
| = fd4208321b1c906f81a281034c3b8ff0 | ocaml(Miscprint) |
| = 18037b34393e18d572701dfee90ec3f7 | ocaml(Mltop) |
| = 883ff24157873ad45c0b936416e276f3 | ocaml(Mod_subst) |
| = 584bf17c50f5f292ce1a3db1da2920e8 | ocaml(Mod_typing) |
| = ca3937afd03274907b8d5ddcfd574c91 | ocaml(Modintern) |
| = de481303e1a8dec4d220dc9522f57034 | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = e7b4c98d68b9b84b256d9650ac063dab | ocaml(Mutex) |
| = b27857dd58e622e963a475048c219bfc | ocaml(Namegen) |
| = 39600ad4195e192f6b794ace9699536d | ocaml(Nameops) |
| = 2ea9132743d37e1af5c8327b5dc400b1 | ocaml(Names) |
| = cd1025d7a24bd57f7b3234cafa33d7b6 | ocaml(Nametab) |
| = 842a27615e40a598a3aabe25b3b65322 | ocaml(Nativecode) |
| = 8d892045979e0114aa149472891fd7cd | ocaml(Nativeconv) |
| = 1869be31085172561c0826ff03c09026 | ocaml(Nativelambda) |
| = c14db6be2a471852ffc636e36467ec57 | ocaml(Nativelib) |
| = 9e33a00b8b1da3b368030be376fdcc44 | ocaml(Nativelibrary) |
| = 18f04e43e9c942ad5d3df102b097b480 | ocaml(Nativenorm) |
| = 50c4bb93028b49d5f9a3462bd4dda4e2 | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = ccc9173dc208892df5f9805bb3da133b | ocaml(Notation) |
| = 8fa4b901449f85b461f7fec7b0e251b0 | ocaml(Notation_gram) |
| = c8c86cbd0a75bb468eb0f1fde43336ed | ocaml(Notation_ops) |
| = f8928ba07509dc722ec93f786e618660 | ocaml(Notation_term) |
| = 6f691d234ff40f7e5788f4deef3bab47 | ocaml(Notationextern) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 1b6976b6917d803cbdf8de5f54fee594 | ocaml(Nsatz_plugin) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 6738fbab7a990394369e676c5a9fb3ba | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 5d3e7b9a2ad3262b9d6a272123b58884 | ocaml(NumTok) |
| = 51ac4a03513f6ae660fff42d91271831 | ocaml(Number_string_notation_plugin) |
| = 36b1f77b970034a899dd009a4e83e73b | ocaml(Number_string_notation_plugin__Number) |
| = 7915dbe69833e922e3bad98926c6e6ee | ocaml(Number_string_notation_plugin__String_notation) |
| = af105c139433e79a0b5b638c061c375c | ocaml(ObjFile) |
| = 999bfd5f937c49fe3b1b03eafd7a3c8b | ocaml(Opaqueproof) |
| = fbc7fcc30c684040eb9c11e3569e6e2a | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = a77c98a741a12cc0e30505f6ab67508e | ocaml(Pattern) |
| = e0fd278985e428f08fb9f688b2a2d341 | ocaml(Patternops) |
| = 534232cf0659b65b2cf606961452861f | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = c92e1d8bb7b56e34e0c67d76e06ad751 | ocaml(Ppconstr) |
| = 8d27b09f158f4a7e4a91f72aead8104c | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 91db037523f5a70b4e0b407801dc8ab1 | ocaml(Pputils) |
| = 38c0075d1d6ff286f044118a2d0aafbe | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = 7c98662facfc2eae79018900551ece9b | ocaml(Prettyp) |
| = dc00e6f662a07e1405a5dd7f2e0ea833 | ocaml(Pretype_errors) |
| = 48b23857b1e813b0220a424962b8062f | ocaml(Pretyping) |
| = 4124a8d003016e321c5cc107b0d85c78 | ocaml(Primred) |
| = 142897df5497b18633c10c72ff0123ad | ocaml(Printer) |
| = 297a99be2a51e8572bfc3dccc857c134 | ocaml(Printmod) |
| = cacb6933086f515e793f211298f362fe | ocaml(Program) |
| = 4215cb70ba4758c3f779c2e5a6f28cd7 | ocaml(Proof) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 237d3e015419aea21ca33195f9e3dd67 | ocaml(Proof_diffs) |
| = bd77afdfa26a6def6efd099a60c94825 | ocaml(Proof_using) |
| = 036409de3ce6e1b89709592a00f2a153 | ocaml(Proofview) |
| = 14b0d99211d2510fffeb2d5bebcba76d | ocaml(Proofview_monad) |
| = d73f78fd7407a990e00737b9f2f5c623 | ocaml(Pvernac) |
| = 95ed12df5d619f4cf43c3f5256a0f97b | ocaml(Q) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 0fedb0ae2727a77075157f91c3326a6b | ocaml(RecLemmas) |
| = 59fc693e71f414bd1bce62e3b6714af9 | ocaml(Record) |
| = c025c04c287e4c064bb17ad4a4e59160 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 061463a7ecc6882acd7c10c1c6cf2653 | ocaml(Reduction) |
| = 49f5d5eece86a9150ff5104c30b4c804 | ocaml(Reductionops) |
| = 5ee59939e30830565d9eb5d6be0ed2ba | ocaml(Refine) |
| = 0dd4560834bbc3e67ea8342d68a6a349 | ocaml(Relevanceops) |
| = 3b4ff909f64de6f4afc8b8b8f6e0d96a | ocaml(Reserve) |
| = 0f77e1ab603b08ff482d468569f092be | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 8784ac89f9afd496a2d931bdc8805638 | ocaml(Retyping) |
| = 26c447157c3d6c8e2cbaf6dfa65402c2 | ocaml(Rewrite) |
| = 59777bc023dc2f779226cc57a4f18948 | ocaml(Ring_plugin) |
| = 8372c9042602313e1de3a58af38aaff0 | ocaml(Ring_plugin__Ring) |
| = 38360bfa10949f4b955f0cdde4c408ba | ocaml(Ring_plugin__Ring_ast) |
| = 1ccac922ee6c453c5b78275edf751850 | ocaml(Rtauto_plugin) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 76113dd743107343d550301cf469e291 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 87266e831aa0fb41e7e69d43dba10e03 | ocaml(SList) |
| = 077905aaf9d36b5fbc475f19af4cf4bc | ocaml(Safe_typing) |
| = ced8457eb022d013856a59f721bb6d2d | ocaml(Search) |
| = 178658b34fe52e6380c020193adca07e | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = c896fb1b0fea255b7a392a0203129c74 | ocaml(Ssreflect_plugin) |
| = 26b95b0ac110181a8ba3e6fcfe04f163 | ocaml(Ssreflect_plugin__Ssrast) |
| = 1273b4999add4e754c380b0041146b1a | ocaml(Ssreflect_plugin__Ssrbwd) |
| = 92d259a5ff76e43f765d196de78d1a7c | ocaml(Ssreflect_plugin__Ssrcommon) |
| = c2c403eaa26c12760b2702c426ff06d9 | ocaml(Ssreflect_plugin__Ssrelim) |
| = 70e04e0fbd05e41c960cc8dec232544b | ocaml(Ssreflect_plugin__Ssrequality) |
| = f0e22f67bfc49b2f36f4bc6ffc9f5f87 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = aaed5f33f32776eff138d372836d8f53 | ocaml(Ssreflect_plugin__Ssripats) |
| = 5a2bf34184b527af1a53474b14e59126 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = 32636e6774779ef5d97f6ee9344e9d66 | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = 80ba613a04e3c7c76b3aa816b81cadbf | ocaml(Ssreflect_plugin__Ssrview) |
| = c3e1af22ac2aa8657b01523f06b2d5e9 | ocaml(Ssrmatching_plugin) |
| = f80437dd6857cf0d51335e928c045734 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 19442d45b6573d7ae8f1f6a87005c674 | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 18c1e1caa14d693923ae0f349dd2b350 | 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) |
| = 097838f294457ecbb61ccbcf86cc6972 | ocaml(Stdlib__String) |
| = 7726a14ce36f5c6c3abb04975cec748b | ocaml(Stdlib__Sys) |
| = c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
| = 28f276c430fdc51a3a10691d3066b26a | ocaml(Stdlib__Weak) |
| = 0ff5c07638f9179d1776aa495f7e4e1a | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 514c63e7d96516ff4c601fe47900a52d | ocaml(Str) |
| = 63eeba12de775b8a45de7c8a85fe2212 | ocaml(Structures) |
| = a6ef663f5f39cf030cba28740a068e91 | ocaml(Subtyping) |
| = 858008ea8c56f907396e598f98daef71 | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = b5d3792869376370386502651527baa1 | ocaml(Tacmach) |
| = f8842bb29660b50a02735faa11d2447a | ocaml(Tacred) |
| = 9d0357efcaf60a446685cf5fdd528d0a | ocaml(Tacticals) |
| = 356d951a919895c83fcd4cfb2e5a2b98 | ocaml(Tactics) |
| = 65ee8f80ddd505d1a33624bc0cb44b61 | ocaml(Tactypes) |
| = aa8f4685317ce8dff797fb032be373f3 | ocaml(Tauto_plugin) |
| = 7a45b29ea54c962bdd7f36b12dac3b17 | ocaml(Term) |
| = d6e95187137cf80e4b855efe58d4fc93 | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = 860deea12963f24bf148076f1aa7675a | ocaml(Termops) |
| = cbab14f62eb893a73913c276298141c9 | ocaml(Thread) |
| = 2bddd7a50c5dc668c81f067689ea2a24 | ocaml(Tok) |
| = 816ab3bdc8a46f98e99bbb04b0872e06 | 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) |
| = fb78d902dcb5399dfbea44e2f6317114 | ocaml(Tuto1_plugin__Simple_check) |
| = 81d98c72083228668c1332c15b505649 | ocaml(Tuto1_plugin__Simple_declare) |
| = 04bbf6b01ed59d86a3efcc0dfbcd5f8d | 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) |
| = d72e33164fb9ef92bcb0867a09f77072 | ocaml(Tuto3_plugin__Construction_game) |
| = caf24d6a839d58b72bcc81040aa04137 | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 8ea8227048ad205d3384b10fc32d3b09 | ocaml(Type_errors) |
| = e273397fb1b53aad8bc86e45bfb6d589 | ocaml(Typeclasses) |
| = 0685ad351314e6881f9efef1f44bffbb | ocaml(Typeclasses_errors) |
| = 6d369174464463517c6f13560c32e442 | ocaml(Typeops) |
| = 7725bc327db698f1f87987823e9e6ac9 | ocaml(Typing) |
| = 2fd6f0b34adce97d21c5d93b17310f9b | ocaml(UGraph) |
| = 9cb90b5c0198a9392b644fc648a3b2e1 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 36a6ae469f84757170a84a81b6d92182 | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = 53a988bf819cc7d250124ea3076eb3a9 | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = f7225d1b1091516b25bcad262c410029 | ocaml(Univ) |
| = 808b07bc3e637d1c75fca5c3a86bc9d4 | ocaml(UnivGen) |
| = 48a462058b4ee2448760cff726ce452d | ocaml(UnivMinim) |
| = 650214610ca9c965cca2140d6065e8c4 | ocaml(UnivNames) |
| = e7830949b233fefd37a1fd12dae0225b | ocaml(UnivProblem) |
| = f8e474cbcc595932bd4a530a6694fbfc | ocaml(UnivSubst) |
| = 84bb8ec8ae50f70acba86f5b72088b1c | ocaml(Unix) |
| = 82442e4e897c61e9ffd5234974e104ef | ocaml(Util) |
| = cb3ff5d5b665cb384fb59c1413884523 | ocaml(Values) |
| = f17abb022dd4936d1a6ad91b4dda1549 | ocaml(Vars) |
| = 550a2f4b799a9e7c3b8f787aa7b5ec93 | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 7f412b2ae3a5f631dc411abdcdaba630 | ocaml(Vernac) |
| = a59f22207d274f93b817ad3453c1025f | ocaml(Vernac_classifier) |
| = 13fb30dc9f6048f84628cf65cc8a6e8d | ocaml(Vernacentries) |
| = b40e25528243ed19b4d298cad8d3815c | ocaml(Vernacexpr) |
| = 23cac55a4ec53b7a700e727d744aa012 | ocaml(Vernacextend) |
| = 207d177b3b9bec0a4d91d161bfda9ea4 | ocaml(Vernacinterp) |
| = 71176486fcf560d57ca342c2c619f300 | ocaml(Vernacprop) |
| = ce4f1d6799d679c6a098221e4e471d74 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = 32621364c2630626379d3be44fd46fd4 | ocaml(Vio_compile) |
| = f0ec330433b935ae1c1fe15ec7447bfe | ocaml(Vm) |
| = 0ec5367f45655d3cfc46db2e6443e395 | ocaml(Vmbytecodes) |
| = e153353f8c69b37c926991db72ac8c87 | ocaml(Vmbytegen) |
| = 346ef462a1e0243aad6f2621f358e795 | ocaml(Vmemitcodes) |
| = 80285fb8af95606eb567f5fb7e23423a | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = 7ed81fefa009caa6efe0230b11866b98 | ocaml(Vmsymtable) |
| = 1faa9be887b3fe66b213790f9bb1a3d8 | ocaml(Vmvalues) |
| = a870bcab96ddf73c8413d6aba9b3ac07 | ocaml(Vnorm) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = a71ac4a535434978287848841376388e | ocaml(Z) |
| = 61512478af51fb18cb17e36ae0122e4b | ocaml(Zify_plugin) |
| = fe038150f1e21ce13b77d0fc1645378e | ocaml(Zify_plugin__Zify) |
| = 152b28929cd1d4054b862f69a55f304b | ocamlx(Abbreviation) |
| = 4f9d90d5a0edba9304336904cc3a8ee5 | ocamlx(Abstract) |
| = e86869a795f9e0c897d1b62c22fe8748 | ocamlx(AcyclicGraph) |
| = 275c432f7dd56b1240e54cc1ac02c089 | ocamlx(Arguments_renaming) |
| = a9509720a25ed2e6d7e369cf9d66d276 | ocamlx(Assumptions) |
| = 274025ce3b0454f6c369a7a721933d3b | ocamlx(AsyncTaskQueue) |
| = ff211a04413cfb69c1ac959c2473ef68 | ocamlx(Attributes) |
| = 4ff1c8ff7f39ceb72beda002f9079279 | ocamlx(Auto) |
| = 976c647fbfb6668dfe256ba8d14d3aea | ocamlx(Auto_ind_decl) |
| = 897f3d75b286dc13093ed0f90cba2e88 | ocamlx(Autorewrite) |
| = 6663498f81240aa32091d09dad5125e4 | ocamlx(Aux_file) |
| = bb73056068d7ab79dba6b47fc43812c2 | ocamlx(Big_int_Z) |
| = ea8ff75f1c1362e4f703c929ef1838f2 | ocamlx(Boot__Env) |
| = b59e0b50d2caa2ea735361e16a2dd50b | ocamlx(Boot__Path) |
| = d89112f90887bc750103983d19191fa7 | ocamlx(Boot__Usage) |
| = 3a8655be4f88b02d96281da59f836979 | ocamlx(Boot__Util) |
| = ab5dbd4d6d2db0bddc96afb27328f69d | ocamlx(Btauto_plugin__Refl_btauto) |
| = eb46e561bc4b7c747f2cf61dc5d90454 | ocamlx(Btermdn) |
| = 69077a70554ae7c4aafb812c3551f8ce | ocamlx(CArray) |
| = 65083c3b3abbf671de54b4ee20ee8bbb | ocamlx(CAst) |
| = c0362577c837d3b00c10496c77f0fe97 | ocamlx(CClosure) |
| = 8cc98a7c2778b1e956c2506c0e2dab22 | ocamlx(CDebug) |
| = 1937a568693350c13ffb13c56320461d | ocamlx(CEphemeron) |
| = d2beb050d8fbcad7edf714e12edbc2d3 | ocamlx(CErrors) |
| = 11afce1858100b47b77165f4bcc4cde4 | ocamlx(CLexer) |
| = ae24fb792094005682af4d83cd3e3a5e | ocamlx(CList) |
| = 9ecbc00493b814c9a5b3e6c1f46beed7 | ocamlx(CMap) |
| = 6e6ac1878d614429ff8a0738fd6ce516 | ocamlx(CObj) |
| = dc6cbfef3822f3ad1a2122516aad5c8a | ocamlx(CPrimitives) |
| = e849df80a3bae5f98a1c0a0d97fca7b7 | ocamlx(CProfile) |
| = 731b09278ea266a3de76a71873a1f500 | ocamlx(CSet) |
| = bb0679407165dab9dc28c93b6a4bfe5a | ocamlx(CString) |
| = 5738f40b996b72bef73c0152ee136148 | ocamlx(CThread) |
| = 43fbbe8818bbf229513b357b7c495fec | ocamlx(CUnix) |
| = 8092fb6d7c560e48e7e811d32c0728f7 | ocamlx(CWarnings) |
| = 0573444d7d158417dbd5f4f46081e73b | ocamlx(CamlinternalLazy) |
| = 6655be7904f5f055c5ec94e3fc3775ba | ocamlx(CamlinternalMod) |
| = 5f072e4196d80070468427c1e4dde8ef | ocamlx(Canonical) |
| = ea4ca24c0e4513708e420478bba22ec5 | ocamlx(Cases) |
| = ec86f3a2dcb29324a7d38a69ca2d634a | ocamlx(Cbn) |
| = cad896ef428dfb66a8c0001d3059d764 | ocamlx(Cbv) |
| = b498ffb30ccfc6f4e4ec996a74ae0002 | ocamlx(Cc_plugin__Ccalgo) |
| = 964dfea60e5b6df611778eb5c00ed408 | ocamlx(Cc_plugin__Ccproof) |
| = af8419f0c1f284fb23349f7fe8616c31 | ocamlx(Cc_plugin__Cctac) |
| = 57c1d2da681bb3ee50cce8c181b71e9b | ocamlx(Ccompile) |
| = edde49f73c85edb40c8aec9a73f6cc05 | ocamlx(Class_tactics) |
| = d450a3bdd0a07e219a5224e2f8c496d4 | ocamlx(Classes) |
| = dc5a3c18e4013475724ffb220fc42577 | ocamlx(Clenv) |
| = 83de63009218bcd4c8c90a63df93c5b8 | ocamlx(Coercion) |
| = 6ac52341855a2d031756eaab6bc3dc2d | ocamlx(Coercionops) |
| = 2668e232967fd8ad70ef68fe8cc910e7 | ocamlx(Colors) |
| = 75e52795fa53b83f5c1de742b3c3b0f0 | ocamlx(ComArguments) |
| = 2d7ee450324bdf9ba8d31fffde047a35 | ocamlx(ComAssumption) |
| = c153d3a26878bf79f13329a112377d05 | ocamlx(ComCoercion) |
| = b05fb3a97270f73765cb9dca08d2b44f | ocamlx(ComDefinition) |
| = da861d72ce3ad7de8292afe64c8ced5e | ocamlx(ComExtraDeps) |
| = aed3e1ae6e455bb9c7d26dcaa52aed16 | ocamlx(ComFixpoint) |
| = 194e6b0021b44c28dec96c8117617820 | ocamlx(ComHints) |
| = d781c9c61d7e154ec25fc5ec44f18b48 | ocamlx(ComInductive) |
| = 35cfb75e0f36d39464e4eb2c91792680 | ocamlx(ComPrimitive) |
| = 0e397395ead83209c57097a24fae2f82 | ocamlx(ComProgramFixpoint) |
| = 48e9fe35b3b9fcbf5589550f96aa164f | ocamlx(ComSearch) |
| = af3a7d56bb55a86a2f37d15f2f5caf1d | ocamlx(ComTactic) |
| = a9bab680fdd246e0c85aaca50cb9c976 | ocamlx(Common_compile) |
| = a63efe87f1c64636f7dd0ca176135334 | ocamlx(Condition) |
| = 251dbf0308786aad53276f7e427cd1b1 | ocamlx(Constr) |
| = 9fa1575bb59cefd11880cfa40919f041 | ocamlx(Constr_matching) |
| = 2809bf0ef5cbd18ee9c5512d0a7b57bb | ocamlx(Constrexpr_ops) |
| = aea76c984944abf549d51d5dc38aef29 | ocamlx(Constrextern) |
| = 899e8f58c9d75f6e621ac4c54b9022be | ocamlx(Constrintern) |
| = 05e9be34eb5157b1b17807eb4ca8f2fc | ocamlx(Context) |
| = 2a473f1d231571a0e128c2eb5688e898 | ocamlx(Contradiction) |
| = 43e49934208bcd922ae13d402a76b5a3 | ocamlx(Control) |
| = 3ecf428d2a9e00d69a9445c3dbf4cc8e | ocamlx(Conv_oracle) |
| = f0a547fb7f2367cec04aae3610103832 | ocamlx(Cooking) |
| = 7cf638d493004511d5d651aae4aa842a | ocamlx(Coq_config) |
| = 9f92088b16bedb60b25e8e183ded41ea | ocamlx(Coqargs) |
| = 69a35ccee00ef3584c8d8fc044781b04 | ocamlx(Coqcargs) |
| = fd88e3ee34fd3f101b0999be71c9e854 | ocamlx(Coqinit) |
| = feb7257f1250928e6af7fd4fd648e929 | ocamlx(Coqlib) |
| = 6e76512a8f2199b7a6929806c36a8a5e | ocamlx(Coqloadpath) |
| = fb05dc58d714b9a211eb6fb8f197b175 | ocamlx(Coqloop) |
| = 1d1237f66b4462eaceabaccaf057d1c7 | ocamlx(Coqrc) |
| = 7e7ab545ec74073b060c03d62ee6dccb | ocamlx(Coqtop) |
| = 20cae04b7e47399fc86a4333b355f97e | ocamlx(CoqworkmgrApi) |
| = d00b8e4cc73d9a30dafcd47f7dff0b88 | ocamlx(Core_plugins_findlib_compat) |
| = 87bf9a546855ea7a2cfcaac317204a46 | ocamlx(DAst) |
| = eee2c52e4dbf8e4d961538104ebc18ea | ocamlx(Dag) |
| = 785da4532ffe3524ce71a17022a63610 | ocamlx(DebugHook) |
| = 2175dc158d9d0b5c9bd4beb57e0df953 | ocamlx(Declare) |
| = 22219eb94c35400e0265ed0eccba923c | ocamlx(DeclareInd) |
| = 43630f81726dc9305050e8569a3b872c | ocamlx(DeclareScheme) |
| = 138cfb5cd5eb5174af627f7cc7a04029 | ocamlx(DeclareUctx) |
| = e27eb8e8312261c771aecfad63f24bcc | ocamlx(DeclareUniv) |
| = ae6d26371b5e7378128de99f2797e087 | ocamlx(Declaremods) |
| = cb663cf40e7f0bed4c787770fcad98a7 | ocamlx(Declareops) |
| = 915965177ad7b4c1a67b4e28f95d54d2 | ocamlx(Decls) |
| = 3894cbdf79a7112ef59eb0b75ed51f90 | ocamlx(Deprecation) |
| = 036de663348af23f26f96a0360008cec | ocamlx(Derive_plugin__Derive) |
| = c7ec7ded42fa2f3914bdd620a84f600c | ocamlx(Detyping) |
| = 9e863c7141ed3283a737857120311b7f | ocamlx(Diff2) |
| = 7652de72cda677f6574f419cdb8c846c | ocamlx(Discharge) |
| = 4f6cd7c74431bf6f639f68a74b3c1b31 | ocamlx(Dn) |
| = 2ef4cc8d4e404c4d5a8eeb54e82d0d06 | ocamlx(Dumpglob) |
| = 8df2aa2eeee7aede0a80f4d4cd8215c9 | ocamlx(Dyn) |
| = da5a27fd0813ab0940c1d2efe1e121cb | ocamlx(Dynlink) |
| = 16d3dde3a720f7312547fe50234dafe0 | ocamlx(EConstr) |
| = c44e2f7cb5357fb98b2133a3efad8895 | ocamlx(Eauto) |
| = 5d8cf4f43f8d5e5cf1d8147e4585679f | ocamlx(Egramcoq) |
| = 3a5df1dcbdb01630d40afc943c1a10e9 | ocamlx(Egramml) |
| = 8920957bd6928f9aba08fa0048daea8f | ocamlx(Elim) |
| = 1b9e73043cc8a36f34452f348b2e5c91 | ocamlx(Elimschemes) |
| = 8bf4fde65cef1580b3d852bc60750eb2 | ocamlx(Envars) |
| = ed4d2cbd4e05f41dd2d1e1f81a47d919 | ocamlx(Environ) |
| = 65fa8246bc33f11d6f84735172d80404 | ocamlx(Eqdecide) |
| = 1cc9565df0e45b7079d779c7a70420f2 | ocamlx(Eqschemes) |
| = 8289f2936b1c96ba17f1ca9a8e9c1095 | ocamlx(Equality) |
| = 6f07572552977d3f82d75508de5af7ce | ocamlx(Esubst) |
| = 9302b49ceb98ff523a7e5e42d6f73c85 | ocamlx(Evar) |
| = e87dc1437be578ef332455ef667f0caa | ocamlx(Evar_kinds) |
| = f22398dcb6a24ef4b44536ed2fe66ea1 | ocamlx(Evar_tactics) |
| = 6c90a0593dcab1ba12963f4e7024a3dd | ocamlx(Evarconv) |
| = 6ac9eab9557d130a85fdea2e13630dbd | ocamlx(Evardefine) |
| = aa630fe7d954cfd251eddfd1c74d63c4 | ocamlx(Evarsolve) |
| = b130e3c7f8acc152f1fb99c68c9bf84f | ocamlx(Evarutil) |
| = 08966a371bfe505bf19e94303db47d86 | ocamlx(Evd) |
| = cce74d96bc6d031a65a5e0de91168728 | ocamlx(Exninfo) |
| = ec1f0a0ad841d60c7d8d6b75bc980bdd | ocamlx(Extend) |
| = a7829614332cb295620e019fa0358204 | ocamlx(Extraction_plugin__Common) |
| = e83e98c95ed03242c3c6c712f591bd1d | ocamlx(Extraction_plugin__Extract_env) |
| = 34773756a4ed05e0ee3e9fc2c52cabf9 | ocamlx(Extraction_plugin__Extraction) |
| = b8535edc6207fba3b2f8116180208e29 | ocamlx(Extraction_plugin__Haskell) |
| = ab3b471ab8734dfce103e31e1523da00 | ocamlx(Extraction_plugin__Json) |
| = 91aef700ad4792c50f8eeb55f3fe40c1 | ocamlx(Extraction_plugin__Mlutil) |
| = 76559cd843ef763c8cd196f390ad088e | ocamlx(Extraction_plugin__Modutil) |
| = 85d483a04e2310fc10d6859b5cdbc3a6 | ocamlx(Extraction_plugin__Ocaml) |
| = d0ad89de70b29f71160987a99a4ea1ed | ocamlx(Extraction_plugin__Scheme) |
| = 41278455cb3f35af32df6625b9f82814 | ocamlx(Extraction_plugin__Table) |
| = ecb5fe26475144c8c7f397d285400da7 | ocamlx(Feedback) |
| = f857e31c79468bcb21f049ff597a11de | ocamlx(Find_subterm) |
| = 584fa17312573ffc68ff334becd8e3b5 | ocamlx(Firstorder_plugin__Formula) |
| = 2da7514d35b6e35a50ed26c21f961efc | ocamlx(Firstorder_plugin__Ground) |
| = f51a9003520d3cb7d5d996cf8d994994 | ocamlx(Firstorder_plugin__Instances) |
| = e4acd595b51aed44656b21002f226e25 | ocamlx(Firstorder_plugin__Rules) |
| = f162d5fae4c275d63a3c4c4b862af7ca | ocamlx(Firstorder_plugin__Sequent) |
| = db5bafc5d21221f7eae7a5e546202b46 | ocamlx(Firstorder_plugin__Unify) |
| = 842c8a5368d76c776d1e40dbf3fed00e | ocamlx(Flags) |
| = d9b45137b271e469dfc36466ea1ca6e9 | ocamlx(Float64) |
| = c079b73647ef633fadbfa5bdce5e1a3e | ocamlx(Float64_common) |
| = 8718f868a701baea48d36845811d8a94 | ocamlx(Ftactic) |
| = 6776ef8b0de28695e95a877bbf998d4c | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 4d78a48fdb533a903bd70fcd0ea3cc21 | ocamlx(Funind_plugin__Functional_principles_types) |
| = 53a9836aaf07527d3c7f375afedd6284 | ocamlx(Funind_plugin__Gen_principle) |
| = 808e9976aa5b837a836ee0308cc604bc | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = 1459a56d2f9bcc0a63d2af9b2fedd8b7 | ocamlx(Funind_plugin__Glob_termops) |
| = 89fa2a34d73c49fcd5b9b559497c9001 | ocamlx(Funind_plugin__Indfun) |
| = 2246b3ecdb9e5782efb4f35321405a6f | ocamlx(Funind_plugin__Indfun_common) |
| = c2e0817412c9472e18a3196b0f3b6737 | ocamlx(Funind_plugin__Invfun) |
| = 1dd41b99347137ccfe47cb43d6de6f26 | ocamlx(Funind_plugin__Recdef) |
| = 054f88ffa68b1ed6037f3bf240a3ade1 | ocamlx(Future) |
| = 9a110a61bc919b91b978c2eafdaa3bbc | ocamlx(G_proofs) |
| = 333656af0bf17cd49b39e0b581001ec1 | ocamlx(G_toplevel) |
| = 9c8a7ee4f908b78a2f112e89d987413d | ocamlx(G_vernac) |
| = b52463c11f9310d3eaedbb90a39d1c88 | ocamlx(Genarg) |
| = c20e55c004ff835bb5b740bade44a5e6 | ocamlx(Genintern) |
| = 425882dd4802306ec846afb94a40590f | ocamlx(Geninterp) |
| = 0aea1d1cb69de01b5aa63cfe4360524b | ocamlx(Genlambda) |
| = 5c7afdbaa62f959f50257367a265193c | ocamlx(Genprint) |
| = b1e0379a937b3e9721f891ef3612c85f | ocamlx(Genredexpr) |
| = 70ce96adb8d3d2a03514b4c1fa7b7576 | ocamlx(GlobEnv) |
| = 25c021bfc9f6540c028451a7a105a41b | ocamlx(Glob_ops) |
| = 51e31405ad119d31ae63ae464addc773 | ocamlx(Global) |
| = f50a1da734d1768d65843fc8f22e1979 | ocamlx(Globnames) |
| = 680bc363a657bbd1b1e164b8ff7372a5 | ocamlx(Goal_select) |
| = b0c5d58c430df3d6e366fdd4be1920bc | ocamlx(Goptions) |
| = 1f9470b12b6af35960ff459bd2efa81f | ocamlx(Gramlib__Gramext) |
| = a4fdcfc9a736b889e4e4148491a73934 | ocamlx(Gramlib__Grammar) |
| = 079e72044ed7fd3c35164f9ec6d5dbaf | ocamlx(Gramlib__LStream) |
| = 4d79c7546d977c90b14f035a31008544 | ocamlx(Gramlib__Stream) |
| = b2cf5dd59b52e4587106ca256f2d91a3 | ocamlx(HMap) |
| = 8e15bb6dbac7f1a0b4597cb2dea57763 | ocamlx(Hashcons) |
| = 289d79da738c49c99cd6d18df93996e7 | ocamlx(Hashset) |
| = 27299ea20c2bd9ceeb14aa7f9c53f9fb | ocamlx(Heads) |
| = 5a6a359577c07c6606ca9d5394f6f5f3 | ocamlx(Heap) |
| = d9f6677ae863354a525f79415ca7e913 | ocamlx(Himsg) |
| = cb02ed3dcb09429f0a6051ba07d9ce8e | ocamlx(Hints) |
| = fc4674a32f0b9ae5190bd8167b0cad9b | ocamlx(Hipattern) |
| = f0b5d946152854c7e0421f96585f9c32 | ocamlx(Hook) |
| = 6f509739c7a71eeb374f65b9d4fc92d9 | ocamlx(IStream) |
| = 590ca9f1af928a9a40d7713e70a4de30 | ocamlx(Impargs) |
| = b96af2a1cfbb150e236b9efab89a2149 | ocamlx(Implicit_quantifiers) |
| = 048bc65079360125683b9659cabe70f7 | ocamlx(IndTyping) |
| = 0d241d0cf6d7dfd088c613b32cd4060e | ocamlx(Ind_tables) |
| = 6021512198fb362b40cef3882b7d5afb | ocamlx(Indrec) |
| = f4ff357a299be5acf84ab6b883eaf594 | ocamlx(Indschemes) |
| = 71c51f78734403efca4f84c685561536 | ocamlx(Indtypes) |
| = 3e996741506496476719ad70c4c3c21d | ocamlx(Inductive) |
| = 3c568156a75d021adc13f724eb8d8c52 | ocamlx(Inductiveops) |
| = 7997655dfee9926641087ab1cb52b029 | ocamlx(InferCumulativity) |
| = 5a7a707e81004c77cb758062d28de739 | ocamlx(Int) |
| = bd233bc575e4d4688374539cf5854948 | ocamlx(Inv) |
| = af10ad566b8aa2c326709d56affd7280 | ocamlx(Keys) |
| = fcbb4a09c2a3292706fbacb05d301cd5 | ocamlx(Lib) |
| = dfd2e6102b233eae0b3ad0a1285bb65f | ocamlx(Libnames) |
| = b87dc31cb7344d131fbfbffc4a960705 | ocamlx(Libobject) |
| = f70a975b18373d8ab4493f8427fa3052 | ocamlx(Library) |
| = f496103c6870e86a5dee812ed8afa4ce | ocamlx(Load) |
| = e9955549b20bf5fb12d6df0d68c3c3bd | ocamlx(Loadpath) |
| = da5c60aea5eb2601f809baa02357b1de | ocamlx(Loc) |
| = d3ca6efce2f45a6d27d635a11260cb4e | ocamlx(Locality) |
| = 9acbb2d23906cf0be4b3ac9e8f4fb666 | ocamlx(Locusops) |
| = ceb93504361bac7c37e93b7b82ef414c | ocamlx(Logic) |
| = 8c77db64109524ea84e7506712db1580 | ocamlx(Logic_monad) |
| = ac000ce30e37f77a4f1edff47a9e169b | ocamlx(Ltac2_plugin__Tac2core) |
| = 7448045b7cc9da4be89ad66f332e1b49 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = 6456172b4402e90e91c5389da9345731 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 625da0bdf8c708c3d666df4c40d799f7 | ocamlx(Ltac2_plugin__Tac2env) |
| = e6d15ea45d720bee92109ae8fb27c31e | ocamlx(Ltac2_plugin__Tac2extffi) |
| = f3762d7c63918f1029adb45c582888d1 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = 46b1115f7bc585875d187d6cb18d424b | ocamlx(Ltac2_plugin__Tac2intern) |
| = 694083fcd92bad284b84fe4402c15a42 | ocamlx(Ltac2_plugin__Tac2interp) |
| = e86bf4bd08b18d0328986dc49f826efd | ocamlx(Ltac2_plugin__Tac2match) |
| = 68833f73bb8990c5427575706663d269 | ocamlx(Ltac2_plugin__Tac2print) |
| = ef3f468a32816fd1fd050f8d4e8dac02 | ocamlx(Ltac2_plugin__Tac2quote) |
| = bc887223a12a3ee69723f01734309778 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 710f5162294601ed0d80b82cb8f99098 | ocamlx(Ltac2_plugin__Tac2typing_env) |
| = 8cbda2025c5b8b000de34a7911b43329 | ocamlx(Ltac_plugin__ComRewrite) |
| = 6d63af8d61229ff3c69b647c8efcbd3c | ocamlx(Ltac_plugin__Extraargs) |
| = 5353000d5ce12c6ab62606795cd3e99a | ocamlx(Ltac_plugin__G_ltac) |
| = 19e8e50a9c1d73028c7bcc185b35bb20 | ocamlx(Ltac_plugin__Internals) |
| = b48970501be9c5b4e29fe187b3c797f2 | ocamlx(Ltac_plugin__Leminv) |
| = c2b89a66426a68bab0097e73705a06a2 | ocamlx(Ltac_plugin__Pltac) |
| = 26d6147b8121d44eb29935bc9932c214 | ocamlx(Ltac_plugin__Pptactic) |
| = b09f740d35bce1d52eab5d23055abf13 | ocamlx(Ltac_plugin__Profile_ltac) |
| = 4c3e5ae6643dba5f7f79768dc1e593bf | ocamlx(Ltac_plugin__Tacarg) |
| = 8364e1478cd2d1ac2008d06d2c61946c | ocamlx(Ltac_plugin__Taccoerce) |
| = 25725b518a7d183886c8e2edc3a6cfca | ocamlx(Ltac_plugin__Tacentries) |
| = 19cdf1fa4a0eb12cd5d0342a3d037f15 | ocamlx(Ltac_plugin__Tacenv) |
| = c536c489f0c174abbe42935070f1432a | ocamlx(Ltac_plugin__Tacintern) |
| = 2cccbbbb5d69d1bce5f22e272d2dc5aa | ocamlx(Ltac_plugin__Tacinterp) |
| = bdc3b017f25ad5de6f60ed1424395974 | ocamlx(Ltac_plugin__Tacsubst) |
| = d7999679b4286bfa9d2d993d3c55094f | ocamlx(Ltac_plugin__Tactic_debug) |
| = fadfddbac2837eb488d077912c3a5c1f | ocamlx(Ltac_plugin__Tactic_matching) |
| = f67ae75be1eb9be3d62517a933a06f30 | ocamlx(Ltac_plugin__Tactic_option) |
| = be769b0f7fbe4400692df08373e7c5aa | ocamlx(Metasyntax) |
| = 7eb138d365b0ca9faf517a24f56d209f | ocamlx(Micromega_plugin__Certificate) |
| = 54a5791a31b9a4542fbd9a1806c386f7 | ocamlx(Micromega_plugin__Coq_micromega) |
| = b90825661ce247b240190a255eff6d77 | ocamlx(Micromega_plugin__Linsolve) |
| = 50b27671573a4979b71a1b6ce20c80ae | ocamlx(Micromega_plugin__Micromega) |
| = c5bbc10bca829dd3f65f021173e60baf | ocamlx(Micromega_plugin__Mutils) |
| = 0edf2d3de0356b16d49fc5887357e7b2 | ocamlx(Micromega_plugin__NumCompat) |
| = 13b9bf52ffc60f1816bf4be0897e8074 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 89614c69986571e0dd4dc59630f5b6dd | ocamlx(Micromega_plugin__Polynomial) |
| = 670c0bec4ecb935a822dc990b196425e | ocamlx(Micromega_plugin__Simplex) |
| = bf5f2dd3776c85ef279d18b665c5bc76 | ocamlx(Micromega_plugin__Sos_lib) |
| = 8bccfdb1c4149eae975fad0cd3d9467f | ocamlx(Micromega_plugin__Vect) |
| = 483874379d0e6c6bdb4537523680864c | ocamlx(Miscprint) |
| = 4ae525975ea7e0ef541b168f5edd6013 | ocamlx(Mltop) |
| = 59c06ca21103f273d0bc4c7b7fe395df | ocamlx(Mod_subst) |
| = fe3406e850c0497192fb728460254fab | ocamlx(Mod_typing) |
| = 8a2b93d153d9ed950c6198100c31092b | ocamlx(Modintern) |
| = d23f311b0251904325d5a940faec0396 | ocamlx(Modops) |
| = 13e661dfe6ca8935bb5cdab606051c50 | ocamlx(Monad) |
| = 070d55bb683901b185545f26b3d87913 | ocamlx(Mutex) |
| = 420167c93007f878dfa5df0327fed805 | ocamlx(Namegen) |
| = afcd2eb3e9984d30d706133e319b3bb5 | ocamlx(Nameops) |
| = f2af9c65627b96691453a86a0b898d83 | ocamlx(Names) |
| = 4344b5269fff36f03c9940f3f805e356 | ocamlx(Nametab) |
| = 5a7e0e94055b1546ca43d838d54c067d | ocamlx(Nativecode) |
| = 25e68ecd1dbb6805deac14a545747d32 | ocamlx(Nativeconv) |
| = 15a1cf4822cf714a56461cbfd7041163 | ocamlx(Nativelambda) |
| = caaa730f639e778e17dd65513ea5b60f | ocamlx(Nativelib) |
| = 9980f276a110ee049700bab981fbdeeb | ocamlx(Nativelibrary) |
| = 29bdf3b144d2da9d7dae0fa5965d5271 | ocamlx(Nativenorm) |
| = dbcd9cbff7a6549a641c25e4afb7c276 | ocamlx(Nativevalues) |
| = 393118bbf0a3c91eba0a638198347673 | ocamlx(NeList) |
| = 0e730a4a181e8db2842e66db96564f1a | ocamlx(Notation) |
| = 4076774ef6e7f6b41f178ce76620038d | ocamlx(Notation_ops) |
| = f4255c40bf3a56daf79b3f210d571199 | ocamlx(Notationextern) |
| = cf20f13e71d7809f28c524c4beea5299 | ocamlx(Notgram_ops) |
| = c6108f02c5f8b27fb5f9fc216e2d682c | ocamlx(Nsatz_plugin__Ideal) |
| = 7720f6e54c26b087e3f663c98f7cd3ea | ocamlx(Nsatz_plugin__Nsatz) |
| = dea68b71b835d1d482854c5fb607d25e | ocamlx(Nsatz_plugin__Polynom) |
| = 009d61d376666a539a6c1850244d4492 | ocamlx(Nsatz_plugin__Utile) |
| = e5dad2b6a56f4993ccde46d88778e805 | ocamlx(NumTok) |
| = da067eee5bdb4d86a0fc810ed7e4f2ac | ocamlx(Number_string_notation_plugin__Number) |
| = b713ab36495a612329524e669890dba0 | ocamlx(Number_string_notation_plugin__String_notation) |
| = 7b22af394cac5d81506af6b96f6f0d3c | ocamlx(ObjFile) |
| = 7073d4a5947666b1809d5774943773c9 | ocamlx(Opaqueproof) |
| = abec9db1f3892ced51f29877e0c1bec6 | ocamlx(Opaques) |
| = 027e5e1bfabd879c0bafd13804c95ae3 | ocamlx(Option) |
| = 0ac4543a9028e035f21f74ce6ef8708b | ocamlx(OrderedType) |
| = 160d1af2771cf00e7082e108e752c1e5 | ocamlx(Parray) |
| = 81b0928e1c23c105cef8fbbca7d1aae9 | ocamlx(Partac) |
| = 598a1414adde7d40ec7952e04428a7c4 | ocamlx(Patternops) |
| = 222505fdb3a54d68a818e7bf5b0f1b41 | ocamlx(Pcoq) |
| = f856573c5dbd6b3be2ff2435e2e9ad5a | ocamlx(Pp) |
| = 37068b2d55ec8e0c71b347d9b5b55462 | ocamlx(Pp_diff) |
| = b842ffb8ef73974cf36ffd66fe3dbd21 | ocamlx(Ppconstr) |
| = 897606e375065e87a9692832df109264 | ocamlx(Ppextend) |
| = e0fc0c85f757031b910455a0cfaad412 | ocamlx(Ppred) |
| = cbbd7538ee0cdbe8b3b0c2a42f7f79fd | ocamlx(Pputils) |
| = 9b5b05df48d8619408de01b778199f75 | ocamlx(Ppvernac) |
| = 8d89cd4730fafcc3023c0d6ea129afa0 | ocamlx(Predicate) |
| = d6bf0f472634aaddc8a82980f2410626 | ocamlx(Prettyp) |
| = 4d8796eb79f8f688246f188dba6782ff | ocamlx(Pretype_errors) |
| = 7bbcf06b8fd63137c350963787768758 | ocamlx(Pretyping) |
| = 9ff42da181097d77a476788c229c8eec | ocamlx(Primred) |
| = f9fa0954ae1a5c2601069f4720f17f6a | ocamlx(Printer) |
| = 802e2d3903f9dacfbcc78dcca19c5053 | ocamlx(Printmod) |
| = c32c9484950b46b42f3cd2170e1ac101 | ocamlx(Program) |
| = 2a3529c240c13505d16a857d7f0d8516 | ocamlx(Proof) |
| = f486d10ccff5422fcd22c437f7a25e55 | ocamlx(Proof_bullet) |
| = fa5215a404a3c5f0d6bf0d6fedf66f53 | ocamlx(Proof_diffs) |
| = cb06b19200f10417164d30bf72cf499f | ocamlx(Proof_using) |
| = 99bd651dcc631db54ce18a63bf1b6225 | ocamlx(Proofview) |
| = 5d98569f3fa87129021be7635984676a | ocamlx(Proofview_monad) |
| = df39aa65ad06d03a53fe51863a75a343 | ocamlx(Pvernac) |
| = 778db690673a2ecd778badfca767ce6a | ocamlx(Q) |
| = 1d5958e8dda605e6cbc4f87eb5e144f6 | ocamlx(Range) |
| = 321967b058896edfcd4388e1f8e3f069 | ocamlx(RecLemmas) |
| = ca89b0a822668ffde88024d227735a57 | ocamlx(Record) |
| = a8bc6bafc3caa885a4aa720392fe5ffb | ocamlx(Redexpr) |
| = c0bdf1cc701e3862a930342012da1f05 | ocamlx(Redops) |
| = 03a90f42980b7072a978063bb84d3ffc | ocamlx(Reduction) |
| = 3f9de1bfee8fa47778e0953a8a9a98ff | ocamlx(Reductionops) |
| = cce5f86d2ed6da962277e5b96ff2a176 | ocamlx(Refine) |
| = cf5d3addf5ad77af12da7570badb1d43 | ocamlx(Relevanceops) |
| = b959f5b0d4987754163e778557209bf5 | ocamlx(Reserve) |
| = 54be74f3be1a1f2188933415055f6c57 | ocamlx(RetrieveObl) |
| = d402ce6645603748483439c72fae3388 | ocamlx(Retroknowledge) |
| = 5a1a02247ea4f8fe7078bfd1679129c5 | ocamlx(Retyping) |
| = aa0752d5b724e9198991efc3ebf61d88 | ocamlx(Rewrite) |
| = 5425f3decb9e674f91f67d2672a42bfb | ocamlx(Ring_plugin__Ring) |
| = 4915881cf11b25c49f9c39723adff2e9 | ocamlx(Rtauto_plugin__Proof_search) |
| = f01dbc4e7fb0989d91686f4acb1da6f7 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = dbc0de87e0d4608236eaa749bf0e3969 | ocamlx(Rtree) |
| = 59d96b80bd792dac72c4cc60cdd42a15 | ocamlx(SList) |
| = da547b4f9becd895a0e0203cb1fcf010 | ocamlx(Safe_typing) |
| = 5e45a76a3e3a43c0dc702bf2ec9bdaf9 | ocamlx(Search) |
| = 3b2ceb524f5fb2b32ca0bfc4d7d22ee8 | ocamlx(Section) |
| = c6f5516ba5d174f67829ed9c8c8909b8 | ocamlx(Segmenttree) |
| = 052f0eb24300833d85664c8de3ea9724 | ocamlx(Smartlocate) |
| = 4e1b7f447863bf33575b1460ae8c391b | ocamlx(Sorts) |
| = 16c47534e30908f42d7491de744d9972 | ocamlx(Spawn) |
| = 979af89369c75fcf800a9692aa5e18c4 | ocamlx(Spawned) |
| = 1e08621fcfd3f40dd44b147bda41d797 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = def0ca91b8b28b052f1172b32c536ac6 | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = b64b2bf29f2ecaa0888d7fccb7072d27 | ocamlx(Ssreflect_plugin__Ssrelim) |
| = aaf0944337b40602d058de1a94f4976b | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 8e38b455d0a44023ea380e480527a52a | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = a1eba5c4934156012edc146bd77c3ee8 | ocamlx(Ssreflect_plugin__Ssripats) |
| = 8be1ba1385e0e8278df3d7a713fcb4e2 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 0343a6d092bd02e8193c536cbed3ef53 | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 47350b0d90a6f538e7cbeba7d3ce73c0 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 5fe8199cd83e50bd3e5a505cb6248607 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = dedcd55c56baa7e687cb96eaea39bc5e | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = 2b7be9278707aca66876a9472e505937 | ocamlx(Stateid) |
| = 3607d25f7cc0a37fd7f2fc4201524569 | 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) |
| = 16f00be18fe41d5b5f3bc6b9bf6629df | ocamlx(Stdlib__String) |
| = b7b20574aeaf6b9579b0e18cd71b27d3 | ocamlx(Stdlib__Sys) |
| = bba061f4005216cd927f027dd350ea87 | ocamlx(Stdlib__Weak) |
| = 9a964f6561b9261a5bc261c1f8e56c4f | ocamlx(Stm) |
| = 1f0f0af67fcda107af7913685522e073 | ocamlx(Stmargs) |
| = 2ba3a6f89f234ff58c41785d74dbd400 | ocamlx(Store) |
| = 4f153d0614e739753ccb1a58e9ecaa38 | ocamlx(Str) |
| = 98145c22e3ff7fda9349d38634ec656d | ocamlx(Structures) |
| = 13b7c5f984fd2d2851f02061b7eeeee9 | ocamlx(Subtyping) |
| = 64574dc57866813324588821e0597966 | ocamlx(Summary) |
| = ec13e23ce1e39e6752e31ab2bbf89d6d | ocamlx(System) |
| = a019062e0148533c2823faf5dd0ea870 | ocamlx(TQueue) |
| = 9dca418747b4a3adaff48eee1c5e2c0e | ocamlx(Tacmach) |
| = fb6c1b5bbcbcf70a672e07f7fadfc4ee | ocamlx(Tacred) |
| = c8af9413247224c5655646dda64f665d | ocamlx(Tacticals) |
| = 1caa25dab719c202ad246ae8a110b9f1 | ocamlx(Tactics) |
| = 5013e3751f97dbda4d5e1d98ef7a3e98 | ocamlx(Term) |
| = 89f669647577c48b7862cb4dddb5b951 | ocamlx(Term_typing) |
| = 6ff9df188b1447212303a5929ee3399b | ocamlx(Terminal) |
| = 47bfa158b1c17e6aa79942d7a7e9ff56 | ocamlx(Termops) |
| = b6058a12af622a83bc30e409c733d611 | ocamlx(Thread) |
| = da310519e86d4a9bb4b5a9ed30d2282f | ocamlx(Tok) |
| = 9fb9a02f04134c03c729851bb0ee4053 | ocamlx(Topfmt) |
| = b03e4860ad37c0c5d2113446dbb373d9 | ocamlx(TransparentState) |
| = a10c81b0b47cd4fddf7ef018ed0625fc | ocamlx(Trie) |
| = 835a9eb8236b2b63a134b24ce0c88c20 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 469cc9e55e0ea6e97d4ff8d6483d55e4 | ocamlx(Tuto1_plugin__Inspector) |
| = 64e1748a6f9cbac86a29a05f36097728 | ocamlx(Tuto1_plugin__Simple_check) |
| = d45b49eee441e46c03fdb223f21d4f79 | ocamlx(Tuto1_plugin__Simple_declare) |
| = f041da44802199ce1b71a03a0d0e5b64 | ocamlx(Tuto1_plugin__Simple_print) |
| = 866d10139575a41772f229eb2866a65d | ocamlx(Tuto2_plugin__Counter) |
| = a8c6b289cc89ce68cd7c7c06f30a0c39 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 01029a96e70720ead09aa487bd0f3bf0 | ocamlx(Tuto3_plugin__Construction_game) |
| = d7736a03f36187cf1294b505734b28fb | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = da223a81fb9994a0342935c6ffa6dfee | ocamlx(Type_errors) |
| = 2270168cabfb7554606884a6a9a83281 | ocamlx(Typeclasses) |
| = 807a80b21c9225e8d5a0316a8ed11883 | ocamlx(Typeclasses_errors) |
| = d3e6fc7665692a208425defdeead8be3 | ocamlx(Typeops) |
| = 9b000671fa65632d8bb1ca3bba849e29 | ocamlx(Typing) |
| = 2cc7d8a95909eafcee26b6f8e9685df6 | ocamlx(UGraph) |
| = 1d5fa475b4886bc9c7cc13821675a1af | ocamlx(UState) |
| = f87e8fd10a80479899f7e6b4bfcffe03 | ocamlx(Uint63) |
| = 855f0c9639f5529e69dc785b8214cde5 | ocamlx(Unicode) |
| = d05dc1e9060cef93f0794941ee25c720 | ocamlx(Unicodetable) |
| = e264a12f9deb7e02120979628390635e | ocamlx(Unification) |
| = 09da7475766e419b156de58fb065d530 | ocamlx(Unionfind) |
| = 484f90f09c79209f21eab77341a82078 | ocamlx(Univ) |
| = 6a56b3dbc57cfce8f49eb8df79430182 | ocamlx(UnivGen) |
| = 49c94067994d34c25f5e3a36a0ef4dfd | ocamlx(UnivMinim) |
| = 35bfd080f10d84c1d6435475fb021809 | ocamlx(UnivNames) |
| = 06f526b6ef6c2613f13b482a1218ee0e | ocamlx(UnivProblem) |
| = f39fd36ed889915987ea791d521a9040 | ocamlx(UnivSubst) |
| = f98e9ef7f9e913e26df2cf0d3af4252b | ocamlx(Unix) |
| = 37df21a9868bb8ca8afde41e83efc1c5 | ocamlx(Util) |
| = e24c804d91e60b7e5f23101865ca0644 | ocamlx(Vars) |
| = a62cf440b8622fd451ea37f584a4dd6d | ocamlx(Vconv) |
| = 2082d4cf0e673df856056836b9976c16 | ocamlx(Vcs) |
| = dfc4d825b5b40f1aed30ddfa47a2d15f | ocamlx(Vernac) |
| = 6335002a1f6842e5043e5d3b261003b8 | ocamlx(Vernac_classifier) |
| = 31879056a65dd0630686dfa89b19dece | ocamlx(Vernacentries) |
| = d9d0ebe32e72424df317815c59d6cdb6 | ocamlx(Vernacextend) |
| = e19838b50e2df0989f00fdc8be1d5fd7 | ocamlx(Vernacinterp) |
| = c2add45f7008dffa219489c4ae4bde38 | ocamlx(Vernacprop) |
| = ce3d21b94eb03ea6968c2964b88c6c6e | ocamlx(Vernacstate) |
| = 5a56353669cb8a5f5ba332dcf73b0a06 | ocamlx(Vio_checking) |
| = bf8bd83869f9c3fdfd58b8a73f62c0f7 | ocamlx(Vio_compile) |
| = dee1e5df2deb6a2aef2fba7bb52f76d5 | ocamlx(Vm) |
| = 925ca763b3a2ea4e7619e004c29ef944 | ocamlx(Vmbytecodes) |
| = 2243e992f5259a7db3e854944a7df18b | ocamlx(Vmbytegen) |
| = d24dca8ae965e5c2ef63aa6dcf52ef64 | ocamlx(Vmemitcodes) |
| = 4fc09efd617b1a1d4e54e6d18338443b | ocamlx(Vmlambda) |
| = a98602e2d97cf24bde5fbf3b6fa097ba | ocamlx(Vmopcodes) |
| = fd49526a086ae698475eca9968999dc4 | ocamlx(Vmsymtable) |
| = 9566b8dacf45b64ee25bb439b7a15901 | ocamlx(Vmvalues) |
| = 56802378af811284f8ade97c4f63e10c | ocamlx(Vnorm) |
| = b157a62bf7547a0996649466efef0b76 | ocamlx(WorkerPool) |
| = 35e6c2baec05f2448f0ffb79a9faad0e | ocamlx(Z) |
| = d738e5cf10da3ce54e3a686bfea60e9d | ocamlx(Zify_plugin__Zify) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.17.1-1.fc38 | coq-core |
| = 8.17.1-1.fc38 | coq-core(aarch-64) |
| = be6239123a472214fc5ecfde31ebd925 | ocaml(Abbreviation) |
| = a0e4e3470a008819dae52557438d0abd | ocaml(Abstract) |
| = 6db97d4aba38e99b1ce79c13c9dc26ae | ocaml(AcyclicGraph) |
| = f8d2f59570b65bc119a64343e8e7b21b | ocaml(Arguments_renaming) |
| = 076163ae4e3a95e45b94d5fdcb123fe6 | ocaml(Assumptions) |
| = c025612b3ea152c9adfee455618ede28 | ocaml(AsyncTaskQueue) |
| = 5a60c0917b2c3a0fcb0df4e62de76fbb | ocaml(Attributes) |
| = 3a014a5521d8ca44e0b705642a120ace | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = 407272d899a613088e7a4b6815bcc157 | ocaml(Autorewrite) |
| = 4e5dbc641f72c02043546e93c1ea2f6f | ocaml(Aux_file) |
| = f498938c3cd8c3c430d1ecb0bf0739f4 | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = 8bde4d38c237d0b04900c5535d54f8c6 | ocaml(Boot__Util) |
| = 9009b76733276115709ad8eaf7608140 | ocaml(Btauto_plugin) |
| = ceed7aaab41c37f32cd48ea41e306203 | ocaml(Btauto_plugin__G_btauto) |
| = f9a54a9152f23e1d99c73094235ce92d | ocaml(Btauto_plugin__Refl_btauto) |
| = 19ceaceb01366d66133ac71d55856e2c | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = e6f0ae1977289571e268f9f4798f45af | ocaml(CAst) |
| = 0e858027f3915a9044ef4a568f65205d | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = 4e9a1cc39f535710b599ba92dc88682e | ocaml(CErrors) |
| = 5b4a6dcaec074bbcbd794fc5eaa27e41 | ocaml(CLexer) |
| = 963264b024cbb32e5211e7abb601d1fc | ocaml(CList) |
| = b5f62fbd6f9416f40b63b0dac2bac8a8 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = b572f5424b98ffcb8968be2d42112246 | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = 185a019f870874a8ff87e047f1d56006 | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = 413d1d4c84e7adbf8e02402baf03130c | ocaml(Cases) |
| = c3b823e77e896f61b27535e8255974cd | ocaml(Cbn) |
| = 529f8c46850706c84e6127c16af1defb | ocaml(Cbv) |
| = ceb46e8aedadbdd92158dcf60a3cd0fb | ocaml(Cc_plugin) |
| = d00dab7618d0f028d9391ba181187fe5 | ocaml(Cc_plugin__Ccalgo) |
| = 0dee667b8716d5c4a668dc2a67f014e1 | ocaml(Cc_plugin__Ccproof) |
| = 2ef3b8ef3a614e535ec2e2fb6ca24f8f | ocaml(Cc_plugin__Cctac) |
| = eec951b9c33268214bf4d23c95f7ece2 | ocaml(Cc_plugin__G_congruence) |
| = 8fcc85e873fd8380c43fba02f0957e4f | ocaml(Ccompile) |
| = 707c775411149cca404064cffcf64d50 | ocaml(Class_tactics) |
| = 1bf541defe0ef05f7aca4aee3bbdc662 | ocaml(Classes) |
| = 3ce38c91997e1420edac26fe82b4b2e8 | ocaml(Clenv) |
| = d9e365869ef519f165e3bd8beac6dbf4 | ocaml(Coercion) |
| = e0b05e9870c9dd8bba9769fdb11d0c34 | ocaml(Coercionops) |
| = 586cffd7f8f54293456da281e77f7e04 | ocaml(Colors) |
| = f460044dd7c35bb447e3ed26a8c80815 | ocaml(ComArguments) |
| = def007512d60c6108971b7539e517077 | ocaml(ComAssumption) |
| = bda88d7e21f5e48f739b5e3982a0dcef | ocaml(ComCoercion) |
| = 02950f943842016f14e51c334c11733c | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 8ad7052330d9c7a870a9821332580cb3 | ocaml(ComFixpoint) |
| = db69ec7d5a79172c6a07269102872604 | ocaml(ComHints) |
| = e6d8419df9b728ed6c0cbc9f9eb8e671 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = 7b66652b9b49a51293e447af1ebf45a5 | ocaml(ComProgramFixpoint) |
| = a7651809fd0614087d64168f71e9ad6b | ocaml(ComSearch) |
| = 0893ebb646b131ba32a368aba15c9f77 | ocaml(ComTactic) |
| = 90b67686d6aa6baf2363d0c701b94f03 | ocaml(Common_compile) |
| = 670799fa78880c542c37d64b3baf38aa | ocaml(Constr) |
| = 5b8babb34158c764159c3aeab6bff249 | ocaml(Constr_matching) |
| = 89d8853310bab32ea1eb882a028a8445 | ocaml(Constrexpr) |
| = 031f6eaad3ac7e53b139e99de6939f7c | ocaml(Constrexpr_ops) |
| = 42357b0a5b4aefa282943398a806c220 | ocaml(Constrextern) |
| = 2b5645f078e081a0478249562e9d5b05 | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = aa1d19af1a1d56cef0b4588bb4d8ea75 | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = 2c425c1e71f2ea9e68941efc72edf46e | ocaml(Cooking) |
| = 8d5a20010af02ab9428729ec3a35515b | ocaml(CoqProject_file) |
| = 3237b310a30d0c20634682b03f69ff08 | ocaml(Coq_config) |
| = f0dbb0c8814c6210f51334f286da1b39 | ocaml(Coqargs) |
| = ae9cdc97fc7c07c638b81cae3fb1f043 | ocaml(Coqc) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = e0f7d6e588e70598542cd61ebd0f23fc | ocaml(Coqlib) |
| = 13f0d13762fd2ca207fa68f6be4f41fe | ocaml(Coqloadpath) |
| = 9e84647125a0bf24b7904ce65428128c | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = fc0bcbda58d2f416905b23bfcb7dc570 | ocaml(Coqrun) |
| = a310b4a378c72c1c649fb05b9bcce833 | ocaml(Coqtop) |
| = 2bc1a56e71d08445950f1bfcbadbd6b1 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = 7d980c0cbe7bf12e0b87d6fae18f2cf6 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = aaa7cf86083c22fe0bdc650b9766d7f2 | ocaml(Declarations) |
| = ebadfec2550643d7dadaed20cd7bb4a6 | ocaml(Declare) |
| = 0a9bfe7ec898e0bc70b2a27e95fdeb5f | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 5c9255d8afb68db07781fe06f0113560 | ocaml(DeclareUniv) |
| = fb16413a97e082b5ed9c79cca9f31f9b | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = c143bdd1833d476947a9f81d767bdcf8 | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 87ebc9f2679fc769364ed6fc35137bff | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = 6b73c1079612ba930d3f84561281e473 | ocaml(Derive_plugin__G_derive) |
| = 5e9d9d968313c00a6440be458c9aaf83 | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 40533e96e93de95e706644b3917d47d6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 25750de3f8d5627e05625fc8c96573f4 | ocaml(Dumpglob) |
| = a80a8fb9c90585019a5f7a92adf2e2fc | ocaml(Dyn) |
| = f7ccdac0e964cd5cdb24c34fd0de582a | ocaml(EConstr) |
| = 25df3641a9701d7a59c88d1e11957c25 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 3ec613601260bfe0bbba15bbbb25e290 | ocaml(Egramml) |
| = 9590634ad98a1bfa99f504820a3b5747 | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 292cd81a23ad7e0507d10f00d83d1e9e | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 52e9defc7fd393e51d052bac59d8446f | ocaml(Environ) |
| = 99a5307b34d1fa7bd77464c9601717aa | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = c937130ca9e4d168b06d9417c1869776 | ocaml(Equality) |
| = a96ceb099c2f1fb6d9584a61b57ee72b | ocaml(Esubst) |
| = 5410ca5e116902547a19a06b75d92579 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = 028f0dd3c04344d72de7ea562093aa85 | ocaml(Evar_tactics) |
| = 0c453f02921db63a808978ad22d2d9ae | ocaml(Evarconv) |
| = 61b0a4dd1e82f8a77a24f23deaeb743f | ocaml(Evardefine) |
| = 24b8886508accd2291c7434f83a97011 | ocaml(Evarsolve) |
| = 6ed8a4aa0ace5ba3553e75261d2ce316 | ocaml(Evarutil) |
| = 6e9608a15e2e2562ca13abeeeca35a18 | ocaml(Evd) |
| = 1108fbdf2827b6d2494e3e4bca2b55f0 | ocaml(Exninfo) |
| = ea6908938502338d5a40473f55556d2b | ocaml(Extend) |
| = fdd86db306fda87185be4fa90f2a0006 | ocaml(Extraction_plugin) |
| = 2873e23b0aeeee7e82c43cdc00df9d86 | ocaml(Extraction_plugin__Common) |
| = 10a2bc62f1d06a52a8a37bee7f381dd0 | ocaml(Extraction_plugin__Extract_env) |
| = cb0decbf90fc305fda2ec0594cb824a7 | ocaml(Extraction_plugin__Extraction) |
| = c715530b2b7e48699615529a774faec6 | 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) |
| = 947df666d35d03330fb0749f1dc3ab64 | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = 4d2af0d8d9cd0b7c269f728902e3d265 | ocaml(Find_subterm) |
| = 974870c1e0c3303435a343893f7444e8 | ocaml(Firstorder_plugin) |
| = aaf3caa95d2265b72051264a68f46ebb | ocaml(Firstorder_plugin__Formula) |
| = 7d2f082debba50ad6447f77c9c4636d9 | ocaml(Firstorder_plugin__G_ground) |
| = 605965667faa629c1cf29678298e3e79 | ocaml(Firstorder_plugin__Ground) |
| = b81837963ea52f6484f8bf9672408296 | ocaml(Firstorder_plugin__Instances) |
| = 406f539079ebbbb61154ac1c9562d336 | ocaml(Firstorder_plugin__Rules) |
| = dd561863405bc42187a4c4ada1da2f35 | ocaml(Firstorder_plugin__Sequent) |
| = 02e69a90e8d7c916999132ba20b9ae90 | ocaml(Firstorder_plugin__Unify) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 919fb2eabc120f3c4e0129cfc56531e2 | ocaml(Float64) |
| = f7cc67c618c9af164bf5153d7aefb0d4 | ocaml(Float64_common) |
| = f78ee5f7e7021278250fefd3823b8995 | ocaml(Ftactic) |
| = ac7a138ea913bafeee82c6cde006e5c3 | ocaml(Funind_plugin) |
| = d81d36e1925b33ec229f7e24cb99de04 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = ff42b3169109c52746b6bcb38acf1e78 | ocaml(Funind_plugin__Functional_principles_types) |
| = 32ef0e3b49613235389c38d2691253a4 | ocaml(Funind_plugin__G_indfun) |
| = 3d8b89835f138f73f37fc9727d7d39f4 | ocaml(Funind_plugin__Gen_principle) |
| = 31081489d72840c7e9bfe7e6b1f87e71 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 85bde48dd543630a9da5868e9312b41e | ocaml(Funind_plugin__Glob_termops) |
| = 5f0feac81298c3089519cd03b8f63488 | ocaml(Funind_plugin__Indfun) |
| = 145b88c17610a08446ccb5d1c0a2005b | ocaml(Funind_plugin__Indfun_common) |
| = e7fb0e6551b18632ec1d5d5821616c37 | ocaml(Funind_plugin__Invfun) |
| = e9a2b6648be307a26e41af94e9c681aa | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = e16423952333a3177eba36a7886a58b6 | ocaml(G_constr) |
| = f0e099d2bd4a1ad859517feedbb8450c | ocaml(G_prim) |
| = 08e5a4beb27f5d000b6b178fd08b13a4 | ocaml(G_proofs) |
| = dbfd8bd5e63f768f5aad3c3a0441d469 | ocaml(G_toplevel) |
| = b87f2e22bc3f3580ff846c404c5a1d04 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = dea1abeb892588a68048e5281bd50c3a | ocaml(Genintern) |
| = e53eabcc0f9e0074037775f5eded68b4 | ocaml(Geninterp) |
| = 56cbe0a8daebf59b513cd61e5af4c4a0 | ocaml(Genlambda) |
| = 083509d48354fa981b03ded6f7e5574c | ocaml(Genprint) |
| = f53a74c218a59a60651f05f62ac89d06 | ocaml(Genredexpr) |
| = 7ebd778657dc4ce1640ce3c2b6e09795 | ocaml(GlobEnv) |
| = d8a130de03f1c0a13b011c330418eac9 | ocaml(Glob_ops) |
| = 5ef7569a2107526d8939df2edc1719f2 | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 7d19dd4e674067766e7badd2397d3479 | ocaml(Globnames) |
| = 4436d8e1f64e5b9232522bd9da57ae36 | ocaml(Goal_select) |
| = 14f9f251574a55f813b1b9c6aa56c246 | ocaml(Goptions) |
| = 8e1c211ef61e4e62fd295ca9771f63ec | ocaml(Gramlib) |
| = 2e57141ce4d24fd67956a8faad609320 | ocaml(Gramlib__Gramext) |
| = 09d1e16ec99220015f9f182f7d8a3846 | ocaml(Gramlib__Grammar) |
| = b5de63fd5eb20f4c2d8ef0455825af32 | ocaml(Gramlib__LStream) |
| = 1f45f85d4f8fa0710a63bf260ce64dcd | ocaml(Gramlib__Plexing) |
| = 7e4f02849f98bf6703e0fdcdf678cd86 | ocaml(Gramlib__Stream) |
| = 524baeb05ef735552c97528e363ccdda | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = a1c8eff0dc5577ee5bdd237d7c014298 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 8e677510e0f47f3638fe41a16265bc9f | ocaml(Himsg) |
| = 4d33a7d04e4ea5be3282f2483d71168c | ocaml(Hints) |
| = 81bddd9ca9dd022c58d6e259dd41f0e6 | ocaml(Hipattern) |
| = 91f169611318aedc592bf024573af625 | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = 59fdb83865f44cc6f25c60be55eedc38 | ocaml(Impargs) |
| = a366863d1b8e8fcead40add575b62d1c | ocaml(Implicit_quantifiers) |
| = 6ea8b3aeeace6bd04e760ab96d946ce1 | ocaml(IndTyping) |
| = 5f1e45678e7aa4a39c04ab8e26e27c70 | ocaml(Ind_tables) |
| = 95e8555d8b7783115d69caea0b48cf02 | ocaml(Indrec) |
| = 30c668f017f9230be709577db88d318b | ocaml(Indschemes) |
| = f273e2dbe2862c6422b1bfe8cff51217 | ocaml(Indtypes) |
| = f1a9f772087b26c2d34eb25a900b96e9 | ocaml(Inductive) |
| = 463396af8e15994e6333f473f51d4ad0 | ocaml(Inductiveops) |
| = 8e779023084c3f8e0b2f12a283ef64ff | ocaml(InferCumulativity) |
| = 5d7dae0fd8a18e8d5aa73a19ee3bbc40 | ocaml(Int) |
| = 51eadaf0cae064f29382e502af8bb869 | ocaml(Inv) |
| = 4efbdf8a09bd6505648a25074e8595c8 | ocaml(Keys) |
| = 4d4e0019fb768523b194e87563e45c74 | ocaml(Lib) |
| = 02ee04741ecccd4a6a82dd66b8c3795d | ocaml(Libnames) |
| = 55fd7942a25933ad93fc7b288222b20f | ocaml(Libobject) |
| = 627c0896e1c1c6aa4a23c7c0bac92457 | ocaml(Library) |
| = 229a02026ac8fd859473a9b3ddb63d3d | ocaml(Load) |
| = 3ec2d446d93dabd3a592dd90b287f393 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = 446b59cbb24530cc5dccfcb639525d3b | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = a982fb04f7d3d9a4a2c17f8fd2325491 | ocaml(Logic) |
| = 7568b85d2e5b3a8a6979dbdb1096e38c | ocaml(Logic_monad) |
| = b1993183de704b35704156e88e6c3eab | ocaml(Ltac2_plugin) |
| = b270cfa4e7403ef3d87050e931e1e7cb | ocaml(Ltac2_plugin__G_ltac2) |
| = 540e89aa0ee963c445eb42ca7f3df380 | ocaml(Ltac2_plugin__Tac2core) |
| = 7041ceed31923fae2c6295bc8e11c0d0 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 95d453317e8253185cd6374756742aad | ocaml(Ltac2_plugin__Tac2entries) |
| = 3b57a1477972c4df60417306399f1335 | ocaml(Ltac2_plugin__Tac2env) |
| = 6253230716103d6b7dd6ea2aea081685 | ocaml(Ltac2_plugin__Tac2expr) |
| = d9a653f1c6599223710a871e72132889 | ocaml(Ltac2_plugin__Tac2extffi) |
| = a56b27ff5e2e97a2b4254ed306825c9b | ocaml(Ltac2_plugin__Tac2ffi) |
| = bc2398708106f421e409f122eedc1c86 | ocaml(Ltac2_plugin__Tac2intern) |
| = e0c938a9a75fe271c93a569130af89a5 | ocaml(Ltac2_plugin__Tac2interp) |
| = 48704916cad759bd4f77de5179975db6 | ocaml(Ltac2_plugin__Tac2match) |
| = 7be5d20d26971ca3bb3d560b6e9b60be | ocaml(Ltac2_plugin__Tac2print) |
| = b6c2add69326c5b9ac9ab915b4775626 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 0f7fd6381b4303343e69dede49642bc2 | ocaml(Ltac2_plugin__Tac2quote) |
| = bafb212b7cc5620b3cbd2f55c7a087f3 | ocaml(Ltac2_plugin__Tac2stdlib) |
| = 7f76be165611225cde1893f8d5dbd754 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 74304ebac81f72fceabd656de3589d6d | ocaml(Ltac2_plugin__Tac2types) |
| = ff40f0eaa3941f0427c9540957ea3df4 | ocaml(Ltac2_plugin__Tac2typing_env) |
| = 7f51264610d86febd55751ade481cb54 | ocaml(Ltac_plugin) |
| = d2518dea8625c7029aa7b0cf6ae5a8a6 | ocaml(Ltac_plugin__ComRewrite) |
| = 58b063ff3d3d08297e840e6a8d74db92 | ocaml(Ltac_plugin__Coretactics) |
| = 60a5d9e4b843ebcf2a2ab7a929e54c05 | ocaml(Ltac_plugin__Extraargs) |
| = d4451ecdf7fd6c8c477701b85c23f75e | ocaml(Ltac_plugin__Extratactics) |
| = 75d1c1727cb6d51e57476ad3ddd112f9 | ocaml(Ltac_plugin__G_auto) |
| = b655ea219dd08d7cebbed9bffdb5fac1 | ocaml(Ltac_plugin__G_class) |
| = 7bb49a3a4d5da714274d3aeca6bdcc87 | ocaml(Ltac_plugin__G_eqdecide) |
| = 3a445bdffb53ee5e77a92db316b06392 | ocaml(Ltac_plugin__G_ltac) |
| = 8f2a684a5c4902ba3d76dbf1b71488b4 | ocaml(Ltac_plugin__G_obligations) |
| = 231d70643b0cd890bdde5f00e39a2607 | ocaml(Ltac_plugin__G_rewrite) |
| = 4b94fc711e80edfa02d0c09ec3bf02ab | ocaml(Ltac_plugin__G_tactic) |
| = 76d323702bb18bb63c6e8a5f21378f8b | ocaml(Ltac_plugin__Internals) |
| = 40c3edad22a06490d3ea7733b12f7cd6 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 343a0e91e5570407d4d55f975c39f4ed | ocaml(Ltac_plugin__Pptactic) |
| = 5ab560471afa103b368e74214cbab5d9 | ocaml(Ltac_plugin__Profile_ltac) |
| = 30e030fc373b9cb5af4fcc275f544cbb | ocaml(Ltac_plugin__Profile_ltac_tactics) |
| = 460daa5ee1c71de8f0a82854b5efc61f | ocaml(Ltac_plugin__Tacarg) |
| = 1c060cec2a7fa8864681089a11eb4cd8 | ocaml(Ltac_plugin__Taccoerce) |
| = 0995c1927bdacf1c523aaaa675e82a07 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = 57396f6e0de4dee925444431786b1957 | ocaml(Ltac_plugin__Tacexpr) |
| = 329eae3362e9f995d16a1b3c9bd944e6 | ocaml(Ltac_plugin__Tacintern) |
| = f6081045f29dbd3f2ab614066b067927 | ocaml(Ltac_plugin__Tacinterp) |
| = 8b8688b257969aa8bb742ef9c382084f | ocaml(Ltac_plugin__Tacsubst) |
| = 6b4b9794d2e2b592a4ab94224dc2e59d | ocaml(Ltac_plugin__Tactic_debug) |
| = 8673fdd5126c7791c13816daee83707d | ocaml(Ltac_plugin__Tactic_matching) |
| = d4a149e1177cc01114734f7895e97fca | ocaml(Ltac_plugin__Tactic_option) |
| = 270e7aa2a02bec3eda99e4f427a351f7 | ocaml(Ltac_pretype) |
| = ef17ddb3edfa09035e930a283de5f7e5 | ocaml(Metasyntax) |
| = 477e4d683c0b40afe138ea0fb8efd814 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = d9d0c697178a03aaadf7d820af2c4d1e | 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) |
| = a6e902c1bacde71e112af166b3205c88 | ocaml(Micromega_plugin__Vect) |
| = fd4208321b1c906f81a281034c3b8ff0 | ocaml(Miscprint) |
| = 18037b34393e18d572701dfee90ec3f7 | ocaml(Mltop) |
| = 883ff24157873ad45c0b936416e276f3 | ocaml(Mod_subst) |
| = 584bf17c50f5f292ce1a3db1da2920e8 | ocaml(Mod_typing) |
| = ca3937afd03274907b8d5ddcfd574c91 | ocaml(Modintern) |
| = de481303e1a8dec4d220dc9522f57034 | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = b27857dd58e622e963a475048c219bfc | ocaml(Namegen) |
| = 39600ad4195e192f6b794ace9699536d | ocaml(Nameops) |
| = 2ea9132743d37e1af5c8327b5dc400b1 | ocaml(Names) |
| = cd1025d7a24bd57f7b3234cafa33d7b6 | ocaml(Nametab) |
| = 842a27615e40a598a3aabe25b3b65322 | ocaml(Nativecode) |
| = 8d892045979e0114aa149472891fd7cd | ocaml(Nativeconv) |
| = 1869be31085172561c0826ff03c09026 | ocaml(Nativelambda) |
| = c14db6be2a471852ffc636e36467ec57 | ocaml(Nativelib) |
| = 9e33a00b8b1da3b368030be376fdcc44 | ocaml(Nativelibrary) |
| = 18f04e43e9c942ad5d3df102b097b480 | ocaml(Nativenorm) |
| = 50c4bb93028b49d5f9a3462bd4dda4e2 | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = ccc9173dc208892df5f9805bb3da133b | ocaml(Notation) |
| = 8fa4b901449f85b461f7fec7b0e251b0 | ocaml(Notation_gram) |
| = c8c86cbd0a75bb468eb0f1fde43336ed | ocaml(Notation_ops) |
| = f8928ba07509dc722ec93f786e618660 | ocaml(Notation_term) |
| = 6f691d234ff40f7e5788f4deef3bab47 | ocaml(Notationextern) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 1b6976b6917d803cbdf8de5f54fee594 | ocaml(Nsatz_plugin) |
| = 53f8733de219da25ee53d1c81bfb7c8f | ocaml(Nsatz_plugin__G_nsatz) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 6738fbab7a990394369e676c5a9fb3ba | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 5d3e7b9a2ad3262b9d6a272123b58884 | ocaml(NumTok) |
| = 51ac4a03513f6ae660fff42d91271831 | ocaml(Number_string_notation_plugin) |
| = bd489bcc90cd262b6357a338d164b4a2 | ocaml(Number_string_notation_plugin__G_number_string) |
| = 36b1f77b970034a899dd009a4e83e73b | ocaml(Number_string_notation_plugin__Number) |
| = 7915dbe69833e922e3bad98926c6e6ee | ocaml(Number_string_notation_plugin__String_notation) |
| = af105c139433e79a0b5b638c061c375c | ocaml(ObjFile) |
| = 999bfd5f937c49fe3b1b03eafd7a3c8b | ocaml(Opaqueproof) |
| = fbc7fcc30c684040eb9c11e3569e6e2a | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = a77c98a741a12cc0e30505f6ab67508e | ocaml(Pattern) |
| = e0fd278985e428f08fb9f688b2a2d341 | ocaml(Patternops) |
| = 534232cf0659b65b2cf606961452861f | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = c92e1d8bb7b56e34e0c67d76e06ad751 | ocaml(Ppconstr) |
| = 8d27b09f158f4a7e4a91f72aead8104c | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 91db037523f5a70b4e0b407801dc8ab1 | ocaml(Pputils) |
| = 38c0075d1d6ff286f044118a2d0aafbe | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = 7c98662facfc2eae79018900551ece9b | ocaml(Prettyp) |
| = dc00e6f662a07e1405a5dd7f2e0ea833 | ocaml(Pretype_errors) |
| = 48b23857b1e813b0220a424962b8062f | ocaml(Pretyping) |
| = 4124a8d003016e321c5cc107b0d85c78 | ocaml(Primred) |
| = 142897df5497b18633c10c72ff0123ad | ocaml(Printer) |
| = 297a99be2a51e8572bfc3dccc857c134 | ocaml(Printmod) |
| = cacb6933086f515e793f211298f362fe | ocaml(Program) |
| = 4215cb70ba4758c3f779c2e5a6f28cd7 | ocaml(Proof) |
| = bbe1360bee9265bd501f0324a8f687dd | ocaml(ProofBlockDelimiter) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 237d3e015419aea21ca33195f9e3dd67 | ocaml(Proof_diffs) |
| = bd77afdfa26a6def6efd099a60c94825 | ocaml(Proof_using) |
| = 036409de3ce6e1b89709592a00f2a153 | ocaml(Proofview) |
| = 14b0d99211d2510fffeb2d5bebcba76d | ocaml(Proofview_monad) |
| = d73f78fd7407a990e00737b9f2f5c623 | ocaml(Pvernac) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 0fedb0ae2727a77075157f91c3326a6b | ocaml(RecLemmas) |
| = 59fc693e71f414bd1bce62e3b6714af9 | ocaml(Record) |
| = c025c04c287e4c064bb17ad4a4e59160 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 061463a7ecc6882acd7c10c1c6cf2653 | ocaml(Reduction) |
| = 49f5d5eece86a9150ff5104c30b4c804 | ocaml(Reductionops) |
| = 5ee59939e30830565d9eb5d6be0ed2ba | ocaml(Refine) |
| = 0dd4560834bbc3e67ea8342d68a6a349 | ocaml(Relevanceops) |
| = 3b4ff909f64de6f4afc8b8b8f6e0d96a | ocaml(Reserve) |
| = 0f77e1ab603b08ff482d468569f092be | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 8784ac89f9afd496a2d931bdc8805638 | ocaml(Retyping) |
| = 26c447157c3d6c8e2cbaf6dfa65402c2 | ocaml(Rewrite) |
| = 59777bc023dc2f779226cc57a4f18948 | ocaml(Ring_plugin) |
| = 187e82c1a08ff672b99be5f95cf0e7f3 | ocaml(Ring_plugin__G_ring) |
| = 8372c9042602313e1de3a58af38aaff0 | ocaml(Ring_plugin__Ring) |
| = 38360bfa10949f4b955f0cdde4c408ba | ocaml(Ring_plugin__Ring_ast) |
| = 1ccac922ee6c453c5b78275edf751850 | ocaml(Rtauto_plugin) |
| = 7e1ea6f02a4b632e8ff96d67efb3ce81 | ocaml(Rtauto_plugin__G_rtauto) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 76113dd743107343d550301cf469e291 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 87266e831aa0fb41e7e69d43dba10e03 | ocaml(SList) |
| = 077905aaf9d36b5fbc475f19af4cf4bc | ocaml(Safe_typing) |
| = ced8457eb022d013856a59f721bb6d2d | ocaml(Search) |
| = 178658b34fe52e6380c020193adca07e | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = c896fb1b0fea255b7a392a0203129c74 | ocaml(Ssreflect_plugin) |
| = 26b95b0ac110181a8ba3e6fcfe04f163 | ocaml(Ssreflect_plugin__Ssrast) |
| = 1273b4999add4e754c380b0041146b1a | ocaml(Ssreflect_plugin__Ssrbwd) |
| = 92d259a5ff76e43f765d196de78d1a7c | ocaml(Ssreflect_plugin__Ssrcommon) |
| = c2c403eaa26c12760b2702c426ff06d9 | ocaml(Ssreflect_plugin__Ssrelim) |
| = 70e04e0fbd05e41c960cc8dec232544b | ocaml(Ssreflect_plugin__Ssrequality) |
| = f0e22f67bfc49b2f36f4bc6ffc9f5f87 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = aaed5f33f32776eff138d372836d8f53 | ocaml(Ssreflect_plugin__Ssripats) |
| = adec17b02dfebc7262ae670a92c07f88 | ocaml(Ssreflect_plugin__Ssrparser) |
| = 5a2bf34184b527af1a53474b14e59126 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = 32636e6774779ef5d97f6ee9344e9d66 | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = ee60bc5e1a384c959b2d04b4ea6b3296 | ocaml(Ssreflect_plugin__Ssrvernac) |
| = 80ba613a04e3c7c76b3aa816b81cadbf | ocaml(Ssreflect_plugin__Ssrview) |
| = c3e1af22ac2aa8657b01523f06b2d5e9 | ocaml(Ssrmatching_plugin) |
| = f80437dd6857cf0d51335e928c045734 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 19442d45b6573d7ae8f1f6a87005c674 | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 18c1e1caa14d693923ae0f349dd2b350 | ocaml(Stdarg) |
| = 0ff5c07638f9179d1776aa495f7e4e1a | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 63eeba12de775b8a45de7c8a85fe2212 | ocaml(Structures) |
| = a6ef663f5f39cf030cba28740a068e91 | ocaml(Subtyping) |
| = 858008ea8c56f907396e598f98daef71 | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = b5d3792869376370386502651527baa1 | ocaml(Tacmach) |
| = f8842bb29660b50a02735faa11d2447a | ocaml(Tacred) |
| = 9d0357efcaf60a446685cf5fdd528d0a | ocaml(Tacticals) |
| = 356d951a919895c83fcd4cfb2e5a2b98 | ocaml(Tactics) |
| = 65ee8f80ddd505d1a33624bc0cb44b61 | ocaml(Tactypes) |
| = aa8f4685317ce8dff797fb032be373f3 | ocaml(Tauto_plugin) |
| = 349c1525b6f814ab8fa0af79099ba65b | ocaml(Tauto_plugin__Tauto) |
| = 7a45b29ea54c962bdd7f36b12dac3b17 | ocaml(Term) |
| = d6e95187137cf80e4b855efe58d4fc93 | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = 860deea12963f24bf148076f1aa7675a | ocaml(Termops) |
| = 2bddd7a50c5dc668c81f067689ea2a24 | ocaml(Tok) |
| = 2b409d36cb0ba32556a75879cc19e665 | ocaml(Top_printers) |
| = 816ab3bdc8a46f98e99bbb04b0872e06 | ocaml(Topfmt) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = dbaec1601de88187931d58b1545e2bc7 | ocaml(Trie) |
| = 812cf3340836e621be63fa9aa920f56c | ocaml(Tuto0_plugin) |
| = 9e3a5c71c6a4ccb7e69c35833a7e62df | ocaml(Tuto0_plugin__G_tuto0) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 9cb6b709539dbad0cbe61a556c4bbd59 | ocaml(Tuto1_plugin) |
| = 68bbaa45733afaa60e33dd1df8d43b3b | ocaml(Tuto1_plugin__G_tuto1) |
| = 9f92f909f667ba2f13875ff30e150cf3 | ocaml(Tuto1_plugin__Inspector) |
| = fb78d902dcb5399dfbea44e2f6317114 | ocaml(Tuto1_plugin__Simple_check) |
| = 81d98c72083228668c1332c15b505649 | ocaml(Tuto1_plugin__Simple_declare) |
| = 04bbf6b01ed59d86a3efcc0dfbcd5f8d | ocaml(Tuto1_plugin__Simple_print) |
| = 117dad8dfb3fbf1d4f7967854193338f | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = a5d78d2339634584ddbfd804f5aede03 | ocaml(Tuto2_plugin__G_tuto2) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 0c73a52fe51cfe8d55f24c9edcd2421d | ocaml(Tuto3_plugin) |
| = d72e33164fb9ef92bcb0867a09f77072 | ocaml(Tuto3_plugin__Construction_game) |
| = fc2f1bb7959e748416d43aa50a97ce3f | ocaml(Tuto3_plugin__G_tuto3) |
| = caf24d6a839d58b72bcc81040aa04137 | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 8ea8227048ad205d3384b10fc32d3b09 | ocaml(Type_errors) |
| = e273397fb1b53aad8bc86e45bfb6d589 | ocaml(Typeclasses) |
| = 0685ad351314e6881f9efef1f44bffbb | ocaml(Typeclasses_errors) |
| = 6d369174464463517c6f13560c32e442 | ocaml(Typeops) |
| = 7725bc327db698f1f87987823e9e6ac9 | ocaml(Typing) |
| = 2fd6f0b34adce97d21c5d93b17310f9b | ocaml(UGraph) |
| = 9cb90b5c0198a9392b644fc648a3b2e1 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 36a6ae469f84757170a84a81b6d92182 | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = 53a988bf819cc7d250124ea3076eb3a9 | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = f7225d1b1091516b25bcad262c410029 | ocaml(Univ) |
| = 808b07bc3e637d1c75fca5c3a86bc9d4 | ocaml(UnivGen) |
| = 48a462058b4ee2448760cff726ce452d | ocaml(UnivMinim) |
| = 650214610ca9c965cca2140d6065e8c4 | ocaml(UnivNames) |
| = e7830949b233fefd37a1fd12dae0225b | ocaml(UnivProblem) |
| = f8e474cbcc595932bd4a530a6694fbfc | ocaml(UnivSubst) |
| = 82442e4e897c61e9ffd5234974e104ef | ocaml(Util) |
| = cb3ff5d5b665cb384fb59c1413884523 | ocaml(Values) |
| = f17abb022dd4936d1a6ad91b4dda1549 | ocaml(Vars) |
| = 550a2f4b799a9e7c3b8f787aa7b5ec93 | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 7f412b2ae3a5f631dc411abdcdaba630 | ocaml(Vernac) |
| = a59f22207d274f93b817ad3453c1025f | ocaml(Vernac_classifier) |
| = 13fb30dc9f6048f84628cf65cc8a6e8d | ocaml(Vernacentries) |
| = b40e25528243ed19b4d298cad8d3815c | ocaml(Vernacexpr) |
| = 23cac55a4ec53b7a700e727d744aa012 | ocaml(Vernacextend) |
| = 207d177b3b9bec0a4d91d161bfda9ea4 | ocaml(Vernacinterp) |
| = 71176486fcf560d57ca342c2c619f300 | ocaml(Vernacprop) |
| = ce4f1d6799d679c6a098221e4e471d74 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = 32621364c2630626379d3be44fd46fd4 | ocaml(Vio_compile) |
| = f0ec330433b935ae1c1fe15ec7447bfe | ocaml(Vm) |
| = 0ec5367f45655d3cfc46db2e6443e395 | ocaml(Vmbytecodes) |
| = e153353f8c69b37c926991db72ac8c87 | ocaml(Vmbytegen) |
| = 346ef462a1e0243aad6f2621f358e795 | ocaml(Vmemitcodes) |
| = 80285fb8af95606eb567f5fb7e23423a | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = 7ed81fefa009caa6efe0230b11866b98 | ocaml(Vmsymtable) |
| = 1faa9be887b3fe66b213790f9bb1a3d8 | ocaml(Vmvalues) |
| = a870bcab96ddf73c8413d6aba9b3ac07 | ocaml(Vnorm) |
| = d7d51d02cbdc62435c803471bd250b29 | ocaml(WorkerLoop) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = 61512478af51fb18cb17e36ae0122e4b | ocaml(Zify_plugin) |
| = 19eb91963282f3cf5f4310f42a826aeb | ocaml(Zify_plugin__G_zify) |
| = fe038150f1e21ce13b77d0fc1645378e | ocaml(Zify_plugin__Zify) |
| = 152b28929cd1d4054b862f69a55f304b | ocamlx(Abbreviation) |
| = 4f9d90d5a0edba9304336904cc3a8ee5 | ocamlx(Abstract) |
| = e86869a795f9e0c897d1b62c22fe8748 | ocamlx(AcyclicGraph) |
| = 275c432f7dd56b1240e54cc1ac02c089 | ocamlx(Arguments_renaming) |
| = a9509720a25ed2e6d7e369cf9d66d276 | ocamlx(Assumptions) |
| = 274025ce3b0454f6c369a7a721933d3b | ocamlx(AsyncTaskQueue) |
| = ff211a04413cfb69c1ac959c2473ef68 | ocamlx(Attributes) |
| = 4ff1c8ff7f39ceb72beda002f9079279 | ocamlx(Auto) |
| = 976c647fbfb6668dfe256ba8d14d3aea | ocamlx(Auto_ind_decl) |
| = 897f3d75b286dc13093ed0f90cba2e88 | ocamlx(Autorewrite) |
| = 6663498f81240aa32091d09dad5125e4 | ocamlx(Aux_file) |
| = bc1d5fdc1e51ac3821e54c2aca07ba9f | ocamlx(Boot) |
| = ea8ff75f1c1362e4f703c929ef1838f2 | ocamlx(Boot__Env) |
| = b59e0b50d2caa2ea735361e16a2dd50b | ocamlx(Boot__Path) |
| = d89112f90887bc750103983d19191fa7 | ocamlx(Boot__Usage) |
| = 3a8655be4f88b02d96281da59f836979 | ocamlx(Boot__Util) |
| = 341420e31c0382d9f68dcca9cf6866ee | ocamlx(Btauto_plugin) |
| = ec07adc7876a2ab2330032a8ef454b7c | ocamlx(Btauto_plugin__G_btauto) |
| = ab5dbd4d6d2db0bddc96afb27328f69d | ocamlx(Btauto_plugin__Refl_btauto) |
| = eb46e561bc4b7c747f2cf61dc5d90454 | ocamlx(Btermdn) |
| = 69077a70554ae7c4aafb812c3551f8ce | ocamlx(CArray) |
| = 65083c3b3abbf671de54b4ee20ee8bbb | ocamlx(CAst) |
| = c0362577c837d3b00c10496c77f0fe97 | ocamlx(CClosure) |
| = 8cc98a7c2778b1e956c2506c0e2dab22 | ocamlx(CDebug) |
| = 1937a568693350c13ffb13c56320461d | ocamlx(CEphemeron) |
| = d2beb050d8fbcad7edf714e12edbc2d3 | ocamlx(CErrors) |
| = 11afce1858100b47b77165f4bcc4cde4 | ocamlx(CLexer) |
| = ae24fb792094005682af4d83cd3e3a5e | ocamlx(CList) |
| = 9ecbc00493b814c9a5b3e6c1f46beed7 | ocamlx(CMap) |
| = 6e6ac1878d614429ff8a0738fd6ce516 | ocamlx(CObj) |
| = dc6cbfef3822f3ad1a2122516aad5c8a | ocamlx(CPrimitives) |
| = e849df80a3bae5f98a1c0a0d97fca7b7 | ocamlx(CProfile) |
| = 731b09278ea266a3de76a71873a1f500 | ocamlx(CSet) |
| = bb0679407165dab9dc28c93b6a4bfe5a | ocamlx(CString) |
| = 5738f40b996b72bef73c0152ee136148 | ocamlx(CThread) |
| = 43fbbe8818bbf229513b357b7c495fec | ocamlx(CUnix) |
| = 8092fb6d7c560e48e7e811d32c0728f7 | ocamlx(CWarnings) |
| = 5f072e4196d80070468427c1e4dde8ef | ocamlx(Canonical) |
| = ea4ca24c0e4513708e420478bba22ec5 | ocamlx(Cases) |
| = ec86f3a2dcb29324a7d38a69ca2d634a | ocamlx(Cbn) |
| = cad896ef428dfb66a8c0001d3059d764 | ocamlx(Cbv) |
| = 2f23cf69bae81a2ebb250c91ad9cc184 | ocamlx(Cc_plugin) |
| = b498ffb30ccfc6f4e4ec996a74ae0002 | ocamlx(Cc_plugin__Ccalgo) |
| = 964dfea60e5b6df611778eb5c00ed408 | ocamlx(Cc_plugin__Ccproof) |
| = af8419f0c1f284fb23349f7fe8616c31 | ocamlx(Cc_plugin__Cctac) |
| = 9b98e4cb9fe0fc8975b9b4bb605325be | ocamlx(Cc_plugin__G_congruence) |
| = 57c1d2da681bb3ee50cce8c181b71e9b | ocamlx(Ccompile) |
| = edde49f73c85edb40c8aec9a73f6cc05 | ocamlx(Class_tactics) |
| = d450a3bdd0a07e219a5224e2f8c496d4 | ocamlx(Classes) |
| = dc5a3c18e4013475724ffb220fc42577 | ocamlx(Clenv) |
| = 83de63009218bcd4c8c90a63df93c5b8 | ocamlx(Coercion) |
| = 6ac52341855a2d031756eaab6bc3dc2d | ocamlx(Coercionops) |
| = 2668e232967fd8ad70ef68fe8cc910e7 | ocamlx(Colors) |
| = 75e52795fa53b83f5c1de742b3c3b0f0 | ocamlx(ComArguments) |
| = 2d7ee450324bdf9ba8d31fffde047a35 | ocamlx(ComAssumption) |
| = c153d3a26878bf79f13329a112377d05 | ocamlx(ComCoercion) |
| = b05fb3a97270f73765cb9dca08d2b44f | ocamlx(ComDefinition) |
| = da861d72ce3ad7de8292afe64c8ced5e | ocamlx(ComExtraDeps) |
| = aed3e1ae6e455bb9c7d26dcaa52aed16 | ocamlx(ComFixpoint) |
| = 194e6b0021b44c28dec96c8117617820 | ocamlx(ComHints) |
| = d781c9c61d7e154ec25fc5ec44f18b48 | ocamlx(ComInductive) |
| = 35cfb75e0f36d39464e4eb2c91792680 | ocamlx(ComPrimitive) |
| = 0e397395ead83209c57097a24fae2f82 | ocamlx(ComProgramFixpoint) |
| = 48e9fe35b3b9fcbf5589550f96aa164f | ocamlx(ComSearch) |
| = af3a7d56bb55a86a2f37d15f2f5caf1d | ocamlx(ComTactic) |
| = a9bab680fdd246e0c85aaca50cb9c976 | ocamlx(Common_compile) |
| = 251dbf0308786aad53276f7e427cd1b1 | ocamlx(Constr) |
| = 9fa1575bb59cefd11880cfa40919f041 | ocamlx(Constr_matching) |
| = b1a856c87595b36d9a9980c0f8e63f3f | ocamlx(Constrexpr) |
| = 2809bf0ef5cbd18ee9c5512d0a7b57bb | ocamlx(Constrexpr_ops) |
| = aea76c984944abf549d51d5dc38aef29 | ocamlx(Constrextern) |
| = 899e8f58c9d75f6e621ac4c54b9022be | ocamlx(Constrintern) |
| = 05e9be34eb5157b1b17807eb4ca8f2fc | ocamlx(Context) |
| = 2a473f1d231571a0e128c2eb5688e898 | ocamlx(Contradiction) |
| = 43e49934208bcd922ae13d402a76b5a3 | ocamlx(Control) |
| = 3ecf428d2a9e00d69a9445c3dbf4cc8e | ocamlx(Conv_oracle) |
| = f0a547fb7f2367cec04aae3610103832 | ocamlx(Cooking) |
| = 55e054efc504e4c18cf05003685b4097 | ocamlx(CoqProject_file) |
| = 7cf638d493004511d5d651aae4aa842a | ocamlx(Coq_config) |
| = 9f92088b16bedb60b25e8e183ded41ea | ocamlx(Coqargs) |
| = 8e3f174a0c515095d57bfaa05e28031d | ocamlx(Coqc) |
| = 69a35ccee00ef3584c8d8fc044781b04 | ocamlx(Coqcargs) |
| = fd88e3ee34fd3f101b0999be71c9e854 | ocamlx(Coqinit) |
| = feb7257f1250928e6af7fd4fd648e929 | ocamlx(Coqlib) |
| = 6e76512a8f2199b7a6929806c36a8a5e | ocamlx(Coqloadpath) |
| = fb05dc58d714b9a211eb6fb8f197b175 | ocamlx(Coqloop) |
| = 1d1237f66b4462eaceabaccaf057d1c7 | ocamlx(Coqrc) |
| = ec0dd3dfefdd99d69f5da2c44ef655f3 | ocamlx(Coqrun) |
| = 7e7ab545ec74073b060c03d62ee6dccb | ocamlx(Coqtop) |
| = 20cae04b7e47399fc86a4333b355f97e | ocamlx(CoqworkmgrApi) |
| = d00b8e4cc73d9a30dafcd47f7dff0b88 | ocamlx(Core_plugins_findlib_compat) |
| = 87bf9a546855ea7a2cfcaac317204a46 | ocamlx(DAst) |
| = eee2c52e4dbf8e4d961538104ebc18ea | ocamlx(Dag) |
| = 785da4532ffe3524ce71a17022a63610 | ocamlx(DebugHook) |
| = 2183546dd37ae21919eb08562a4a5ccf | ocamlx(Declarations) |
| = 2175dc158d9d0b5c9bd4beb57e0df953 | ocamlx(Declare) |
| = 22219eb94c35400e0265ed0eccba923c | ocamlx(DeclareInd) |
| = 43630f81726dc9305050e8569a3b872c | ocamlx(DeclareScheme) |
| = 138cfb5cd5eb5174af627f7cc7a04029 | ocamlx(DeclareUctx) |
| = e27eb8e8312261c771aecfad63f24bcc | ocamlx(DeclareUniv) |
| = ae6d26371b5e7378128de99f2797e087 | ocamlx(Declaremods) |
| = cb663cf40e7f0bed4c787770fcad98a7 | ocamlx(Declareops) |
| = 915965177ad7b4c1a67b4e28f95d54d2 | ocamlx(Decls) |
| = 3894cbdf79a7112ef59eb0b75ed51f90 | ocamlx(Deprecation) |
| = 4bfed4f9c4227d7e97f0f9359969e727 | ocamlx(Derive_plugin) |
| = 036de663348af23f26f96a0360008cec | ocamlx(Derive_plugin__Derive) |
| = 1593958ab04808eb297adf9f4fe4022b | ocamlx(Derive_plugin__G_derive) |
| = c7ec7ded42fa2f3914bdd620a84f600c | ocamlx(Detyping) |
| = 9e863c7141ed3283a737857120311b7f | ocamlx(Diff2) |
| = 7652de72cda677f6574f419cdb8c846c | ocamlx(Discharge) |
| = 4f6cd7c74431bf6f639f68a74b3c1b31 | ocamlx(Dn) |
| = 2ef4cc8d4e404c4d5a8eeb54e82d0d06 | ocamlx(Dumpglob) |
| = 8df2aa2eeee7aede0a80f4d4cd8215c9 | ocamlx(Dyn) |
| = 16d3dde3a720f7312547fe50234dafe0 | ocamlx(EConstr) |
| = c44e2f7cb5357fb98b2133a3efad8895 | ocamlx(Eauto) |
| = 5d8cf4f43f8d5e5cf1d8147e4585679f | ocamlx(Egramcoq) |
| = 3a5df1dcbdb01630d40afc943c1a10e9 | ocamlx(Egramml) |
| = 8920957bd6928f9aba08fa0048daea8f | ocamlx(Elim) |
| = 1b9e73043cc8a36f34452f348b2e5c91 | ocamlx(Elimschemes) |
| = f29fbcba128d02be238bcf0c123407e1 | ocamlx(Entries) |
| = 8bf4fde65cef1580b3d852bc60750eb2 | ocamlx(Envars) |
| = ed4d2cbd4e05f41dd2d1e1f81a47d919 | ocamlx(Environ) |
| = 65fa8246bc33f11d6f84735172d80404 | ocamlx(Eqdecide) |
| = 1cc9565df0e45b7079d779c7a70420f2 | ocamlx(Eqschemes) |
| = 8289f2936b1c96ba17f1ca9a8e9c1095 | ocamlx(Equality) |
| = 6f07572552977d3f82d75508de5af7ce | ocamlx(Esubst) |
| = 9302b49ceb98ff523a7e5e42d6f73c85 | ocamlx(Evar) |
| = e87dc1437be578ef332455ef667f0caa | ocamlx(Evar_kinds) |
| = f22398dcb6a24ef4b44536ed2fe66ea1 | ocamlx(Evar_tactics) |
| = 6c90a0593dcab1ba12963f4e7024a3dd | ocamlx(Evarconv) |
| = 6ac9eab9557d130a85fdea2e13630dbd | ocamlx(Evardefine) |
| = aa630fe7d954cfd251eddfd1c74d63c4 | ocamlx(Evarsolve) |
| = b130e3c7f8acc152f1fb99c68c9bf84f | ocamlx(Evarutil) |
| = 08966a371bfe505bf19e94303db47d86 | ocamlx(Evd) |
| = cce74d96bc6d031a65a5e0de91168728 | ocamlx(Exninfo) |
| = ec1f0a0ad841d60c7d8d6b75bc980bdd | ocamlx(Extend) |
| = 6fcff5b02a9436ef0b637c2d29e353c1 | ocamlx(Extraction_plugin) |
| = a7829614332cb295620e019fa0358204 | ocamlx(Extraction_plugin__Common) |
| = e83e98c95ed03242c3c6c712f591bd1d | ocamlx(Extraction_plugin__Extract_env) |
| = 34773756a4ed05e0ee3e9fc2c52cabf9 | ocamlx(Extraction_plugin__Extraction) |
| = c360ce0dcd88aa9f83ce8554888d083a | ocamlx(Extraction_plugin__G_extraction) |
| = b8535edc6207fba3b2f8116180208e29 | ocamlx(Extraction_plugin__Haskell) |
| = ab3b471ab8734dfce103e31e1523da00 | ocamlx(Extraction_plugin__Json) |
| = b2592b2b0cb38de155a887806614bb0a | ocamlx(Extraction_plugin__Miniml) |
| = 91aef700ad4792c50f8eeb55f3fe40c1 | ocamlx(Extraction_plugin__Mlutil) |
| = 76559cd843ef763c8cd196f390ad088e | ocamlx(Extraction_plugin__Modutil) |
| = 85d483a04e2310fc10d6859b5cdbc3a6 | ocamlx(Extraction_plugin__Ocaml) |
| = d0ad89de70b29f71160987a99a4ea1ed | ocamlx(Extraction_plugin__Scheme) |
| = 41278455cb3f35af32df6625b9f82814 | ocamlx(Extraction_plugin__Table) |
| = ecb5fe26475144c8c7f397d285400da7 | ocamlx(Feedback) |
| = f857e31c79468bcb21f049ff597a11de | ocamlx(Find_subterm) |
| = f846c99dbaa260cbe0e19175997ef3d1 | ocamlx(Firstorder_plugin) |
| = 584fa17312573ffc68ff334becd8e3b5 | ocamlx(Firstorder_plugin__Formula) |
| = e9baad0e999b1be7f125480f81182343 | ocamlx(Firstorder_plugin__G_ground) |
| = 2da7514d35b6e35a50ed26c21f961efc | ocamlx(Firstorder_plugin__Ground) |
| = f51a9003520d3cb7d5d996cf8d994994 | ocamlx(Firstorder_plugin__Instances) |
| = e4acd595b51aed44656b21002f226e25 | ocamlx(Firstorder_plugin__Rules) |
| = f162d5fae4c275d63a3c4c4b862af7ca | ocamlx(Firstorder_plugin__Sequent) |
| = db5bafc5d21221f7eae7a5e546202b46 | ocamlx(Firstorder_plugin__Unify) |
| = 842c8a5368d76c776d1e40dbf3fed00e | ocamlx(Flags) |
| = d9b45137b271e469dfc36466ea1ca6e9 | ocamlx(Float64) |
| = c079b73647ef633fadbfa5bdce5e1a3e | ocamlx(Float64_common) |
| = 8718f868a701baea48d36845811d8a94 | ocamlx(Ftactic) |
| = 5dd7066c0be80e4ff9bda91f46d9e967 | ocamlx(Funind_plugin) |
| = 6776ef8b0de28695e95a877bbf998d4c | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 4d78a48fdb533a903bd70fcd0ea3cc21 | ocamlx(Funind_plugin__Functional_principles_types) |
| = 40a7916a7a6170ee792165dc11c08266 | ocamlx(Funind_plugin__G_indfun) |
| = 53a9836aaf07527d3c7f375afedd6284 | ocamlx(Funind_plugin__Gen_principle) |
| = 808e9976aa5b837a836ee0308cc604bc | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = 1459a56d2f9bcc0a63d2af9b2fedd8b7 | ocamlx(Funind_plugin__Glob_termops) |
| = 89fa2a34d73c49fcd5b9b559497c9001 | ocamlx(Funind_plugin__Indfun) |
| = 2246b3ecdb9e5782efb4f35321405a6f | ocamlx(Funind_plugin__Indfun_common) |
| = c2e0817412c9472e18a3196b0f3b6737 | ocamlx(Funind_plugin__Invfun) |
| = 1dd41b99347137ccfe47cb43d6de6f26 | ocamlx(Funind_plugin__Recdef) |
| = 054f88ffa68b1ed6037f3bf240a3ade1 | ocamlx(Future) |
| = d1dd21d127de962cca35b9c7a0a6b7f9 | ocamlx(G_constr) |
| = 7efc69c253bd6db109b5e07a9f6faa1e | ocamlx(G_prim) |
| = 9a110a61bc919b91b978c2eafdaa3bbc | ocamlx(G_proofs) |
| = 333656af0bf17cd49b39e0b581001ec1 | ocamlx(G_toplevel) |
| = 9c8a7ee4f908b78a2f112e89d987413d | ocamlx(G_vernac) |
| = b52463c11f9310d3eaedbb90a39d1c88 | ocamlx(Genarg) |
| = c20e55c004ff835bb5b740bade44a5e6 | ocamlx(Genintern) |
| = 425882dd4802306ec846afb94a40590f | ocamlx(Geninterp) |
| = 0aea1d1cb69de01b5aa63cfe4360524b | ocamlx(Genlambda) |
| = 5c7afdbaa62f959f50257367a265193c | ocamlx(Genprint) |
| = b1e0379a937b3e9721f891ef3612c85f | ocamlx(Genredexpr) |
| = 70ce96adb8d3d2a03514b4c1fa7b7576 | ocamlx(GlobEnv) |
| = 25c021bfc9f6540c028451a7a105a41b | ocamlx(Glob_ops) |
| = f5c4b881a348e8232913c3ce808fdc99 | ocamlx(Glob_term) |
| = 51e31405ad119d31ae63ae464addc773 | ocamlx(Global) |
| = f50a1da734d1768d65843fc8f22e1979 | ocamlx(Globnames) |
| = 680bc363a657bbd1b1e164b8ff7372a5 | ocamlx(Goal_select) |
| = b0c5d58c430df3d6e366fdd4be1920bc | ocamlx(Goptions) |
| = 669bc26e61098dd6aac2e66f4beb2808 | ocamlx(Gramlib) |
| = 1f9470b12b6af35960ff459bd2efa81f | ocamlx(Gramlib__Gramext) |
| = a4fdcfc9a736b889e4e4148491a73934 | ocamlx(Gramlib__Grammar) |
| = 079e72044ed7fd3c35164f9ec6d5dbaf | ocamlx(Gramlib__LStream) |
| = 9240f864ffdb5aeac8668ae8fde93d66 | ocamlx(Gramlib__Plexing) |
| = 4d79c7546d977c90b14f035a31008544 | ocamlx(Gramlib__Stream) |
| = b2cf5dd59b52e4587106ca256f2d91a3 | ocamlx(HMap) |
| = 8e15bb6dbac7f1a0b4597cb2dea57763 | ocamlx(Hashcons) |
| = 289d79da738c49c99cd6d18df93996e7 | ocamlx(Hashset) |
| = 27299ea20c2bd9ceeb14aa7f9c53f9fb | ocamlx(Heads) |
| = 5a6a359577c07c6606ca9d5394f6f5f3 | ocamlx(Heap) |
| = d9f6677ae863354a525f79415ca7e913 | ocamlx(Himsg) |
| = cb02ed3dcb09429f0a6051ba07d9ce8e | ocamlx(Hints) |
| = fc4674a32f0b9ae5190bd8167b0cad9b | ocamlx(Hipattern) |
| = f0b5d946152854c7e0421f96585f9c32 | ocamlx(Hook) |
| = 6f509739c7a71eeb374f65b9d4fc92d9 | ocamlx(IStream) |
| = 590ca9f1af928a9a40d7713e70a4de30 | ocamlx(Impargs) |
| = b96af2a1cfbb150e236b9efab89a2149 | ocamlx(Implicit_quantifiers) |
| = 048bc65079360125683b9659cabe70f7 | ocamlx(IndTyping) |
| = 0d241d0cf6d7dfd088c613b32cd4060e | ocamlx(Ind_tables) |
| = 6021512198fb362b40cef3882b7d5afb | ocamlx(Indrec) |
| = f4ff357a299be5acf84ab6b883eaf594 | ocamlx(Indschemes) |
| = 71c51f78734403efca4f84c685561536 | ocamlx(Indtypes) |
| = 3e996741506496476719ad70c4c3c21d | ocamlx(Inductive) |
| = 3c568156a75d021adc13f724eb8d8c52 | ocamlx(Inductiveops) |
| = 7997655dfee9926641087ab1cb52b029 | ocamlx(InferCumulativity) |
| = 5a7a707e81004c77cb758062d28de739 | ocamlx(Int) |
| = bd233bc575e4d4688374539cf5854948 | ocamlx(Inv) |
| = af10ad566b8aa2c326709d56affd7280 | ocamlx(Keys) |
| = fcbb4a09c2a3292706fbacb05d301cd5 | ocamlx(Lib) |
| = dfd2e6102b233eae0b3ad0a1285bb65f | ocamlx(Libnames) |
| = b87dc31cb7344d131fbfbffc4a960705 | ocamlx(Libobject) |
| = f70a975b18373d8ab4493f8427fa3052 | ocamlx(Library) |
| = f496103c6870e86a5dee812ed8afa4ce | ocamlx(Load) |
| = e9955549b20bf5fb12d6df0d68c3c3bd | ocamlx(Loadpath) |
| = da5c60aea5eb2601f809baa02357b1de | ocamlx(Loc) |
| = d3ca6efce2f45a6d27d635a11260cb4e | ocamlx(Locality) |
| = 7d5b363a2d229391d2436e2331291e5e | ocamlx(Locus) |
| = 9acbb2d23906cf0be4b3ac9e8f4fb666 | ocamlx(Locusops) |
| = ceb93504361bac7c37e93b7b82ef414c | ocamlx(Logic) |
| = 8c77db64109524ea84e7506712db1580 | ocamlx(Logic_monad) |
| = 1e367ab2728a05c33cf15202952d0a4a | ocamlx(Ltac2_plugin) |
| = 486faea26ac143b8a0d28d38c8bf57c4 | ocamlx(Ltac2_plugin__G_ltac2) |
| = ac000ce30e37f77a4f1edff47a9e169b | ocamlx(Ltac2_plugin__Tac2core) |
| = 7448045b7cc9da4be89ad66f332e1b49 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = 6456172b4402e90e91c5389da9345731 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 625da0bdf8c708c3d666df4c40d799f7 | ocamlx(Ltac2_plugin__Tac2env) |
| = e6d15ea45d720bee92109ae8fb27c31e | ocamlx(Ltac2_plugin__Tac2extffi) |
| = f3762d7c63918f1029adb45c582888d1 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = 46b1115f7bc585875d187d6cb18d424b | ocamlx(Ltac2_plugin__Tac2intern) |
| = 694083fcd92bad284b84fe4402c15a42 | ocamlx(Ltac2_plugin__Tac2interp) |
| = e86bf4bd08b18d0328986dc49f826efd | ocamlx(Ltac2_plugin__Tac2match) |
| = 68833f73bb8990c5427575706663d269 | ocamlx(Ltac2_plugin__Tac2print) |
| = ef3f468a32816fd1fd050f8d4e8dac02 | ocamlx(Ltac2_plugin__Tac2quote) |
| = 046d351600ed915328b18b708bf41536 | ocamlx(Ltac2_plugin__Tac2stdlib) |
| = bc887223a12a3ee69723f01734309778 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 710f5162294601ed0d80b82cb8f99098 | ocamlx(Ltac2_plugin__Tac2typing_env) |
| = 092b4b4888aea5a478c5f3979f93b7af | ocamlx(Ltac_plugin) |
| = 8cbda2025c5b8b000de34a7911b43329 | ocamlx(Ltac_plugin__ComRewrite) |
| = 901a1f0dce45299d5c82f3e53938a176 | ocamlx(Ltac_plugin__Coretactics) |
| = 6d63af8d61229ff3c69b647c8efcbd3c | ocamlx(Ltac_plugin__Extraargs) |
| = f262d7e88bca95be3ade5bb629a1bb22 | ocamlx(Ltac_plugin__Extratactics) |
| = 211da2cd77fb613e7c512b749a8a88ee | ocamlx(Ltac_plugin__G_auto) |
| = 1790b654c0ea2ddf19d0d795c4cd7435 | ocamlx(Ltac_plugin__G_class) |
| = 048d4c7ca873c6185994a8531759a2b0 | ocamlx(Ltac_plugin__G_eqdecide) |
| = 5353000d5ce12c6ab62606795cd3e99a | ocamlx(Ltac_plugin__G_ltac) |
| = 13c5158979d44d3f4a0b6b0cfc7ae34b | ocamlx(Ltac_plugin__G_obligations) |
| = f9d54946373dd6cdce2bf963b6165ae9 | ocamlx(Ltac_plugin__G_rewrite) |
| = 53956c37c421405fdc3e66ed025c32d1 | ocamlx(Ltac_plugin__G_tactic) |
| = 19e8e50a9c1d73028c7bcc185b35bb20 | ocamlx(Ltac_plugin__Internals) |
| = b48970501be9c5b4e29fe187b3c797f2 | ocamlx(Ltac_plugin__Leminv) |
| = c2b89a66426a68bab0097e73705a06a2 | ocamlx(Ltac_plugin__Pltac) |
| = 26d6147b8121d44eb29935bc9932c214 | ocamlx(Ltac_plugin__Pptactic) |
| = b09f740d35bce1d52eab5d23055abf13 | ocamlx(Ltac_plugin__Profile_ltac) |
| = bc1de60fb97f3e694b7e8501898924be | ocamlx(Ltac_plugin__Profile_ltac_tactics) |
| = 4c3e5ae6643dba5f7f79768dc1e593bf | ocamlx(Ltac_plugin__Tacarg) |
| = 8364e1478cd2d1ac2008d06d2c61946c | ocamlx(Ltac_plugin__Taccoerce) |
| = 25725b518a7d183886c8e2edc3a6cfca | ocamlx(Ltac_plugin__Tacentries) |
| = 19cdf1fa4a0eb12cd5d0342a3d037f15 | ocamlx(Ltac_plugin__Tacenv) |
| = ae9a1a8a69e3177d350672eb0a9f8a08 | ocamlx(Ltac_plugin__Tacexpr) |
| = c536c489f0c174abbe42935070f1432a | ocamlx(Ltac_plugin__Tacintern) |
| = 2cccbbbb5d69d1bce5f22e272d2dc5aa | ocamlx(Ltac_plugin__Tacinterp) |
| = bdc3b017f25ad5de6f60ed1424395974 | ocamlx(Ltac_plugin__Tacsubst) |
| = d7999679b4286bfa9d2d993d3c55094f | ocamlx(Ltac_plugin__Tactic_debug) |
| = fadfddbac2837eb488d077912c3a5c1f | ocamlx(Ltac_plugin__Tactic_matching) |
| = f67ae75be1eb9be3d62517a933a06f30 | ocamlx(Ltac_plugin__Tactic_option) |
| = 330a6f8aaf93789cc5dbbaf94c2cf2bc | ocamlx(Ltac_pretype) |
| = be769b0f7fbe4400692df08373e7c5aa | ocamlx(Metasyntax) |
| = 05d03f2585d55e86e2e179b5963eaa34 | ocamlx(Micromega_plugin) |
| = 7eb138d365b0ca9faf517a24f56d209f | ocamlx(Micromega_plugin__Certificate) |
| = 54a5791a31b9a4542fbd9a1806c386f7 | ocamlx(Micromega_plugin__Coq_micromega) |
| = 627e6b6403495da33a8128dd57932954 | ocamlx(Micromega_plugin__G_micromega) |
| = 6ddd3506e7d80e2025a02535f8e5f3a2 | ocamlx(Micromega_plugin__Itv) |
| = b90825661ce247b240190a255eff6d77 | ocamlx(Micromega_plugin__Linsolve) |
| = 50b27671573a4979b71a1b6ce20c80ae | ocamlx(Micromega_plugin__Micromega) |
| = c5bbc10bca829dd3f65f021173e60baf | ocamlx(Micromega_plugin__Mutils) |
| = 0edf2d3de0356b16d49fc5887357e7b2 | ocamlx(Micromega_plugin__NumCompat) |
| = 13b9bf52ffc60f1816bf4be0897e8074 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 89614c69986571e0dd4dc59630f5b6dd | ocamlx(Micromega_plugin__Polynomial) |
| = 670c0bec4ecb935a822dc990b196425e | ocamlx(Micromega_plugin__Simplex) |
| = 8fbdef72fbc32f090bac360dcb79a7eb | ocamlx(Micromega_plugin__Sos) |
| = bf5f2dd3776c85ef279d18b665c5bc76 | ocamlx(Micromega_plugin__Sos_lib) |
| = 076acae9130c8efcd263bcc5da066189 | ocamlx(Micromega_plugin__Sos_types) |
| = 8bccfdb1c4149eae975fad0cd3d9467f | ocamlx(Micromega_plugin__Vect) |
| = 483874379d0e6c6bdb4537523680864c | ocamlx(Miscprint) |
| = 4ae525975ea7e0ef541b168f5edd6013 | ocamlx(Mltop) |
| = 59c06ca21103f273d0bc4c7b7fe395df | ocamlx(Mod_subst) |
| = fe3406e850c0497192fb728460254fab | ocamlx(Mod_typing) |
| = 8a2b93d153d9ed950c6198100c31092b | ocamlx(Modintern) |
| = d23f311b0251904325d5a940faec0396 | ocamlx(Modops) |
| = 13e661dfe6ca8935bb5cdab606051c50 | ocamlx(Monad) |
| = 420167c93007f878dfa5df0327fed805 | ocamlx(Namegen) |
| = afcd2eb3e9984d30d706133e319b3bb5 | ocamlx(Nameops) |
| = f2af9c65627b96691453a86a0b898d83 | ocamlx(Names) |
| = 4344b5269fff36f03c9940f3f805e356 | ocamlx(Nametab) |
| = 5a7e0e94055b1546ca43d838d54c067d | ocamlx(Nativecode) |
| = 25e68ecd1dbb6805deac14a545747d32 | ocamlx(Nativeconv) |
| = 15a1cf4822cf714a56461cbfd7041163 | ocamlx(Nativelambda) |
| = caaa730f639e778e17dd65513ea5b60f | ocamlx(Nativelib) |
| = 9980f276a110ee049700bab981fbdeeb | ocamlx(Nativelibrary) |
| = 29bdf3b144d2da9d7dae0fa5965d5271 | ocamlx(Nativenorm) |
| = dbcd9cbff7a6549a641c25e4afb7c276 | ocamlx(Nativevalues) |
| = 393118bbf0a3c91eba0a638198347673 | ocamlx(NeList) |
| = 0e730a4a181e8db2842e66db96564f1a | ocamlx(Notation) |
| = c890d6de1d1b26373d8ea0e76939d46f | ocamlx(Notation_gram) |
| = 4076774ef6e7f6b41f178ce76620038d | ocamlx(Notation_ops) |
| = 082bf9f57e4577968dfd7d84ed32ebd6 | ocamlx(Notation_term) |
| = f4255c40bf3a56daf79b3f210d571199 | ocamlx(Notationextern) |
| = cf20f13e71d7809f28c524c4beea5299 | ocamlx(Notgram_ops) |
| = 4e857bdf8e913ae9d0f035d77f052690 | ocamlx(Nsatz_plugin) |
| = d3a9e30148470e21054a904279dabb27 | ocamlx(Nsatz_plugin__G_nsatz) |
| = c6108f02c5f8b27fb5f9fc216e2d682c | ocamlx(Nsatz_plugin__Ideal) |
| = 7720f6e54c26b087e3f663c98f7cd3ea | ocamlx(Nsatz_plugin__Nsatz) |
| = dea68b71b835d1d482854c5fb607d25e | ocamlx(Nsatz_plugin__Polynom) |
| = 009d61d376666a539a6c1850244d4492 | ocamlx(Nsatz_plugin__Utile) |
| = e5dad2b6a56f4993ccde46d88778e805 | ocamlx(NumTok) |
| = 3e3a4c17480be0bad0664ef539d1862d | ocamlx(Number_string_notation_plugin) |
| = e9b8312bfb74f45328a41b9a39d4b9e1 | ocamlx(Number_string_notation_plugin__G_number_string) |
| = da067eee5bdb4d86a0fc810ed7e4f2ac | ocamlx(Number_string_notation_plugin__Number) |
| = b713ab36495a612329524e669890dba0 | ocamlx(Number_string_notation_plugin__String_notation) |
| = 7b22af394cac5d81506af6b96f6f0d3c | ocamlx(ObjFile) |
| = 7073d4a5947666b1809d5774943773c9 | ocamlx(Opaqueproof) |
| = abec9db1f3892ced51f29877e0c1bec6 | ocamlx(Opaques) |
| = 027e5e1bfabd879c0bafd13804c95ae3 | ocamlx(Option) |
| = 0ac4543a9028e035f21f74ce6ef8708b | ocamlx(OrderedType) |
| = 160d1af2771cf00e7082e108e752c1e5 | ocamlx(Parray) |
| = 81b0928e1c23c105cef8fbbca7d1aae9 | ocamlx(Partac) |
| = 662c09e5671b185d58de5d780fa1c74f | ocamlx(Pattern) |
| = 598a1414adde7d40ec7952e04428a7c4 | ocamlx(Patternops) |
| = 222505fdb3a54d68a818e7bf5b0f1b41 | ocamlx(Pcoq) |
| = f856573c5dbd6b3be2ff2435e2e9ad5a | ocamlx(Pp) |
| = 37068b2d55ec8e0c71b347d9b5b55462 | ocamlx(Pp_diff) |
| = b842ffb8ef73974cf36ffd66fe3dbd21 | ocamlx(Ppconstr) |
| = 897606e375065e87a9692832df109264 | ocamlx(Ppextend) |
| = e0fc0c85f757031b910455a0cfaad412 | ocamlx(Ppred) |
| = cbbd7538ee0cdbe8b3b0c2a42f7f79fd | ocamlx(Pputils) |
| = 9b5b05df48d8619408de01b778199f75 | ocamlx(Ppvernac) |
| = 8d89cd4730fafcc3023c0d6ea129afa0 | ocamlx(Predicate) |
| = d6bf0f472634aaddc8a82980f2410626 | ocamlx(Prettyp) |
| = 4d8796eb79f8f688246f188dba6782ff | ocamlx(Pretype_errors) |
| = 7bbcf06b8fd63137c350963787768758 | ocamlx(Pretyping) |
| = 9ff42da181097d77a476788c229c8eec | ocamlx(Primred) |
| = f9fa0954ae1a5c2601069f4720f17f6a | ocamlx(Printer) |
| = 802e2d3903f9dacfbcc78dcca19c5053 | ocamlx(Printmod) |
| = c32c9484950b46b42f3cd2170e1ac101 | ocamlx(Program) |
| = 2a3529c240c13505d16a857d7f0d8516 | ocamlx(Proof) |
| = 01238d12dbb3cbcc13495a44eaeed9c1 | ocamlx(ProofBlockDelimiter) |
| = f486d10ccff5422fcd22c437f7a25e55 | ocamlx(Proof_bullet) |
| = fa5215a404a3c5f0d6bf0d6fedf66f53 | ocamlx(Proof_diffs) |
| = cb06b19200f10417164d30bf72cf499f | ocamlx(Proof_using) |
| = 99bd651dcc631db54ce18a63bf1b6225 | ocamlx(Proofview) |
| = 5d98569f3fa87129021be7635984676a | ocamlx(Proofview_monad) |
| = df39aa65ad06d03a53fe51863a75a343 | ocamlx(Pvernac) |
| = 1d5958e8dda605e6cbc4f87eb5e144f6 | ocamlx(Range) |
| = 321967b058896edfcd4388e1f8e3f069 | ocamlx(RecLemmas) |
| = ca89b0a822668ffde88024d227735a57 | ocamlx(Record) |
| = a8bc6bafc3caa885a4aa720392fe5ffb | ocamlx(Redexpr) |
| = c0bdf1cc701e3862a930342012da1f05 | ocamlx(Redops) |
| = 03a90f42980b7072a978063bb84d3ffc | ocamlx(Reduction) |
| = 3f9de1bfee8fa47778e0953a8a9a98ff | ocamlx(Reductionops) |
| = cce5f86d2ed6da962277e5b96ff2a176 | ocamlx(Refine) |
| = cf5d3addf5ad77af12da7570badb1d43 | ocamlx(Relevanceops) |
| = b959f5b0d4987754163e778557209bf5 | ocamlx(Reserve) |
| = 54be74f3be1a1f2188933415055f6c57 | ocamlx(RetrieveObl) |
| = d402ce6645603748483439c72fae3388 | ocamlx(Retroknowledge) |
| = 5a1a02247ea4f8fe7078bfd1679129c5 | ocamlx(Retyping) |
| = aa0752d5b724e9198991efc3ebf61d88 | ocamlx(Rewrite) |
| = 06f75f5c463f76eff0336c58718710b5 | ocamlx(Ring_plugin) |
| = 96934a6cc8422c650372286f0322222c | ocamlx(Ring_plugin__G_ring) |
| = 5425f3decb9e674f91f67d2672a42bfb | ocamlx(Ring_plugin__Ring) |
| = c6044c08c13568fd431fc8b4dd1e9083 | ocamlx(Ring_plugin__Ring_ast) |
| = 09de2c948f4a19da444201c7e861b6cc | ocamlx(Rtauto_plugin) |
| = 86bb70bdcbf5a9b8c004bbbc2542e5b2 | ocamlx(Rtauto_plugin__G_rtauto) |
| = 4915881cf11b25c49f9c39723adff2e9 | ocamlx(Rtauto_plugin__Proof_search) |
| = f01dbc4e7fb0989d91686f4acb1da6f7 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = dbc0de87e0d4608236eaa749bf0e3969 | ocamlx(Rtree) |
| = 59d96b80bd792dac72c4cc60cdd42a15 | ocamlx(SList) |
| = da547b4f9becd895a0e0203cb1fcf010 | ocamlx(Safe_typing) |
| = 5e45a76a3e3a43c0dc702bf2ec9bdaf9 | ocamlx(Search) |
| = 3b2ceb524f5fb2b32ca0bfc4d7d22ee8 | ocamlx(Section) |
| = c6f5516ba5d174f67829ed9c8c8909b8 | ocamlx(Segmenttree) |
| = 052f0eb24300833d85664c8de3ea9724 | ocamlx(Smartlocate) |
| = 4e1b7f447863bf33575b1460ae8c391b | ocamlx(Sorts) |
| = 16c47534e30908f42d7491de744d9972 | ocamlx(Spawn) |
| = 979af89369c75fcf800a9692aa5e18c4 | ocamlx(Spawned) |
| = 4dec0a06a96ded3bfca5c26efa1f526c | ocamlx(Ssreflect_plugin) |
| = 1e08621fcfd3f40dd44b147bda41d797 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = def0ca91b8b28b052f1172b32c536ac6 | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = b64b2bf29f2ecaa0888d7fccb7072d27 | ocamlx(Ssreflect_plugin__Ssrelim) |
| = aaf0944337b40602d058de1a94f4976b | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 8e38b455d0a44023ea380e480527a52a | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = a1eba5c4934156012edc146bd77c3ee8 | ocamlx(Ssreflect_plugin__Ssripats) |
| = 21babad13d92359ea58a1d4a8c6fbbf9 | ocamlx(Ssreflect_plugin__Ssrparser) |
| = 8be1ba1385e0e8278df3d7a713fcb4e2 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 0343a6d092bd02e8193c536cbed3ef53 | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 2306fff6e123233ddb714511728f5418 | ocamlx(Ssreflect_plugin__Ssrvernac) |
| = 47350b0d90a6f538e7cbeba7d3ce73c0 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 5b76aa8a5d0de67cc96c51d3b3604ff3 | ocamlx(Ssrmatching_plugin) |
| = 5fe8199cd83e50bd3e5a505cb6248607 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = dedcd55c56baa7e687cb96eaea39bc5e | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = 2b7be9278707aca66876a9472e505937 | ocamlx(Stateid) |
| = 3607d25f7cc0a37fd7f2fc4201524569 | ocamlx(Stdarg) |
| = 9a964f6561b9261a5bc261c1f8e56c4f | ocamlx(Stm) |
| = 1f0f0af67fcda107af7913685522e073 | ocamlx(Stmargs) |
| = 2ba3a6f89f234ff58c41785d74dbd400 | ocamlx(Store) |
| = 98145c22e3ff7fda9349d38634ec656d | ocamlx(Structures) |
| = 13b7c5f984fd2d2851f02061b7eeeee9 | ocamlx(Subtyping) |
| = 64574dc57866813324588821e0597966 | ocamlx(Summary) |
| = ec13e23ce1e39e6752e31ab2bbf89d6d | ocamlx(System) |
| = a019062e0148533c2823faf5dd0ea870 | ocamlx(TQueue) |
| = 9dca418747b4a3adaff48eee1c5e2c0e | ocamlx(Tacmach) |
| = fb6c1b5bbcbcf70a672e07f7fadfc4ee | ocamlx(Tacred) |
| = c8af9413247224c5655646dda64f665d | ocamlx(Tacticals) |
| = 1caa25dab719c202ad246ae8a110b9f1 | ocamlx(Tactics) |
| = a66545e95f70fe515f98cc3e2c8b50db | ocamlx(Tactypes) |
| = f88b82da2114b493d0deb578f8dd4ba9 | ocamlx(Tauto_plugin) |
| = 61bc1873d460cd555e98b19b48421ad9 | ocamlx(Tauto_plugin__Tauto) |
| = 5013e3751f97dbda4d5e1d98ef7a3e98 | ocamlx(Term) |
| = 89f669647577c48b7862cb4dddb5b951 | ocamlx(Term_typing) |
| = 6ff9df188b1447212303a5929ee3399b | ocamlx(Terminal) |
| = 47bfa158b1c17e6aa79942d7a7e9ff56 | ocamlx(Termops) |
| = da310519e86d4a9bb4b5a9ed30d2282f | ocamlx(Tok) |
| = 49cb026aa2fa46368cc3a11594c62c27 | ocamlx(Top_printers) |
| = 9fb9a02f04134c03c729851bb0ee4053 | ocamlx(Topfmt) |
| = b03e4860ad37c0c5d2113446dbb373d9 | ocamlx(TransparentState) |
| = a10c81b0b47cd4fddf7ef018ed0625fc | ocamlx(Trie) |
| = 421b6edf2af8dc3142bbcfb353ce80a1 | ocamlx(Tuto0_plugin) |
| = 4990cccc1cdf10bc19cf80f7af2c53dc | ocamlx(Tuto0_plugin__G_tuto0) |
| = 835a9eb8236b2b63a134b24ce0c88c20 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 1182c5b9212dab8eeed6f04fdc2cb779 | ocamlx(Tuto1_plugin) |
| = 73ae913e0f0f8abf82e7040ab27548d3 | ocamlx(Tuto1_plugin__G_tuto1) |
| = 469cc9e55e0ea6e97d4ff8d6483d55e4 | ocamlx(Tuto1_plugin__Inspector) |
| = 64e1748a6f9cbac86a29a05f36097728 | ocamlx(Tuto1_plugin__Simple_check) |
| = d45b49eee441e46c03fdb223f21d4f79 | ocamlx(Tuto1_plugin__Simple_declare) |
| = f041da44802199ce1b71a03a0d0e5b64 | ocamlx(Tuto1_plugin__Simple_print) |
| = 7badc8faa38b1ee75426ee806ac46034 | ocamlx(Tuto2_plugin) |
| = 866d10139575a41772f229eb2866a65d | ocamlx(Tuto2_plugin__Counter) |
| = 85ca865e0cfb2986a275e4530f5512f6 | ocamlx(Tuto2_plugin__Custom) |
| = 32f8fdbbd7ddc134dc9356d4dc693869 | ocamlx(Tuto2_plugin__G_tuto2) |
| = a8c6b289cc89ce68cd7c7c06f30a0c39 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 599b2c4aa1bac417a089758f57f7415c | ocamlx(Tuto3_plugin) |
| = 01029a96e70720ead09aa487bd0f3bf0 | ocamlx(Tuto3_plugin__Construction_game) |
| = a4bf7f9fdc9d799e976738fa668c0ab7 | ocamlx(Tuto3_plugin__G_tuto3) |
| = d7736a03f36187cf1294b505734b28fb | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = da223a81fb9994a0342935c6ffa6dfee | ocamlx(Type_errors) |
| = 2270168cabfb7554606884a6a9a83281 | ocamlx(Typeclasses) |
| = 807a80b21c9225e8d5a0316a8ed11883 | ocamlx(Typeclasses_errors) |
| = d3e6fc7665692a208425defdeead8be3 | ocamlx(Typeops) |
| = 9b000671fa65632d8bb1ca3bba849e29 | ocamlx(Typing) |
| = 2cc7d8a95909eafcee26b6f8e9685df6 | ocamlx(UGraph) |
| = 1d5fa475b4886bc9c7cc13821675a1af | ocamlx(UState) |
| = f87e8fd10a80479899f7e6b4bfcffe03 | ocamlx(Uint63) |
| = 855f0c9639f5529e69dc785b8214cde5 | ocamlx(Unicode) |
| = d05dc1e9060cef93f0794941ee25c720 | ocamlx(Unicodetable) |
| = e264a12f9deb7e02120979628390635e | ocamlx(Unification) |
| = 09da7475766e419b156de58fb065d530 | ocamlx(Unionfind) |
| = 484f90f09c79209f21eab77341a82078 | ocamlx(Univ) |
| = 6a56b3dbc57cfce8f49eb8df79430182 | ocamlx(UnivGen) |
| = 49c94067994d34c25f5e3a36a0ef4dfd | ocamlx(UnivMinim) |
| = 35bfd080f10d84c1d6435475fb021809 | ocamlx(UnivNames) |
| = 06f526b6ef6c2613f13b482a1218ee0e | ocamlx(UnivProblem) |
| = f39fd36ed889915987ea791d521a9040 | ocamlx(UnivSubst) |
| = 37df21a9868bb8ca8afde41e83efc1c5 | ocamlx(Util) |
| = e24c804d91e60b7e5f23101865ca0644 | ocamlx(Vars) |
| = a62cf440b8622fd451ea37f584a4dd6d | ocamlx(Vconv) |
| = 2082d4cf0e673df856056836b9976c16 | ocamlx(Vcs) |
| = dfc4d825b5b40f1aed30ddfa47a2d15f | ocamlx(Vernac) |
| = 6335002a1f6842e5043e5d3b261003b8 | ocamlx(Vernac_classifier) |
| = 31879056a65dd0630686dfa89b19dece | ocamlx(Vernacentries) |
| = 133ce17c595fdf01a663da1aaaa27f9d | ocamlx(Vernacexpr) |
| = d9d0ebe32e72424df317815c59d6cdb6 | ocamlx(Vernacextend) |
| = e19838b50e2df0989f00fdc8be1d5fd7 | ocamlx(Vernacinterp) |
| = c2add45f7008dffa219489c4ae4bde38 | ocamlx(Vernacprop) |
| = ce3d21b94eb03ea6968c2964b88c6c6e | ocamlx(Vernacstate) |
| = 5a56353669cb8a5f5ba332dcf73b0a06 | ocamlx(Vio_checking) |
| = bf8bd83869f9c3fdfd58b8a73f62c0f7 | ocamlx(Vio_compile) |
| = dee1e5df2deb6a2aef2fba7bb52f76d5 | ocamlx(Vm) |
| = 925ca763b3a2ea4e7619e004c29ef944 | ocamlx(Vmbytecodes) |
| = 2243e992f5259a7db3e854944a7df18b | ocamlx(Vmbytegen) |
| = d24dca8ae965e5c2ef63aa6dcf52ef64 | ocamlx(Vmemitcodes) |
| = 4fc09efd617b1a1d4e54e6d18338443b | ocamlx(Vmlambda) |
| = a98602e2d97cf24bde5fbf3b6fa097ba | ocamlx(Vmopcodes) |
| = fd49526a086ae698475eca9968999dc4 | ocamlx(Vmsymtable) |
| = 9566b8dacf45b64ee25bb439b7a15901 | ocamlx(Vmvalues) |
| = 56802378af811284f8ade97c4f63e10c | ocamlx(Vnorm) |
| = 6227e95c8f43edd0ddbe39db2bdba44d | ocamlx(WorkerLoop) |
| = b157a62bf7547a0996649466efef0b76 | ocamlx(WorkerPool) |
| = a92a95d724f093014026c762f910b21c | ocamlx(Zify_plugin) |
| = a7cef7f9f51ba5bf43102dee5ff15930 | ocamlx(Zify_plugin__G_zify) |
| = d738e5cf10da3ce54e3a686bfea60e9d | ocamlx(Zify_plugin__Zify) |
نحوه نصب
نصب پکیج rpm coq-core:
dnf install coq-core-8.17.1-1.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/coqtop |
| /usr/bin/coqtop.byte |
| /usr/bin/coqtop.opt |
| /usr/bin/coqwc |
| /usr/bin/coqworker.opt |
| /usr/bin/coqworkmgr |
| /usr/bin/csdpcert |
| /usr/bin/ocamllibdep |
| /usr/bin/votour |
| /usr/lib/.build-id |
| /usr/lib/.build-id/02 |
| /usr/lib/.build-id/02/c72bea21e211503f252a6b68ffdd8bc43a0630 |
| /usr/lib/.build-id/0a |
| /usr/lib/.build-id/0a/0d55740b5f1c009f6154c0d54efba18719e2be |
| /usr/lib/.build-id/0a/7d43d82d21d9b32fccf300294a89f8b9647bf9 |
| /usr/lib/.build-id/10 |
| /usr/lib/.build-id/10/cbd83ad55e1ccfd174ff04a98940f9e36b5803 |
| /usr/lib/.build-id/12 |
| /usr/lib/.build-id/12/d06e6cba18f7096f17df8b7ed242e46b101566 |
| /usr/lib/.build-id/15 |
| /usr/lib/.build-id/15/233aac1459962421af3e362b56e9104cfbffb3 |
| /usr/lib/.build-id/18 |
| /usr/lib/.build-id/18/c32ab4677ff885d4dd59131588471da81beab4 |
| /usr/lib/.build-id/1d |
| /usr/lib/.build-id/1d/381e74c0b8abcaba0fedf03b1af912447677d5 |
| /usr/lib/.build-id/1e |
| /usr/lib/.build-id/1e/d8c78f571e1a451c1f91f1044fa3065195a72e |
| /usr/lib/.build-id/1f |
| /usr/lib/.build-id/1f/4fd19aa494afd7657217359d25be2e440312ff |
| /usr/lib/.build-id/22 |
| /usr/lib/.build-id/22/35d8a1135630266f45bc233deb40f0682f586f |
| /usr/lib/.build-id/24 |
| /usr/lib/.build-id/24/d9bc7d8614fe2ace2734a04bb48873407ba19b |
| /usr/lib/.build-id/24/f10f7e49a76ef21e4d9183b9606b374314543f |
| /usr/lib/.build-id/28 |
| /usr/lib/.build-id/28/c6fd36b3d3efd4e9ddb5d06268d30fde8587a6 |
| /usr/lib/.build-id/2c |
| /usr/lib/.build-id/2c/f3bb8481416cf05a1e978a000e69b674bacaad |
| /usr/lib/.build-id/30 |
| /usr/lib/.build-id/30/cee7c05d4e9e255785811bc3bb58749ff76e6f |
| /usr/lib/.build-id/37 |
| ... and 2798 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-10-18 |
Version 8.17.1
|
| 2023-04-01 |
Version 8.17.0
|
| 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
|