معرفی شرکت ها
coq-core-8.16.1-3.fc38.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Core components of the coq proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything x86_64 |
| نام بسته | coq-core |
| نام فایل بسته | coq-core-8.16.1-3.fc38.x86_64.rpm |
| نسخه بسته | 8.16.1 |
| انتشار بسته | 3.fc38 |
| معماری بسته | x86_64 |
| نگهدارنده | - |
| تاریخ ساخت | Tue 24 Jan 2023 07 |
| هاست سازنده | buildhw-x86-09.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 151M |
| حجم نصب | 525.442M |
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.17.1-1.fc38.aarch64.rpm | 8.17.1 | aarch64 | Fedora Everything |
| coq-core-8.17.1-1.fc38.x86_64.rpm | 8.17.1 | x86_64 | Fedora Everything |
| coq-core-debuginfo-8.16.1-3.fc38.aarch64.rpm | 8.16.1 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.16.1-3.fc38.x86_64.rpm | 8.16.1 | x86_64 | Fedora Everything |
| coq-core-debuginfo-8.17.1-1.fc38.aarch64.rpm | 8.17.1 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.17.1-1.fc38.x86_64.rpm | 8.17.1 | x86_64 | Fedora Everything |
نیازمندی
| مقدار | نام |
|---|---|
| - | /usr/bin/ocamlrun |
| - | /usr/bin/python3 |
| = 8.16.1-3.fc38 | coq(x86-64) |
| - | libc.so.6()(64bit) |
| - | libc.so.6(GLIBC_2.10)(64bit) |
| - | libc.so.6(GLIBC_2.11)(64bit) |
| - | libc.so.6(GLIBC_2.14)(64bit) |
| - | libc.so.6(GLIBC_2.15)(64bit) |
| - | libc.so.6(GLIBC_2.16)(64bit) |
| - | libc.so.6(GLIBC_2.17)(64bit) |
| - | libc.so.6(GLIBC_2.2.5)(64bit) |
| - | libc.so.6(GLIBC_2.28)(64bit) |
| - | libc.so.6(GLIBC_2.3)(64bit) |
| - | libc.so.6(GLIBC_2.3.2)(64bit) |
| - | libc.so.6(GLIBC_2.3.4)(64bit) |
| - | libc.so.6(GLIBC_2.32)(64bit) |
| - | libc.so.6(GLIBC_2.33)(64bit) |
| - | libc.so.6(GLIBC_2.34)(64bit) |
| - | libc.so.6(GLIBC_2.4)(64bit) |
| - | libc.so.6(GLIBC_2.7)(64bit) |
| - | libc.so.6(GLIBC_2.9)(64bit) |
| - | libgmp.so.10()(64bit) |
| - | libm.so.6()(64bit) |
| - | libm.so.6(GLIBC_2.2.5)(64bit) |
| - | libm.so.6(GLIBC_2.29)(64bit) |
| - | libm.so.6(GLIBC_2.35)(64bit) |
| = 420597dafb0412b0906625f65b7b43f3 | ocaml(Abbreviation) |
| = 972a6adc1672c1380e598345e9bdd66a | ocaml(Abstract) |
| = 00edc3e526b6239e9ad4c9319eaaabd5 | ocaml(AcyclicGraph) |
| = 8d780748135c7ad38292a7b3ac0f53a4 | ocaml(Arguments_renaming) |
| = df89cf26bc6d8d05b99e08a9244c612a | ocaml(Assumptions) |
| = 8659dacb0d81bcd9fbe6e6ecd05f72c0 | ocaml(AsyncTaskQueue) |
| = 9c8311d65744ff7d706db174690b46c8 | ocaml(Attributes) |
| = 18ee6df02843f71d3f910a73cc86f876 | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = f8bc48db857f8ac735085dc8aa83010e | ocaml(Autorewrite) |
| = 4e5dbc641f72c02043546e93c1ea2f6f | ocaml(Aux_file) |
| = f98827dcd70d54140f3afa5af18218b1 | ocaml(Big_int_Z) |
| = f498938c3cd8c3c430d1ecb0bf0739f4 | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = fab86dce490de64d33c82242f0ebfc65 | ocaml(Boot__Util) |
| = 9009b76733276115709ad8eaf7608140 | ocaml(Btauto_plugin) |
| = 28e0bf9327ab99d94d58094c20908409 | ocaml(Btauto_plugin__Refl_btauto) |
| = d3ea095108ca95f312ef5da1c00ad3ba | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = b49a9e05558d074ce2420f1481d80d8a | ocaml(CAst) |
| = f4378b7e6756e2d51e034a1fb622833a | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = f3bfdbcb718358cbbdf7269ef0ccc70a | ocaml(CErrors) |
| = c60c1257bafd2caf16fc08cc8a89eba6 | ocaml(CLexer) |
| = a742212da585b925999bb1e9c57f8886 | ocaml(CList) |
| = cbcf10800400dde7f75cbc0cc6a0a739 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = 98ddda2b8661651d0ac1c4d2f3adc78a | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = f53fe8692b6d16ecf125c5433c67ee1d | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 5365fec4a58da3e2d8fa2186f77d9be4 | ocaml(CamlinternalLazy) |
| = 2004005091bc8a61fe26ab15e0fb28e4 | ocaml(CamlinternalMod) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = cf7a81ae736db3f2a37cc19662f4fef6 | ocaml(Cases) |
| = 84dad22fdc339ed0e7be089e4509b7c9 | ocaml(Cbn) |
| = 948ea102091b6a8e7c4b0e1b62a3976b | ocaml(Cbv) |
| = ceb46e8aedadbdd92158dcf60a3cd0fb | ocaml(Cc_plugin) |
| = b08a94e2e4c838268631e02b8f1131d2 | ocaml(Cc_plugin__Ccalgo) |
| = 47ef5c0a56fdbc0941ce73d0046719fb | ocaml(Cc_plugin__Ccproof) |
| = 3297962af6b7bee613be9662275b2efc | ocaml(Cc_plugin__Cctac) |
| = cbf7121ffe4a7d9642468cb05ab4fa7c | ocaml(Ccompile) |
| = 43714ab5d65b526f526983060b18773a | ocaml(Class_tactics) |
| = 0849bff350169976d6661ecf8c0a0d08 | ocaml(Classes) |
| = 7166460f08eb63080256e23e5fb5c167 | ocaml(Clenv) |
| = 56c8843825713a98c2731d70e4986d59 | ocaml(Coercion) |
| = 130ca2c374c3c95f2be07233a9fcfe6e | ocaml(Coercionops) |
| = d0f9844c2e2c3352cffae437250690f5 | ocaml(ComArguments) |
| = 20cdf574510ab9eb1308952312ff33eb | ocaml(ComAssumption) |
| = 6119173fad398a6e6a12b2b62329eae3 | ocaml(ComCoercion) |
| = 5fb0e71a6ec8f102fda4d4c6dbf643d7 | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 97358d4b231f95eb872fc52abc300d7f | ocaml(ComFixpoint) |
| = ad2c813f50a0b8eb05789c4dc928c592 | ocaml(ComHints) |
| = 39f85975b25aee1b8e535e0d1d2ce9b9 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = b4baeb08b384fb166b2e11345e1e6018 | ocaml(ComProgramFixpoint) |
| = be75ce7f6093f0fde2fe33724d2f8b0e | ocaml(ComSearch) |
| = a08901eb475fd5bd26c27679d799860c | ocaml(ComTactic) |
| = f0caf68e0fd94353b2fe68f24dc84c46 | ocaml(Condition) |
| = 9ca352bce78df900bce25f5e83b3e3ec | ocaml(Constr) |
| = bc3bc25e047804b0c2146f38c8baf57e | ocaml(Constr_matching) |
| = 0a1d3ceef956f29cc7dc137ca11d7f87 | ocaml(Constrexpr) |
| = 418e616a5df5c13bfb5ca9962193d077 | ocaml(Constrexpr_ops) |
| = 5af32acadc581f65a54da5afcd5b2c2f | ocaml(Constrextern) |
| = 97b95cdbaec7eb2886396200fc429e6d | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = 17710499fc288b647d485e984107779e | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = c511194cd3d1c75d0ec51fe57d5c4b93 | ocaml(Cooking) |
| = 1f9c810a032fb9a136e70b90280eb879 | ocaml(Coq_config) |
| = 831a6f58e41b064f9a4f9156af190952 | ocaml(Coqargs) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = 2c95a5e907cb1568e1a7c1a9d070b1aa | ocaml(Coqlib) |
| = b2d2792c476702243473dae407a9a210 | ocaml(Coqloadpath) |
| = 788867ecf0c71ce995da64a7ef7e22c4 | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = 7406aac3df43f6624ef3974b517db9e6 | ocaml(Coqtop) |
| = 3c5e42d0ebc9405514b419d4f2d94f54 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = dad4dc5e90d3a1f173b8fa9529571329 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = af077788df86ae3c100cb12d0e433100 | ocaml(Declarations) |
| = 50515d5655d9fdf56b819fa36790df68 | ocaml(Declare) |
| = 42984d348ae777b60959a2725b38e9e4 | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 2e832a7a087246de5bdee9de92899c73 | ocaml(DeclareUniv) |
| = feae46dd7f816faac5d3a1d9b6695f56 | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = 703781821a9f6fa92a858580f939bd9e | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 87ebc9f2679fc769364ed6fc35137bff | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = e1a2f4f4c8caaef8118ea6369f5fe10b | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 4ab1a6a815084682e460ae95ad5ab2b6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 082355c6056f963a71a1915a1ed0d49e | ocaml(Dnet) |
| = 20e9106c0a8efd454cf20e46cba32b6c | ocaml(Dumpglob) |
| = fa3daa324553247018623840358472b5 | ocaml(Dyn) |
| = b542e5672ad42f5b838f58913ba15456 | ocaml(Dynlink) |
| = aec1ab28ede64377d193d2fc15de5e09 | ocaml(EConstr) |
| = 6370d8a19b0c9a7718fba5842ec0fd65 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 5c1aff6aa29932ef61514e54a24530a1 | ocaml(Egramml) |
| = 151e3690a55c649c629325cc812d27ea | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 72a73ac1bcf2406fcb0568e0723e2452 | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 81958cbbb97b08eb74f21205ecbe734b | ocaml(Environ) |
| = d15dc70a0dfe3c76ab3cdd6012c93856 | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = 7a649f9b216dad739e837c87f77a3af8 | ocaml(Equality) |
| = 746f3c41caf469b8602bbc0673a9de61 | ocaml(Esubst) |
| = 156cdf64bb05c4ab0c4051f998dfab52 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = a2a426819a1c9723fdb2c2630901cd62 | ocaml(Evar_refiner) |
| = 9d0ed0c25581d922599355cb62e0515e | ocaml(Evarconv) |
| = fe8ca9cf716175388b4409c03e17658c | ocaml(Evardefine) |
| = 3428df78067bc43360db82565604d135 | ocaml(Evarsolve) |
| = e498f9d920d45be1f78891569f3d02e5 | ocaml(Evarutil) |
| = 7801c47db8f2d9004d9cee2602a72d51 | ocaml(Evd) |
| = 766d613c58c5e25783f49ff1e5b36922 | ocaml(Exninfo) |
| = 8f3d3aee03298d6f7ff2c8b208ad0498 | ocaml(Extend) |
| = fdd86db306fda87185be4fa90f2a0006 | ocaml(Extraction_plugin) |
| = 2677b4316cd66d0a80bf553e65ffbafb | ocaml(Extraction_plugin__Common) |
| = 557abedb34df632c626b3974b9d9a9ff | ocaml(Extraction_plugin__Extract_env) |
| = c81d28780c6e34232924dc640b522df0 | ocaml(Extraction_plugin__Extraction) |
| = b8ba73cb9d741ac5294ec364fc550a0d | ocaml(Extraction_plugin__Haskell) |
| = 730158f16e2ad36dee9a5e318946bd84 | ocaml(Extraction_plugin__Json) |
| = d2daf1f684cf83b41f09829d7f2b7552 | ocaml(Extraction_plugin__Miniml) |
| = 974499eaadc997249cfc96f0fbfdfabc | ocaml(Extraction_plugin__Mlutil) |
| = d3d8d69f12153e4555f4e315684e046f | ocaml(Extraction_plugin__Modutil) |
| = 6f522e0e8dfc7b74d2f1e7f7e8b615b7 | ocaml(Extraction_plugin__Ocaml) |
| = 87d11cbe8ff819f3e95934c271c893ff | ocaml(Extraction_plugin__Scheme) |
| = 8d6ab3ccf270a1b95c298e39cca5f08d | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = b8e1b1bcd1fe2af0f5efe4d42aae93db | ocaml(Find_subterm) |
| = d44b73d9d87aa8a2a740a3e7f738599b | ocaml(Findlib) |
| = 974870c1e0c3303435a343893f7444e8 | ocaml(Firstorder_plugin) |
| = 9f1ced998d2a291c9071511dcf3cf813 | ocaml(Firstorder_plugin__Formula) |
| = 6bc98d9a803eae552c0af502d9a77ff4 | ocaml(Firstorder_plugin__Ground) |
| = 31ff0deb1f4bca4450e5c7708e176ded | ocaml(Firstorder_plugin__Instances) |
| = 2622dc299784d74a128775b95ca6949f | ocaml(Firstorder_plugin__Rules) |
| = 33ecc3ab0d4d8cbb72e1caccadef5bd9 | ocaml(Firstorder_plugin__Sequent) |
| = 909821ef99c0034b33c6860accc7b6c6 | ocaml(Firstorder_plugin__Unify) |
| = 6fe04213bb7f649801e5f72ab6026eb0 | ocaml(Fl_dynload) |
| = e1b1d3fe0eca562f5e9dc0e0f04eee51 | ocaml(Fl_metascanner) |
| = 2ee80556b58c28796e5020152710a0dc | ocaml(Fl_metatoken) |
| = 04c54a48fe2e7875409d82f50323d9b9 | ocaml(Fl_package_base) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 712fa5d21be885f62f4afb0c1b2e620e | ocaml(Float64) |
| = c4fcfb496ea89ff8b1f8cf244b6d40f1 | ocaml(Float64_common) |
| = 235bc69fea943bef8593f9b00b9d5d50 | ocaml(Ftactic) |
| = ac7a138ea913bafeee82c6cde006e5c3 | ocaml(Funind_plugin) |
| = ee95702eb600cfc4bdfd2317a0ca6148 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 684a088e2420f57ea5e66b9e8671d8d6 | ocaml(Funind_plugin__Functional_principles_types) |
| = b8ea43ec8dc691348a547487ab1d5c4e | ocaml(Funind_plugin__Gen_principle) |
| = cff1256359ec492c5a18194d89770f02 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 49d76c46a1599bbef803337bcd20fb58 | ocaml(Funind_plugin__Glob_termops) |
| = 1e9ba2e96a1a96bdae8f432a67cec55e | ocaml(Funind_plugin__Indfun) |
| = 64ad5650d148ff12f77940f8887cb194 | ocaml(Funind_plugin__Indfun_common) |
| = 1efeb8db04eb63d1025e5bba98d4c414 | ocaml(Funind_plugin__Invfun) |
| = 8c390ac5f06d4db94222865a6ceb7c5c | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 92a3d7f9235e02802469398f948d5c3d | ocaml(G_proofs) |
| = e54acbe7e71d10bf02c8c46d44b80e28 | ocaml(G_toplevel) |
| = 9ea5b298211a2aa2e102c9660e5bbe90 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = f9c42c5b2c5681eaf7e0e49808e93ddd | ocaml(Genintern) |
| = 3425ad20575082d95c850c333be60921 | ocaml(Geninterp) |
| = 092559a8daae9547da5b338d63d62f84 | ocaml(Genprint) |
| = 626bb52775c1748e2c3bffbc6b812083 | ocaml(Genredexpr) |
| = d745ee6d77006ea2b750c1b41da66134 | ocaml(GlobEnv) |
| = 72974471aa15f3cca820654475d61f32 | ocaml(Glob_ops) |
| = 4533a1278fddf471cfcbda9e5b5232db | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 0cde525ff2938a030d830223839482ec | ocaml(Globnames) |
| = 6c36abc34e3c0219300bf334533445bf | ocaml(Goal) |
| = 5303e7040d3cbac08b6a3602be100ecd | ocaml(Goal_select) |
| = 532e5d7e6f0744645df21a2de260a413 | ocaml(Goptions) |
| = c4cb68462c40a1ed4d57b1221c3328b8 | ocaml(Gramlib) |
| = cceadee5ba8287671304df971ae88da1 | ocaml(Gramlib__Gramext) |
| = 5f1a768cb2e6988d339c385f733c0143 | ocaml(Gramlib__Grammar) |
| = b8133aac91b79d4ad41ed01ab52880da | ocaml(Gramlib__Plexing) |
| = 46d58cc9b563a841672729abe6d0cad1 | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = ae839d8ae1693169aceb1c2e64abd9c1 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 76a1b67e644044e04312020e7efed39d | ocaml(Himsg) |
| = 3a9a0ec6a732148db08f2b90c9dbe88e | ocaml(Hints) |
| = 7aa5f74eebdc7c41fdbb35877a0c8346 | ocaml(Hipattern) |
| = afc10af2a433f78a0df71272ef5bb0eb | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = df2b410f42f3aba42107bfd927a4c601 | ocaml(Impargs) |
| = 6e4f1428b681732de1c97c5a9b817d87 | ocaml(Implicit_quantifiers) |
| = 7fd0a95867733a6f1f332c3b6afe4c29 | ocaml(IndTyping) |
| = 4c7455db4b1d8ad88f5f4c8bf6402af2 | ocaml(Ind_tables) |
| = bee3595fe637a02a7d8e46aa6ba68294 | ocaml(Indrec) |
| = a3255fb7501d600a4ec4e32942189de5 | ocaml(Indschemes) |
| = dd582593e5a1ba206cddcf2923655798 | ocaml(Indtypes) |
| = b086ff05d829c607f8425835f6844df3 | ocaml(Inductive) |
| = 88feb584272b6994ff428b275bc6015c | ocaml(Inductiveops) |
| = b35aecd957a5d4de7423ee414afc357f | ocaml(InferCumulativity) |
| = c638a3a3a3350b9a3cd3aecfc1548b44 | ocaml(Int) |
| = 87df5e4766260236b23c453288e9777d | ocaml(Inv) |
| = 53b528fb167dd297bf9b2ad4fca98115 | ocaml(Keys) |
| = f9950e89686bd059defd6cda6a25c5d3 | ocaml(LStream) |
| = 64a196b7833437ec6921775c5de57961 | ocaml(Lib) |
| = 7e72e6b9f7e5a2d16c610b7149eb377c | ocaml(Libnames) |
| = 33613ae7ae8a9f294163246e5c7d4133 | ocaml(Libobject) |
| = 57e9260b34f664211989bcc3e99909b3 | ocaml(Library) |
| = 6605236b96c139e644909eb14686ccb8 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b91e1cdf8560a02599ec3b484a0faa53 | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = 13c4bebf9827283a2773b474406ee42b | ocaml(Logic) |
| = ad1c2d56a37c94474486c95b0b560584 | ocaml(Logic_monad) |
| = bb0c1877449e421d8427bb35611e5d33 | ocaml(Ltac2_plugin) |
| = ab0bb2879f762f640a390dfb5255d45e | ocaml(Ltac2_plugin__Tac2core) |
| = 32c9e1137345bb2448b1b4b2a83a6973 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 6cb71431b99a57fb690ec87a683ded3e | ocaml(Ltac2_plugin__Tac2entries) |
| = e15e0caddaaa677c501cc6483029efc7 | ocaml(Ltac2_plugin__Tac2env) |
| = b9f2befaaf66b5b7e605db0828027e76 | ocaml(Ltac2_plugin__Tac2expr) |
| = 07c71c50ed1cbf174f157a4da537d846 | ocaml(Ltac2_plugin__Tac2extffi) |
| = df35daa2225e1451b71cd0761e629d26 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 490bd474d7e72a9a8e1d9e13757c051d | ocaml(Ltac2_plugin__Tac2intern) |
| = cb36f759ba7bfa7e644f632a3fcb7fb9 | ocaml(Ltac2_plugin__Tac2interp) |
| = 54284665a2f5748fb8ac5964831cc333 | ocaml(Ltac2_plugin__Tac2match) |
| = ace63425ac98abb66d981e13a615a445 | ocaml(Ltac2_plugin__Tac2print) |
| = fd905b6c2d8af1f39001d10020d4c407 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 781aef67dfe9c5b964ef22cec74ff0a8 | ocaml(Ltac2_plugin__Tac2quote) |
| = 1c1f4a87d8754387d20e8e7c3a689127 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 3ee5b6d9a8221cdaa5271b349f0b9d65 | ocaml(Ltac2_plugin__Tac2types) |
| = bb15dbe4f28c600db9de476703ea1b94 | ocaml(Ltac_plugin) |
| = 7862b3c490d66084278f856a9a696610 | ocaml(Ltac_plugin__ComRewrite) |
| = ac7649bacfc54217b3726abd8ba2eefd | ocaml(Ltac_plugin__Evar_tactics) |
| = 32802bb44cebd4d7aa11496d2a7b89d9 | ocaml(Ltac_plugin__Extraargs) |
| = cb95f6bdce7de27f6c1dbab18b84d725 | ocaml(Ltac_plugin__G_ltac) |
| = 830affcc256498d0d01910df2b1e78d3 | ocaml(Ltac_plugin__Internals) |
| = 7d5c31c53498df384e9cf33699c13a97 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 107f9608b253eb0c2c03dd51a5c31ebd | ocaml(Ltac_plugin__Pptactic) |
| = 5f42700b3739e74db8f0006aeb46a0ec | ocaml(Ltac_plugin__Profile_ltac) |
| = 914c6f680894df96a08d1605def5b5a9 | ocaml(Ltac_plugin__Tacarg) |
| = 7843e413a27cc23687cf19b04f6d88bb | ocaml(Ltac_plugin__Taccoerce) |
| = d79565bb0bdf241fe57ffff29b9f05b5 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = db03a7b8c07c50868303ed8334ed82e0 | ocaml(Ltac_plugin__Tacexpr) |
| = 4b53cc9dcbcf64616b1cb9d81e04b5c2 | ocaml(Ltac_plugin__Tacintern) |
| = f057a4f45fb07340e0e8844b2c99392e | ocaml(Ltac_plugin__Tacinterp) |
| = f7b4e760d6387d3a44aa62f54dbb1013 | ocaml(Ltac_plugin__Tacsubst) |
| = f4e8deb826de3c96b31b19a548f1249e | ocaml(Ltac_plugin__Tactic_debug) |
| = 85267e743f7289c9af9f6e32135d91ab | ocaml(Ltac_plugin__Tactic_matching) |
| = c107412336e1c51d1f30c37e887d6b79 | ocaml(Ltac_plugin__Tactic_option) |
| = 1a5459876be0aa010ebe6bdd23c6fd37 | ocaml(Ltac_pretype) |
| = 47a92a3248e359a421627ee6c43007a1 | ocaml(Metasyntax) |
| = 477e4d683c0b40afe138ea0fb8efd814 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = 800ea6574a0deacabdc4a26c1b68d9c8 | ocaml(Micromega_plugin__Coq_micromega) |
| = f887ba302ad57cfd74ecceb54f93ca0c | ocaml(Micromega_plugin__Linsolve) |
| = f92b4cac9f443839b1fd033e90bd94b1 | ocaml(Micromega_plugin__Micromega) |
| = 124f7df6a43d90c1a1501bbf817733fa | ocaml(Micromega_plugin__Mutils) |
| = 129cfa827358628f55c4b6833ec95dba | ocaml(Micromega_plugin__NumCompat) |
| = b4ae1739c93ce13857ec58f928b2d932 | ocaml(Micromega_plugin__Persistent_cache) |
| = e8848d938f6e46de93d27011521c11d9 | ocaml(Micromega_plugin__Polynomial) |
| = 9b2002802ddabd5c4c388477615d1498 | ocaml(Micromega_plugin__Simplex) |
| = 2ec98bbf51e7cecd1ac269c30d783704 | ocaml(Micromega_plugin__Sos_lib) |
| = e78ffadbd99b0415f9ef68ce9bc030ae | ocaml(Micromega_plugin__Sos_types) |
| = 06b1789ffca7853552bd33a0e16f27d7 | ocaml(Micromega_plugin__Vect) |
| = dead541e824ffaa9f6b36a443ebdf101 | ocaml(Miscprint) |
| = 04b802c6f617661d63eb8adfe76b0100 | ocaml(Mltop) |
| = b56a185b9f7bb6f0f0f519c06bf981db | ocaml(Mod_subst) |
| = 326e1f8d63d788f9830f3d1770478bfa | ocaml(Mod_typing) |
| = 8c9ef6e6ad38e46d6187cebd47dab344 | ocaml(Modintern) |
| = 2f5106a546728c8a9dc308a95876078e | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = e7b4c98d68b9b84b256d9650ac063dab | ocaml(Mutex) |
| = 0a8addd4f715e43f63deeddff67666bc | ocaml(Namegen) |
| = 0370e4e902f299a0a716b28375cf67fb | ocaml(Nameops) |
| = 0b6c349e44c595f40356f60ca49fa766 | ocaml(Names) |
| = 939eb1b5d6f3dab8fc7aa53d76f8cd46 | ocaml(Nametab) |
| = 02dbeca2f7bfac8ee80f221d7d1bcb8a | ocaml(Nativecode) |
| = 60d8b9f9f4561c30226973b77f29c919 | ocaml(Nativeconv) |
| = 219578857e7b319faa4d145a4fa5ff68 | ocaml(Nativelambda) |
| = 7b23ee7251439aa612f59354c020ea67 | ocaml(Nativelib) |
| = 0f113430f9645d3876eba86e526ed5ea | ocaml(Nativelibrary) |
| = b6141c50b88274d770d746174ed6a19a | ocaml(Nativenorm) |
| = 151356e5f71c48ba131e257d7b5d6b0e | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = 6687290488ca913493273e35ec9140c4 | ocaml(Notation) |
| = 26cc7b8a624df72d8a961e49bbd4c685 | ocaml(Notation_gram) |
| = d0e23d53b27691b62480a8ce4af6f3da | ocaml(Notation_ops) |
| = ba7e10bd6c980ba842674b92c4fd32b8 | ocaml(Notation_term) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 1b6976b6917d803cbdf8de5f54fee594 | ocaml(Nsatz_plugin) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 1d1447b63f4059613156940faf20e246 | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 919d150c66ab68cf4c64598cc40be9c3 | ocaml(NumTok) |
| = 51ac4a03513f6ae660fff42d91271831 | ocaml(Number_string_notation_plugin) |
| = d560cc4cf07ff534da923f83caddc52d | ocaml(Number_string_notation_plugin__Number) |
| = 123d97c5745d0c1fef510f3fbdfdc3e7 | ocaml(Number_string_notation_plugin__String_notation) |
| = bf14320ff736e5a8a90a032f530c117b | ocaml(ObjFile) |
| = b1745fe14cd37c212d34eea094f1b8df | ocaml(Opaqueproof) |
| = 8abed5317fc879dbf8d6ab6b78ee9461 | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = bf0feb2b99812624585018290a94c3e7 | ocaml(Pattern) |
| = 8f99781c06995f38b81f348e933ef80a | ocaml(Patternops) |
| = 30a4ee789831680c39f99302f3402899 | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = ad5c40eeffb62d378e92846c773ae25e | ocaml(Ppconstr) |
| = c66b14a7d4dd58e29bf6b63c5c4a043a | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 701b29514a3f59ab6ac3da555ee1bbdd | ocaml(Pputils) |
| = 40d9095fab82ed95c204afc030f8ce39 | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = da011f47db15648d1921b7ee98e96149 | ocaml(Prettyp) |
| = 4f0e6bee2956221e0d19c7a4d6232f5b | ocaml(Pretype_errors) |
| = a6903cb3010cce9b1b538151878854dc | ocaml(Pretyping) |
| = 97ca1d481f50c1c9701babd2fd24fa01 | ocaml(Primred) |
| = 1508d255db0d0f15754cef32e692257a | ocaml(Printer) |
| = a149b8d341f58a9ed12d0b9640d7e7bc | ocaml(Printmod) |
| = 2624aeedf972f229030473e90e66f802 | ocaml(Program) |
| = e0acf16fbe54fc07c8509cc29dd691af | ocaml(Proof) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 5b4a14e9ee97f49f21641d79a760a9fe | ocaml(Proof_diffs) |
| = 0e6b867bb35f79d409de49d232158d61 | ocaml(Proof_using) |
| = 3d6152dfc2a51be0829e6bb46552105f | ocaml(Proofview) |
| = 7f12467494a6d7b1e7a1ad7c434aea2d | ocaml(Proofview_monad) |
| = 1851fe26b4a9ac0a8bc026b857dc4b3e | ocaml(Pvernac) |
| = 95ed12df5d619f4cf43c3f5256a0f97b | ocaml(Q) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 7c37241cff05db7ac0a1329193879e09 | ocaml(RecLemmas) |
| = 395d7268652e7b9d171d02c26be239ba | ocaml(Record) |
| = 358ce56fbaf02036c310a0dc80dceee1 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 3523f631320a31383fd961d753a8e437 | ocaml(Reduction) |
| = 589f659dcd35d95083d18864277f803b | ocaml(Reductionops) |
| = 38cbc3a1c87f430244465ba02a3f670e | ocaml(Refine) |
| = 0dc4460587e822b7317f3d06ba93ac1a | ocaml(Relevanceops) |
| = 5c7a8afa4a7a2efc34a56915ea56d9f8 | ocaml(Reserve) |
| = 25482df7bf0c95ee7a7420fdc7b077ff | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 903d124e51a22bd2a47af1c46401859f | ocaml(Retyping) |
| = 053c386ec826f0c3cc95bbc663b2e66a | ocaml(Rewrite) |
| = 59777bc023dc2f779226cc57a4f18948 | ocaml(Ring_plugin) |
| = 8dec7d911b8640ad844c40a9506a5a62 | ocaml(Ring_plugin__Ring) |
| = 8bf8f13d56dd035d227a563725c6b9ba | ocaml(Ring_plugin__Ring_ast) |
| = 1ccac922ee6c453c5b78275edf751850 | ocaml(Rtauto_plugin) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 592092c6dc6e41e93c33f1a93a254861 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 2cfd62ffab10a60ce3b0d9eae3e38881 | ocaml(Safe_typing) |
| = 663f18873ffa3dc0d069b7fe4d96b45b | ocaml(Search) |
| = 68f3c3d655a9890cf3b21f6b34e3160c | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = c896fb1b0fea255b7a392a0203129c74 | ocaml(Ssreflect_plugin) |
| = c59335353fd407813ec94554fd1fd19d | ocaml(Ssreflect_plugin__Ssrast) |
| = 5f05e161434831370e9fffc618b053aa | ocaml(Ssreflect_plugin__Ssrbwd) |
| = cf646a48644671d515aa1bbe3d475ba2 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 4338e5d8944055936152bb3409cb07ca | ocaml(Ssreflect_plugin__Ssrelim) |
| = d8020755c5f13cd69ada8eca975bd6db | ocaml(Ssreflect_plugin__Ssrequality) |
| = c6a7de212a82cc05b53088967e27e0f9 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 0b6c89ea25f6dd09c0ef8a7be169a231 | ocaml(Ssreflect_plugin__Ssripats) |
| = c0673d4b90ef445ee20b5ae714eb5517 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = a94e7c266a7691e87b41093cc36ac4ae | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = 77c8815cedf7167ec319e5ff21e1fa81 | ocaml(Ssreflect_plugin__Ssrview) |
| = c3e1af22ac2aa8657b01523f06b2d5e9 | ocaml(Ssrmatching_plugin) |
| = 0d321e02e50644ef5eb6303576045830 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 668a23919be6745b246370aecd65f2cc | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 9919abd709603092de7b5aa43fa0e8ff | ocaml(Stdarg) |
| = 79b0e9d3b6f7fed07eb3cc2abb961b91 | ocaml(Stdlib) |
| = 622d88fad859d0d0f019e691fc4fa865 | ocaml(Stdlib__Array) |
| = 994a14f10d5ae081663b52b790ee11d3 | ocaml(Stdlib__Bigarray) |
| = 4b09c9a6d0622bbf5a3829234b481822 | ocaml(Stdlib__Buffer) |
| = 3d02c33317c0108c61e7a5eefa37519a | ocaml(Stdlib__Bytes) |
| = 62afe57b49defcc078960a68b9efbbee | ocaml(Stdlib__Char) |
| = 4555217c759e89d65daa8f682eb09b35 | ocaml(Stdlib__Complex) |
| = 61f6495d3274a42a78a63425ef892290 | ocaml(Stdlib__Digest) |
| = 26845df28d19584687a38a1ab814c3f9 | ocaml(Stdlib__Either) |
| = 85bf10913cd5901968e9c2a8e59c2cd8 | ocaml(Stdlib__Ephemeron) |
| = 3bcff250dd30a0e620fa7546882aaadf | ocaml(Stdlib__Filename) |
| = b6edb97b685819e873481fe05723c8bc | ocaml(Stdlib__Format) |
| = 115c0563d80d54e1e845b108f10caa33 | ocaml(Stdlib__Fun) |
| = c3ec15218bd26e175e6d959e216eb39a | ocaml(Stdlib__Gc) |
| = 34c0fdd524bf2a75e4d5af64a6d34401 | ocaml(Stdlib__Hashtbl) |
| = a71ea5238030770647165f659f80b1ab | ocaml(Stdlib__Int32) |
| = 0fa5587c47baf16a06837c7dedfc2518 | ocaml(Stdlib__Int64) |
| = 01430d340c028322c7247031a874e355 | ocaml(Stdlib__Lazy) |
| = c9318c276ac7e383fd682c2dd06be434 | ocaml(Stdlib__Lexing) |
| = ee222542f6f8195441543b8b399b64b9 | ocaml(Stdlib__List) |
| = 978f82916b5a172c11d2b72719d85680 | ocaml(Stdlib__Map) |
| = 182731e5f563b7657acd24ad778f3615 | ocaml(Stdlib__Marshal) |
| = 989149bf8f2ce1a89fecbc3f5f40f52c | ocaml(Stdlib__Nativeint) |
| = 25794d29f7f4018768ea900e331a2bf3 | ocaml(Stdlib__Obj) |
| = ae914d0568e8b6e482a66bbd62a4432f | ocaml(Stdlib__Printexc) |
| = bc8af6214197dc8f40eaa738a4cd6a28 | ocaml(Stdlib__Printf) |
| = b066724fe533c7b8fc9b521e37aedad8 | ocaml(Stdlib__Queue) |
| = 81e43bab9bd47bab804eb6e582306de1 | ocaml(Stdlib__Random) |
| = 5bfc827c9980349e00f2aa1f5eade58f | ocaml(Stdlib__Scanf) |
| = b63511032211eae4b567ba313cd72962 | ocaml(Stdlib__Seq) |
| = 871d2ee2167ac9e7977fa13994cf4658 | ocaml(Stdlib__Set) |
| = 30ae8c258e7fc6fb7e6370a60256d724 | ocaml(Stdlib__Stack) |
| = 510a78f010f6c530a911189d7538d002 | ocaml(Stdlib__Stream) |
| = 097838f294457ecbb61ccbcf86cc6972 | ocaml(Stdlib__String) |
| = 7726a14ce36f5c6c3abb04975cec748b | ocaml(Stdlib__Sys) |
| = c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
| = 28f276c430fdc51a3a10691d3066b26a | ocaml(Stdlib__Weak) |
| = e9771057e3147fe83744d71535a360c6 | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 514c63e7d96516ff4c601fe47900a52d | ocaml(Str) |
| = 349c9a69e789e6bd020acecb69ee10be | ocaml(Structures) |
| = d6a8dcb20483df9e8e3c73cbdee5b45f | ocaml(Subtyping) |
| = c563d6bd180e6b78f0f0ca461607f4bd | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = f589b85b22b5f00627cf4d9f6681e407 | ocaml(Tacmach) |
| = 1bcf5d6b2d87bb2d7696492a83cd30ea | ocaml(Tacred) |
| = 87cde9a3ed05f21524a5e0190cfd0bb7 | ocaml(Tacticals) |
| = 34eb6eacaec827fb614cac476b2bafa9 | ocaml(Tactics) |
| = b9e19e5a5f9b5b90dd92fc062230a5cb | ocaml(Tactypes) |
| = aa8f4685317ce8dff797fb032be373f3 | ocaml(Tauto_plugin) |
| = c1500a859572f47c5adeb740fbcebf6b | ocaml(Term) |
| = d122216f951f7e463242ade7ce397ab5 | ocaml(Term_dnet) |
| = 99f9b52aa6e2484189d2e8df6b349e8e | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = ca7a782d91f103df7414424beacad2e6 | ocaml(Termops) |
| = cbab14f62eb893a73913c276298141c9 | ocaml(Thread) |
| = d7f575ffa78825bb266417e4b337bcdb | ocaml(Tok) |
| = 9bd1f1603123496f4fab7218e670d476 | ocaml(Topfmt) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = dbaec1601de88187931d58b1545e2bc7 | ocaml(Trie) |
| = 812cf3340836e621be63fa9aa920f56c | ocaml(Tuto0_plugin) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 9cb6b709539dbad0cbe61a556c4bbd59 | ocaml(Tuto1_plugin) |
| = 9f92f909f667ba2f13875ff30e150cf3 | ocaml(Tuto1_plugin__Inspector) |
| = 13267d5660158f59c566c74059f967fa | ocaml(Tuto1_plugin__Simple_check) |
| = a268bc8964d4db75e3cae5cc1981b7f0 | ocaml(Tuto1_plugin__Simple_declare) |
| = bef62b8d37aa21dd32ec1a82174483a6 | ocaml(Tuto1_plugin__Simple_print) |
| = 117dad8dfb3fbf1d4f7967854193338f | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 0c73a52fe51cfe8d55f24c9edcd2421d | ocaml(Tuto3_plugin) |
| = d7a881140435372c64e3efa917b9cf6b | ocaml(Tuto3_plugin__Construction_game) |
| = c067205f4e2a065d2434ef90fdd94a4e | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 0c0828c2a9ff92cc716465e0013a0769 | ocaml(Type_errors) |
| = c82cf14a959ab2a132030ef8b5b5bb4c | ocaml(Typeclasses) |
| = 91fcea315f9e707674cdae735a2c33cc | ocaml(Typeclasses_errors) |
| = 44ed108471c7a7400a5fcc850ba1e0be | ocaml(Typeops) |
| = 696857366a11b930eea9840e47c39d4e | ocaml(Typing) |
| = bd28bddd5c33ca5c1a5f9f43f907e5da | ocaml(UGraph) |
| = 3ec987d0c982616ff943f71f05e2c111 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 3e22c9e8fc6924cded99cdc50b4dde0b | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = bb08182b91ec85ec72551ce13bfed01f | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = 6feb5ec642e4daf30a0944e888214cea | ocaml(Univ) |
| = c08393c720001d4601ab69c764edae38 | ocaml(UnivGen) |
| = a14b8f2bfb556a067a30c7c3edf09375 | ocaml(UnivMinim) |
| = 9f0af4e2cd7c9a6a04f181684ebd75df | ocaml(UnivNames) |
| = 0bf19edcf4c9ada1dd5cdb51d579b1fc | ocaml(UnivProblem) |
| = 2c793a58009dea74a325c5082597d844 | ocaml(UnivSubst) |
| = 84bb8ec8ae50f70acba86f5b72088b1c | ocaml(Unix) |
| = 46a1f0249bfbf29202e10de25200d4ea | ocaml(Util) |
| = 73a674179608a349a8f3d001ee037f1d | ocaml(Vars) |
| = 7cee5a6c0faacb4e9ebf86fb667ad05e | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 43ddad20b726927bcb491b9dad99dfee | ocaml(Vernac) |
| = c52eee082c33aa6b03c24069065d6b43 | ocaml(Vernac_classifier) |
| = ddcaab825bd3b96146a0d4b0ad10fd37 | ocaml(Vernacentries) |
| = 31bf27dcb0e938a20d1797f40b7144ae | ocaml(Vernacexpr) |
| = b507ea2d1a0f49d7fb3939c2f335eebe | ocaml(Vernacextend) |
| = dae6e02ea3bae9b78083a74bd7388512 | ocaml(Vernacinterp) |
| = 9b0ca758b7fe1839325d927a5994eebb | ocaml(Vernacprop) |
| = 365874fe1588a2549b04049dea924707 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = f75880ed7df49928430f842fc3ba82ae | ocaml(Vm) |
| = 88733f1084158f9273bb318495213675 | ocaml(Vmbytecodes) |
| = 76fa264acca66b07c1485aeec8bd1117 | ocaml(Vmbytegen) |
| = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 | ocaml(Vmemitcodes) |
| = 9a79aee1037366c0f07196ba545e75f5 | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = bd114711d566fec5fadf3e8314768f6b | ocaml(Vmsymtable) |
| = 6cfd8f0d13168b127ebed3d4375b15c3 | ocaml(Vmvalues) |
| = bd874b0b0dce77d32e4d24ddb2379d1c | ocaml(Vnorm) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = a71ac4a535434978287848841376388e | ocaml(Z) |
| = 61512478af51fb18cb17e36ae0122e4b | ocaml(Zify_plugin) |
| = c0c1d4967746ed66dfb1a7d6dd2730c9 | ocaml(Zify_plugin__Zify) |
| = 1223feba5b976cf949200516258b0852 | ocamlx(Abbreviation) |
| = d94895fc6ba1c47966c3f28ec9790190 | ocamlx(Abstract) |
| = 1b145085ae1fd3f258493f2137a3e6c5 | ocamlx(AcyclicGraph) |
| = 7a06c329e67f19ebc109075a7eec1738 | ocamlx(Arguments_renaming) |
| = ae0e8446c9ed3cfa11b45e5d4b804d13 | ocamlx(Assumptions) |
| = 871fd95543665183fc91af3160782ec3 | ocamlx(AsyncTaskQueue) |
| = 452fba1383fbb4504a652bf8e1f5f2f9 | ocamlx(Attributes) |
| = 5cfc08ee47bb078dfb856d8acf0b4940 | ocamlx(Auto) |
| = 96a44544f1ee571bcdf04056f479fbef | ocamlx(Auto_ind_decl) |
| = ee1bb42f5dae813fcff67337ba0a4c50 | ocamlx(Autorewrite) |
| = f834fd3a997336b4bfb0a4f2e18dd824 | ocamlx(Aux_file) |
| = bb73056068d7ab79dba6b47fc43812c2 | ocamlx(Big_int_Z) |
| = 7c9c856bbcd7295ead7b9b652f0a69f0 | ocamlx(Boot__Env) |
| = 832576dfe2653aeced0df3ccf916b552 | ocamlx(Boot__Path) |
| = 07ce9c1cd0e9bf51a6f48abd44374904 | ocamlx(Boot__Usage) |
| = 5b1794f3ef993860ef8127683edb9e63 | ocamlx(Boot__Util) |
| = 21a7e1178d9768628d6dfa07714f5e4f | ocamlx(Btauto_plugin__Refl_btauto) |
| = e6005db177a7723362ca73c890524346 | ocamlx(Btermdn) |
| = 6bdacb19708dd8151c28e7c5ed7dcf63 | ocamlx(CArray) |
| = 0af0809605ac2603838a903572ae6506 | ocamlx(CAst) |
| = fefbab178eb6907301d77159ad8b053d | ocamlx(CClosure) |
| = eca8cf4a11adccbd1bb0c24bbad60228 | ocamlx(CDebug) |
| = 1937a568693350c13ffb13c56320461d | ocamlx(CEphemeron) |
| = 4341153e218f709bffcc77aed577f4d0 | ocamlx(CErrors) |
| = e39df2a3e156ab6b4ab823288efc4b85 | ocamlx(CLexer) |
| = 60f71f67a51e93007083f2dec76aef17 | ocamlx(CList) |
| = 0426e328047a42191d2412ab7f77ed15 | ocamlx(CMap) |
| = 6e6ac1878d614429ff8a0738fd6ce516 | ocamlx(CObj) |
| = 8ede82ac5f8aa6e21be1bb80e177090d | ocamlx(CPrimitives) |
| = 5c3516ef610cf9875a5d68cfd26a8421 | ocamlx(CProfile) |
| = 79babf07129194b39ae7c90cef75a6fc | ocamlx(CSet) |
| = 8ec3d7e1080b998558714b40453f4be7 | ocamlx(CString) |
| = ed505774fd414da049b9d510c56bc5cb | ocamlx(CThread) |
| = 741acea2ee4b959013ea654e0871dba6 | ocamlx(CUnix) |
| = 738a94694d455d1c3b19693175673325 | ocamlx(CWarnings) |
| = 0573444d7d158417dbd5f4f46081e73b | ocamlx(CamlinternalLazy) |
| = 6655be7904f5f055c5ec94e3fc3775ba | ocamlx(CamlinternalMod) |
| = 16e4512b33345b4d705461eddc9c765a | ocamlx(Canonical) |
| = 28c638aa9584597643ac47b6650c174d | ocamlx(Cases) |
| = edd6dbf7b180721fc2b0396c621ab49a | ocamlx(Cbn) |
| = ddb8bfa8dd3e385e7b1a00a3a62a6eff | ocamlx(Cbv) |
| = 3a95cb00ea5471d129206d1c44a3f24b | ocamlx(Cc_plugin__Ccalgo) |
| = 04d8d57ac70e4e69669e6fbba638428c | ocamlx(Cc_plugin__Ccproof) |
| = 9651835d3c95acc65316e0ae11242e68 | ocamlx(Cc_plugin__Cctac) |
| = 3be9f91d740d134274c940d6f6ae082d | ocamlx(Ccompile) |
| = cc9832048515d070b91b37be87f42292 | ocamlx(Class_tactics) |
| = 89bf6b8759033297f779629858658b8c | ocamlx(Classes) |
| = 5e4c1b281ac02451048b2f20dc71bd8c | ocamlx(Clenv) |
| = c8f6cebd0472f9ecd45a026efc41b12e | ocamlx(Coercion) |
| = 8906c47f050c52fc7f2f49b672333f82 | ocamlx(Coercionops) |
| = c086f34f7b92975254e371dc4fdb0622 | ocamlx(ComArguments) |
| = 3e4b77937bba20d1c8fedda87800ddc8 | ocamlx(ComAssumption) |
| = 2543f5743552b003384f7113e216c7c3 | ocamlx(ComCoercion) |
| = 373161ca4272739f001d9be0ee01d0c7 | ocamlx(ComDefinition) |
| = d89fed1e8170f5b0dcaaad2bada76fb0 | ocamlx(ComExtraDeps) |
| = 6aa5366423dd6a6fb989b6650e42cfb6 | ocamlx(ComFixpoint) |
| = 9d286d437e8633137dea5e4736df57a2 | ocamlx(ComHints) |
| = 2cf2351ca676e0433d8e02d073a281d7 | ocamlx(ComInductive) |
| = be8a8eba10ce7a365a133f6048f44be9 | ocamlx(ComPrimitive) |
| = 4256741a49450e6e18db909807cfa09e | ocamlx(ComProgramFixpoint) |
| = 3bdc610d5018b961670f067f2abe350f | ocamlx(ComSearch) |
| = 562d6fe6bd32ee3d3d4ecd403857f9a2 | ocamlx(ComTactic) |
| = a63efe87f1c64636f7dd0ca176135334 | ocamlx(Condition) |
| = b119ab65c6d6ac282c68078d00450953 | ocamlx(Constr) |
| = 3a9db0d7c5f7f19e12ae08d8dfae24c5 | ocamlx(Constr_matching) |
| = ca0d1e97456160399c718361c3d0a6ff | ocamlx(Constrexpr_ops) |
| = be4ccb9e5b79c7846ff994711e60836f | ocamlx(Constrextern) |
| = 91b2af5cbb90c5f80488e17eb4867d35 | ocamlx(Constrintern) |
| = 1cd375b28580e61bfae80d0806f34f54 | ocamlx(Context) |
| = a66a53e1f2b506c4eda220b3e8904f5f | ocamlx(Contradiction) |
| = e876c640b35410d1e0fd4a3cdda75c99 | ocamlx(Control) |
| = 4932872ce37f33efc17383f9a7b325f5 | ocamlx(Conv_oracle) |
| = 12f7e7e96907c7024d8742089ad3f067 | ocamlx(Cooking) |
| = ac59cff8636ca6c0f7dd589547508ced | ocamlx(Coq_config) |
| = 0d6363b9a3227e972793dacfc63d0833 | ocamlx(Coqargs) |
| = 2dbac5bd789a6c7338a46e0934112682 | ocamlx(Coqcargs) |
| = 205b9ca12d3a3da9dc4ee3e464ed8c88 | ocamlx(Coqinit) |
| = 71b9696ade100c638a8b80f79d609da1 | ocamlx(Coqlib) |
| = 92d5a40a1e0bb43b1adb25eb0da070ec | ocamlx(Coqloadpath) |
| = 5de7cee168b8e28a8e9e133496e16aca | ocamlx(Coqloop) |
| = 8ef33c4ea20ad2cbe2e2004740308d68 | ocamlx(Coqrc) |
| = f13e79ef238a51ffaab636682c93d02b | ocamlx(Coqtop) |
| = 287e2b7f7497ac0bcffdd9d34ff6d783 | ocamlx(CoqworkmgrApi) |
| = d00b8e4cc73d9a30dafcd47f7dff0b88 | ocamlx(Core_plugins_findlib_compat) |
| = ba88c3803ac5bdb94ad0f583184a29ac | ocamlx(DAst) |
| = b5a1074f90c7f945b87b0ec72068b1b5 | ocamlx(Dag) |
| = 785da4532ffe3524ce71a17022a63610 | ocamlx(DebugHook) |
| = 061bf4a2b903b44c8bd6d73da81c983d | ocamlx(Declare) |
| = 02f4d266c4d3dfd8da98ff7468c9bd96 | ocamlx(DeclareInd) |
| = 16d3f95a656e4bcf0d3434a7c3518670 | ocamlx(DeclareScheme) |
| = ce4b0cdf637881091a197bf10337cdd5 | ocamlx(DeclareUctx) |
| = 4d2580ccdc1731c72307d0ceb24aee6d | ocamlx(DeclareUniv) |
| = 571c4a2173a567f0777d02107351c8a2 | ocamlx(Declaremods) |
| = 9848102cf53c60bd96c21a393a40c08d | ocamlx(Declareops) |
| = aaa55c50f0d28c4ef3a7c4d1e77fc59c | ocamlx(Decls) |
| = 1bda1746533bdd72657c24029481a244 | ocamlx(Deprecation) |
| = ffb444975f997fe85335b396239307e9 | ocamlx(Derive_plugin__Derive) |
| = 2ff9de114aecaeaee7655fd4b3a2e2e7 | ocamlx(Detyping) |
| = 9e863c7141ed3283a737857120311b7f | ocamlx(Diff2) |
| = 788115664e2352641f81514c140087f8 | ocamlx(Discharge) |
| = 8519c4c234269790502654ae85517c56 | ocamlx(Dn) |
| = 8b79514f8dcfcf2550a7d3fd9cd17d57 | ocamlx(Dnet) |
| = 4ee7bb1c80be80a9dc3caea6eb5471cf | ocamlx(Dumpglob) |
| = c6577d2f700efa858e4723700885fd6c | ocamlx(Dyn) |
| = d08637f19b43f8abf794c7007961024e | ocamlx(Dynlink) |
| = 9bc524ebed89813ce40256189ab8176c | ocamlx(EConstr) |
| = 5b339b0f83a801a9d0b56cc6da79c79c | ocamlx(Eauto) |
| = feb1be3073e8854bcfcd13411f10be7d | ocamlx(Egramcoq) |
| = 9823f51b2fa3f61a2245ab0d082b9942 | ocamlx(Egramml) |
| = f26039d5022761546765ca86dd1c1dec | ocamlx(Elim) |
| = a83a7b0c0d095046222a00ec2b7b6f20 | ocamlx(Elimschemes) |
| = 9490ccdd2bdc086fcf4ce5752838cd74 | ocamlx(Envars) |
| = 46231b11b042bc51c2ba556bb8a2ede8 | ocamlx(Environ) |
| = 2ace75c7fab93ad3f5c2e0158f581fe5 | ocamlx(Eqdecide) |
| = 8841a66c9b7c71b5625a2268de1d1f64 | ocamlx(Eqschemes) |
| = 842b40a08da7aa915036f19b691373a7 | ocamlx(Equality) |
| = cb6d1020132cc85838e2889bdae99670 | ocamlx(Esubst) |
| = 1227c60ca522a44fa1ab1d554f0e9ed9 | ocamlx(Evar) |
| = 81a0912d8d0276183ea532585281d24a | ocamlx(Evar_kinds) |
| = 4d9b443147db34b53326930ad3f1ad94 | ocamlx(Evar_refiner) |
| = 6f52eac810cf8f7988829a88c0a60b13 | ocamlx(Evarconv) |
| = 909c0177b620c9b56c913629eb79c7cc | ocamlx(Evardefine) |
| = 271485f6b6b801f451f5ebd369d06932 | ocamlx(Evarsolve) |
| = 91e10a499179511f84f3d01a9b3a4766 | ocamlx(Evarutil) |
| = f668bdb90c401f131defc978b1803096 | ocamlx(Evd) |
| = a3073e2f4c98838abc11a00c37e29271 | ocamlx(Exninfo) |
| = 9438601f85cb4195721008d16fefb8d7 | ocamlx(Extend) |
| = f3693f07546e1aae3d4d5e54bb29d5ca | ocamlx(Extraction_plugin__Common) |
| = ab2369de5c52afde9b6e6b456be17a03 | ocamlx(Extraction_plugin__Extract_env) |
| = 9621853f90364482125dbb98c431d45f | ocamlx(Extraction_plugin__Extraction) |
| = 0884348ae3ff4c8a6b996ad3190d86ef | ocamlx(Extraction_plugin__Haskell) |
| = 85a0a6abbecac19d457ea46306b1085e | ocamlx(Extraction_plugin__Json) |
| = 9170f0892cfa4ed5aa7b848b7ea56d7e | ocamlx(Extraction_plugin__Mlutil) |
| = e30a53141503ddaba4968b2ff5e6692b | ocamlx(Extraction_plugin__Modutil) |
| = 3a38141f38580c83544240f18377d3de | ocamlx(Extraction_plugin__Ocaml) |
| = 62726b36f35849438c30dd43266979f2 | ocamlx(Extraction_plugin__Scheme) |
| = ae18adcc0385ffdfdf9128af327280e4 | ocamlx(Extraction_plugin__Table) |
| = 2d99d2b73a186e4b47e7ca1f397918d9 | ocamlx(Feedback) |
| = 241cdc2677d55e2da71ecaf01eeae947 | ocamlx(Find_subterm) |
| = b0684cffd109c0562057bd50f1a453c3 | ocamlx(Firstorder_plugin__Formula) |
| = 0a9e4e8e2175206f46b179b6e8967cc3 | ocamlx(Firstorder_plugin__Ground) |
| = ced4823a1963b763600213275c308af2 | ocamlx(Firstorder_plugin__Instances) |
| = 382f0d79f369e87e886123379ef3087a | ocamlx(Firstorder_plugin__Rules) |
| = ca455db194e2361e06642d71065ce699 | ocamlx(Firstorder_plugin__Sequent) |
| = 6675fa840662fa1e42d89b8859325441 | ocamlx(Firstorder_plugin__Unify) |
| = ca658325926313e0d426fff2b2033664 | ocamlx(Flags) |
| = b8fb97b58846eb9e7f689bc3498ff5dd | ocamlx(Float64) |
| = b5d2d56d91068a27beb0fedd1ea5d81d | ocamlx(Float64_common) |
| = bddcae797b75a5096b3240b3ca86b587 | ocamlx(Ftactic) |
| = 927baed39308b16bfa7e8faed5a14a54 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 6843bb92fc89d7e0f65e44469e4192c4 | ocamlx(Funind_plugin__Functional_principles_types) |
| = 350aa95085d9657b3aeafc02ebdb838f | ocamlx(Funind_plugin__Gen_principle) |
| = 1772ccaa3e20035039b004dc76499d44 | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = 9818b6f15a0f54901715a32c0aa9654a | ocamlx(Funind_plugin__Glob_termops) |
| = 8cb2d2546d4cb96a954ca6eb95cc3dcb | ocamlx(Funind_plugin__Indfun) |
| = c7471f03258a5c9659f4f2280fca24a3 | ocamlx(Funind_plugin__Indfun_common) |
| = b68eefc5b6af9c9981b22e911bc3b16f | ocamlx(Funind_plugin__Invfun) |
| = dc8c9c5b42b783da98da42209d223d56 | ocamlx(Funind_plugin__Recdef) |
| = c22e5da42e10e34daadd1e90039e114d | ocamlx(Future) |
| = 831c21562fc4683b33b4183f4bad20da | ocamlx(G_proofs) |
| = 8ad7c2d9083a06b36d190828213bc0cb | ocamlx(G_toplevel) |
| = 00913348cfe81678d292c485fa2f391a | ocamlx(G_vernac) |
| = 5c51cbeb295b1eade09ff8292cd191aa | ocamlx(Genarg) |
| = b81577b16c46259d6a45e4f562f8fc2b | ocamlx(Genintern) |
| = 8d02dd06bd079e971460e62420053d06 | ocamlx(Geninterp) |
| = 826f6af0443fc3502b4c81abddd54bd3 | ocamlx(Genprint) |
| = eb53cf73eb501a2450759db4386ed970 | ocamlx(Genredexpr) |
| = 74b24605b348d7f32ed21af6af9d279d | ocamlx(GlobEnv) |
| = 7fd815600078b6447d2fa9b8e4ccafc3 | ocamlx(Glob_ops) |
| = e9ba3e48a5dd0d73af77e34492334edd | ocamlx(Global) |
| = 105a8bec89ded5d2c3ce72bfdcddfbb4 | ocamlx(Globnames) |
| = d617069b032fa136b718a334da1026b3 | ocamlx(Goal_select) |
| = 79c5d4529bbdd2fee52697b31d650278 | ocamlx(Goptions) |
| = 55067521d0e2673f0d7697c559f2d2ff | ocamlx(Gramlib__Gramext) |
| = a64d92f94b0644e3b31a457d0bb233c5 | ocamlx(Gramlib__Grammar) |
| = 7e56918c7e239b980efcc2026a1fc70d | ocamlx(HMap) |
| = 5670e182b8a5780aebadb15d1bfe74db | ocamlx(Hashcons) |
| = f142780e50e95c73e9f8c5abe88a9b3c | ocamlx(Hashset) |
| = 9c31ed55f8923fc7b7690083ac8fa87a | ocamlx(Heads) |
| = 5a6a359577c07c6606ca9d5394f6f5f3 | ocamlx(Heap) |
| = 97ff88b7b1908bc5787508000294d74f | ocamlx(Himsg) |
| = 1dc5a9082e51fb8caf674f8b3c082635 | ocamlx(Hints) |
| = 2b6a2a1f82d3611afd7cb26bf8245605 | ocamlx(Hipattern) |
| = d4e25697a8559b3b429ed9144790abc9 | ocamlx(Hook) |
| = 6f509739c7a71eeb374f65b9d4fc92d9 | ocamlx(IStream) |
| = 75b1ac36e35d8cd191707deaaef73299 | ocamlx(Impargs) |
| = f767ecc7829a684ba1f99f3774732d48 | ocamlx(Implicit_quantifiers) |
| = b321253a2d2d2b2b425d6c71ad23835c | ocamlx(IndTyping) |
| = 2262f41042700459ebb25eb3acda53c0 | ocamlx(Ind_tables) |
| = 0576f0e3473412235410cb246ee935de | ocamlx(Indrec) |
| = eee623afdad3e2748be0fa429b1bd6f4 | ocamlx(Indschemes) |
| = a75e95d554332d25769db01dc940cf96 | ocamlx(Indtypes) |
| = c9c453349d065117a48156f84ac4b851 | ocamlx(Inductive) |
| = e46e6d8bcab7c4ff5e61607067ffe39e | ocamlx(Inductiveops) |
| = ec38441e2fbc1541226de7f8dd9c09a9 | ocamlx(InferCumulativity) |
| = de40f21491f0756de1969c02c6ac509c | ocamlx(Int) |
| = 081ba5fd36274e72c867476d5d6aa9c3 | ocamlx(Inv) |
| = ca99255b37009f9413046c551e662560 | ocamlx(Keys) |
| = 51b0d992887042ce590047105322bbbd | ocamlx(LStream) |
| = 7eb80d812fadee19cc4e6c2a13254fc2 | ocamlx(Lib) |
| = 8eb47c65e7f6d2a61f366442ad262f0f | ocamlx(Libnames) |
| = 42de951db4f5999552a12af15647905a | ocamlx(Libobject) |
| = a3dccb9097f7fd6fc9648f144e476f4e | ocamlx(Library) |
| = 47ef6e24a3ee8c7ef7cf5c8b345a7d5b | ocamlx(Loadpath) |
| = 632b023d30c7af7d96fbc4c82226adce | ocamlx(Loc) |
| = 5688145bce4f7aee0b30b92a7e991dbd | ocamlx(Locality) |
| = 3472ad778d272a66b6a0f79da86fbe43 | ocamlx(Locusops) |
| = a3a14da5b3e856da735ebdf01db9a510 | ocamlx(Logic) |
| = e1cd48a66253f1aa5b17285ced1416ce | ocamlx(Logic_monad) |
| = 2dfa0aa317b1cead8c196fdd9510ec49 | ocamlx(Ltac2_plugin__Tac2core) |
| = 1ac32ddedcdf5edbecee2ed0f35d7000 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = b59ef03939c49e03e31575c35a6787a9 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 4c5fc5e417f45306a3b3097f75030989 | ocamlx(Ltac2_plugin__Tac2env) |
| = 7d1143269d54d5b866828bf3b6ada67f | ocamlx(Ltac2_plugin__Tac2extffi) |
| = f42f29dccf1292bcf018118d52f8ccf5 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = fa07860c9dcdb5b6cfe0f5f45630b109 | ocamlx(Ltac2_plugin__Tac2intern) |
| = 493d59e7319cb4ce40d5e6d9ea0a270a | ocamlx(Ltac2_plugin__Tac2interp) |
| = f3e3f4d5c16c91f70d79b9cb2e75109f | ocamlx(Ltac2_plugin__Tac2match) |
| = 3c39d98c8d2b7cb391bd4a484dda79d7 | ocamlx(Ltac2_plugin__Tac2print) |
| = 683a10996fe022298dc0cf5ecb54fd61 | ocamlx(Ltac2_plugin__Tac2quote) |
| = 8e6453d0da875a5512884de01d4d1f53 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 72f472896cbe3c54549af0f7555b2db3 | ocamlx(Ltac_plugin__ComRewrite) |
| = 48bc18dc537b64189ceca9fe4757bcec | ocamlx(Ltac_plugin__Evar_tactics) |
| = 918bd965ff1cae728f5dcc9350d2ed0e | ocamlx(Ltac_plugin__Extraargs) |
| = 52415133d2c4f0bc303b6a57c7c4756d | ocamlx(Ltac_plugin__G_ltac) |
| = 971f3a539c5b86b4ae8699aef39a359a | ocamlx(Ltac_plugin__Internals) |
| = b8b779df61bd6b8d12cf9ab8729a492e | ocamlx(Ltac_plugin__Leminv) |
| = 82d5e26dac05a8228d486e10ef5e1c4d | ocamlx(Ltac_plugin__Pltac) |
| = be9caef9d6467a8eb7ce41bc2e63670f | ocamlx(Ltac_plugin__Pptactic) |
| = bca3eb26261cea981470cb13d2b78c4f | ocamlx(Ltac_plugin__Profile_ltac) |
| = 52fc1a50048c453886a4e84591ad5f6a | ocamlx(Ltac_plugin__Tacarg) |
| = dfbea9d264034c1d021a719ea6e6237d | ocamlx(Ltac_plugin__Taccoerce) |
| = b4e9122cfdd491f555aa9ca5e04c8f48 | ocamlx(Ltac_plugin__Tacentries) |
| = 4270c11d35b7da6097c0a2223ef776e5 | ocamlx(Ltac_plugin__Tacenv) |
| = c2206cf2e99a23275d4b684988d7352d | ocamlx(Ltac_plugin__Tacintern) |
| = 606e883cd9eeaace4c331ce24b85e8d9 | ocamlx(Ltac_plugin__Tacinterp) |
| = 13a50a7b8e59f4f27deeef6e0cfb108f | ocamlx(Ltac_plugin__Tacsubst) |
| = 2419972711e52d7b3e2288c3a575fb36 | ocamlx(Ltac_plugin__Tactic_debug) |
| = 96fa47e70dd187ecc4d3400a4c1de9c9 | ocamlx(Ltac_plugin__Tactic_matching) |
| = 3ec797c76c4d713543a1c8cd26634318 | ocamlx(Ltac_plugin__Tactic_option) |
| = 61f1f7907c3717c4798b1b614a3d6342 | ocamlx(Metasyntax) |
| = 8f5a7e853b49cfd9418f07723f894c35 | ocamlx(Micromega_plugin__Certificate) |
| = a7b2fe98d245b4720d5e1fee9baada3e | ocamlx(Micromega_plugin__Coq_micromega) |
| = ab698873c12f201bc7d933f4338b283d | ocamlx(Micromega_plugin__Linsolve) |
| = ee28a45da5c6554d460ac0b057f82116 | ocamlx(Micromega_plugin__Micromega) |
| = 36158df78e60da5c9e31c73a197bf875 | ocamlx(Micromega_plugin__Mutils) |
| = 50707e7df9ca9e701da40e02836520ed | ocamlx(Micromega_plugin__NumCompat) |
| = c6c3707325cbc50e0908cabb40cc1e13 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 0f8923be2f33dc1c05ba954863c1eb81 | ocamlx(Micromega_plugin__Polynomial) |
| = f3ecf64b32411ad121d4cd3caa1d5298 | ocamlx(Micromega_plugin__Simplex) |
| = bf5f2dd3776c85ef279d18b665c5bc76 | ocamlx(Micromega_plugin__Sos_lib) |
| = cf3cf0c5a4a62aa5898c186a422d13d3 | ocamlx(Micromega_plugin__Vect) |
| = 0f3e37db71ec45f83baa8f2ae0626233 | ocamlx(Miscprint) |
| = 5041a676c41c64cdbb83be68c4fb426b | ocamlx(Mltop) |
| = dc4321b11ba90b0230ab4ba3f78d6eea | ocamlx(Mod_subst) |
| = a63aacb27b3e96739873dcf4f2a39bd5 | ocamlx(Mod_typing) |
| = 600989e8383a9754b698623ca6f4bc8e | ocamlx(Modintern) |
| = 930835b677a1e9510f91a6006d378139 | ocamlx(Modops) |
| = 13e661dfe6ca8935bb5cdab606051c50 | ocamlx(Monad) |
| = 070d55bb683901b185545f26b3d87913 | ocamlx(Mutex) |
| = 169443733554ad196d55caf179cbd0fe | ocamlx(Namegen) |
| = e4f5a51fef20c15be1fb97cc77e20e72 | ocamlx(Nameops) |
| = 6d65f832fef4e6fe7365502efae0e52e | ocamlx(Names) |
| = b262efb327e3ddd5d7497fd4865ce496 | ocamlx(Nametab) |
| = 378132e12cd0ddc62cbb443b2537e37f | ocamlx(Nativecode) |
| = 70a44a2f21912a4355bc5c2bc09a61b5 | ocamlx(Nativeconv) |
| = aec9acae8efa79ac2ec9497336bbc3cb | ocamlx(Nativelambda) |
| = 80bebe15890a3af5bae1094846eaf9cd | ocamlx(Nativelib) |
| = 9a3da422141b233a5ec4bf59f97b4671 | ocamlx(Nativelibrary) |
| = 7894bd0d92edbe1f04cf797168c01e73 | ocamlx(Nativenorm) |
| = b733ab24883fab6226ad7bb0280e587b | ocamlx(Nativevalues) |
| = 393118bbf0a3c91eba0a638198347673 | ocamlx(NeList) |
| = d2d0359d6585bcc7e2fb35414557cd5c | ocamlx(Notation) |
| = 9fa53e32f0ac3d190e7d87831272e261 | ocamlx(Notation_ops) |
| = 2b299329672435423f7d4817930c840d | ocamlx(Notgram_ops) |
| = 5af46152a2e72bcd5d5b9babc53929cf | ocamlx(Nsatz_plugin__Ideal) |
| = e54b7f8ff9801d9699d0b16423c6118d | ocamlx(Nsatz_plugin__Nsatz) |
| = 49bafebaaa762c39537469b6dc2c921c | ocamlx(Nsatz_plugin__Polynom) |
| = d1b1e9628b62893dcec1e5c89091a2ea | ocamlx(Nsatz_plugin__Utile) |
| = 6a95d1e2d43ef818cdc8eb2f6505ac1e | ocamlx(NumTok) |
| = 3de08bcb065310ff71db7b4727548580 | ocamlx(Number_string_notation_plugin__Number) |
| = ae7fa796b8f5ba876ad9f054a3dfe64a | ocamlx(Number_string_notation_plugin__String_notation) |
| = ff2cc4137609fb5e1f4aaff8ac4dd0c1 | ocamlx(ObjFile) |
| = 07c8c167430dbe924f5d0b4d0f9efd5b | ocamlx(Opaqueproof) |
| = 1c299c59ffe76871cf734d4e3f2deffb | ocamlx(Opaques) |
| = 027e5e1bfabd879c0bafd13804c95ae3 | ocamlx(Option) |
| = 88408e848cde073b0dc2cd0c72efaea6 | ocamlx(OrderedType) |
| = 4f1caa0c66b066e538352ef1b0593165 | ocamlx(Parray) |
| = 4b3ef5c1015f7e1c66b178953d28cda1 | ocamlx(Partac) |
| = 2eb693f2018e2c8c2b875afafbeecb23 | ocamlx(Patternops) |
| = e86cbc9c15c9ef9e228c50e516989d64 | ocamlx(Pcoq) |
| = 212c7ff65a2927459e46698b0cf42a81 | ocamlx(Pp) |
| = 6c70fa789305214da7c34c91fadaa4e0 | ocamlx(Pp_diff) |
| = 3431d649581c47c25636932fb723f4aa | ocamlx(Ppconstr) |
| = 086c201d3085f8e655aae9d48eb3f1b1 | ocamlx(Ppextend) |
| = d595654bdf12ceb3f02080bf2bb02ab9 | ocamlx(Ppred) |
| = b25cd1415fc54bdd5c0e3cb29cfba965 | ocamlx(Pputils) |
| = e98a98b64136229d45cedddc28ffa764 | ocamlx(Ppvernac) |
| = 8d89cd4730fafcc3023c0d6ea129afa0 | ocamlx(Predicate) |
| = 2a88dcabbe9f4e873063f806891a86f6 | ocamlx(Prettyp) |
| = f4ed9f69550a327c8b44edf1dbdafd7c | ocamlx(Pretype_errors) |
| = cce07cf511c506bfea7d6a3d2a28167c | ocamlx(Pretyping) |
| = 7a5b698db068945106d543eb7f46d966 | ocamlx(Primred) |
| = 0148fc1840619315ea63da5d8a4e3406 | ocamlx(Printer) |
| = 3237636a3526fde76a70753186cbdc2d | ocamlx(Printmod) |
| = 7ab18524e309da6107ff84b38c5cecd9 | ocamlx(Program) |
| = 600a07c87e43cb83a9a63ab03b93889e | ocamlx(Proof) |
| = bb4733f1524e276acbb7ae92164c5642 | ocamlx(Proof_bullet) |
| = 10825068469ebf828650a4b8c884d935 | ocamlx(Proof_diffs) |
| = 30c476e548d6d8e8e3b3b5499ca439b5 | ocamlx(Proof_using) |
| = 69bef78742812597a223c48bfebec9ea | ocamlx(Proofview) |
| = 92e69dad2532af2112db816444d3fce5 | ocamlx(Proofview_monad) |
| = 6be19941474b35361f546b31553e824f | ocamlx(Pvernac) |
| = 778db690673a2ecd778badfca767ce6a | ocamlx(Q) |
| = 7e8a1d64ac7087904e3db1581c4126ca | ocamlx(Range) |
| = 2b66df854d8a46cd0206b6700573e928 | ocamlx(RecLemmas) |
| = 6894bfe6c5c9ed316f137f2820137d9a | ocamlx(Record) |
| = 83e0c42c58525d1df60955e67d155825 | ocamlx(Redexpr) |
| = ad9b9cbe7b14ec75a34eba5dfa2decd0 | ocamlx(Redops) |
| = 5d084e3c8ab97775c93d33f4dd1a8ebc | ocamlx(Reduction) |
| = 966bc391a83ce835e15122d7723fa1a4 | ocamlx(Reductionops) |
| = e8863ded5b347813e157cac01a075b30 | ocamlx(Refine) |
| = 13a55808084562771f23f8629a1d77cc | ocamlx(Relevanceops) |
| = bf66022718d5cd9ebfa2e0c3e6853ee5 | ocamlx(Reserve) |
| = ba65daa585bef11419594fb1f2f11ab7 | ocamlx(RetrieveObl) |
| = 630ff63c9797981be7dc1a009cc86b99 | ocamlx(Retroknowledge) |
| = 69a94a26345939fcd2240184fe2f0947 | ocamlx(Retyping) |
| = 0683cb6f1ad72eead0535fab3a6c4cdc | ocamlx(Rewrite) |
| = ee69c752a3751ae5ba4e963605f2b866 | ocamlx(Ring_plugin__Ring) |
| = 094f0549ea9fce9b6c16af050593841d | ocamlx(Rtauto_plugin__Proof_search) |
| = 633cb4f99d31168f81d46d9f243f8cd6 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = c38ff20a258855b462120dc1c3f99115 | ocamlx(Rtree) |
| = de6b4f7676131d3ec0535961968f0f73 | ocamlx(Safe_typing) |
| = 959387fc3bb5658873e454dc6d761be9 | ocamlx(Search) |
| = 2088123609d11bc170ecb9194bac382d | ocamlx(Section) |
| = c6f5516ba5d174f67829ed9c8c8909b8 | ocamlx(Segmenttree) |
| = 168f77e3894c9cc034f0a82e03b6e144 | ocamlx(Smartlocate) |
| = 0ce21227fddce5bc8d7d2920bc34b427 | ocamlx(Sorts) |
| = 9ae20319f892563dfc4c419c057f13a5 | ocamlx(Spawn) |
| = ae76dab0dedec9c542e6035427205aed | ocamlx(Spawned) |
| = aa589b7a7a825559b48b96155b3ab97c | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 02388917a6003d2e3cc9cd379d55cf08 | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 3ded2ab0c71b4e03301e727cfa1c6d4d | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 6792c0583c906fa545f2d5667af75dad | ocamlx(Ssreflect_plugin__Ssrequality) |
| = fb19661d400077ff39e731a71eff8e86 | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 88bbe1ce62c463c7b5e620350c9f061f | ocamlx(Ssreflect_plugin__Ssripats) |
| = 04e50576045fb3197cb443c4ba2b7c18 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 121ca194f992684aeb6f471be2af8f9f | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 8dced1df7f0472a2cf0237f54b259ccc | ocamlx(Ssreflect_plugin__Ssrview) |
| = 2a3fc3347d9666a89fcb81ca78a1ea32 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 9e11f925d91c6674fd63e97f100642c3 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = a5bcccd428ab47b644b9f479b8c46470 | ocamlx(Stateid) |
| = f5f0f316a8f4f6156a6bc2b6241993c0 | ocamlx(Stdarg) |
| = 29fc6b4fd90dc91235156e20d0575996 | ocamlx(Stdlib) |
| = bb1212fc50265efb994301edbd2f0ecc | ocamlx(Stdlib__Array) |
| = 673e1a9feee4c24aeb62fe0f3e3ec4ad | ocamlx(Stdlib__Buffer) |
| = 332b036c618456adadc97ebc4c0edd44 | ocamlx(Stdlib__Bytes) |
| = 7cfadcb8c8da32e9f00e211aa321718b | ocamlx(Stdlib__Char) |
| = 7d577dae6edeadfbfb103d3b9b8931ba | ocamlx(Stdlib__Digest) |
| = c9b944058da07ad3950f915d5682e6d9 | ocamlx(Stdlib__Ephemeron) |
| = d28509257398356aab9aed2edf11d6cb | ocamlx(Stdlib__Filename) |
| = 983da56657d4a84e1921601ebd2ba5fd | ocamlx(Stdlib__Format) |
| = 265b59e1def4560a3187de619e15ad64 | ocamlx(Stdlib__Fun) |
| = 69b30dbb497b1693413644ac9604be89 | ocamlx(Stdlib__Gc) |
| = c60c5e9b84ec15b69584c299944d0abb | ocamlx(Stdlib__Hashtbl) |
| = 92cf9826d556878104ed3545f31b55b5 | ocamlx(Stdlib__Int32) |
| = 371b761429600b4a3480435d7bb83c8a | ocamlx(Stdlib__Int64) |
| = 6e981fd0efd14a1dff5f06e6c215a2d2 | ocamlx(Stdlib__Lazy) |
| = 75bce4c751643e407b6e75caf60b9db7 | ocamlx(Stdlib__List) |
| = f9b31d0fc661b76354b76376270f8fae | ocamlx(Stdlib__Map) |
| = eb9932635a49a93c31c0e9a675c07fff | ocamlx(Stdlib__Marshal) |
| = 23286e910874d627cdfbcadb3610dcf9 | ocamlx(Stdlib__Obj) |
| = 92fa2375a865927827b95a710fd8db2b | ocamlx(Stdlib__Printexc) |
| = 5637860688f82d7f837407cfaf0a6fae | ocamlx(Stdlib__Printf) |
| = ac29fa1eab3344162fa1d6afdf6872d4 | ocamlx(Stdlib__Queue) |
| = bd6cc79123202b55fdf31fc087aa06eb | ocamlx(Stdlib__Random) |
| = 77c1354d6effc4c07123bbe247f06393 | ocamlx(Stdlib__Scanf) |
| = 9d41b0f6935651fa2b340a0986078a0a | ocamlx(Stdlib__Set) |
| = 6e4c13fcfc9d23fccc45c9e0ea742960 | ocamlx(Stdlib__Stack) |
| = 13f7de0c4181fa1bd61a69535f1b123c | ocamlx(Stdlib__Stream) |
| = 16f00be18fe41d5b5f3bc6b9bf6629df | ocamlx(Stdlib__String) |
| = b7b20574aeaf6b9579b0e18cd71b27d3 | ocamlx(Stdlib__Sys) |
| = bba061f4005216cd927f027dd350ea87 | ocamlx(Stdlib__Weak) |
| = 1b612c6dd3b668bba1a39e4d591eeb8d | ocamlx(Stm) |
| = c762e7c354a7d11614307c55c5b8592a | ocamlx(Stmargs) |
| = 4c3dcee02f6d0398b409328e37d6aa08 | ocamlx(Store) |
| = 4f153d0614e739753ccb1a58e9ecaa38 | ocamlx(Str) |
| = 197b975b7abeb32c37be9a253e6a3eb5 | ocamlx(Structures) |
| = 481dedf8089bbdee65a3ff3cc84e10e7 | ocamlx(Subtyping) |
| = 9e0e375c756bde3e8d018dd9f840c900 | ocamlx(Summary) |
| = b4d0c87fae067df0d461576b6c8ea0c1 | ocamlx(System) |
| = 850a611bdb0c085c085f2f371358707a | ocamlx(TQueue) |
| = dbc869096a34a67888108c307af892fb | ocamlx(Tacmach) |
| = 12e391892030b9a83975096606575c8e | ocamlx(Tacred) |
| = bdaa59b05072fdd9b4ef249f64f9d62c | ocamlx(Tacticals) |
| = de238d5d983426ce3b9a7a4533e6bbdf | ocamlx(Tactics) |
| = 1e9acf6588374876f3995726740dd81c | ocamlx(Term) |
| = 670973a2a38b63ecceec7fc02a80795f | ocamlx(Term_dnet) |
| = f5bc19728d562b8d9a6db3324df333d3 | ocamlx(Term_typing) |
| = 6ff9df188b1447212303a5929ee3399b | ocamlx(Terminal) |
| = 176ba8e6bdab35afe69ad7dff95fa376 | ocamlx(Termops) |
| = b6058a12af622a83bc30e409c733d611 | ocamlx(Thread) |
| = 802d1f0ec96c7e40b939dab52a766e02 | ocamlx(Tok) |
| = a556d782efc20a21143b4cdeb92ef7c4 | ocamlx(Topfmt) |
| = 177ad52390666df164ea8ebc2649d546 | ocamlx(TransparentState) |
| = a10c81b0b47cd4fddf7ef018ed0625fc | ocamlx(Trie) |
| = 835a9eb8236b2b63a134b24ce0c88c20 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 114bece27d86a9ef8b97b27099366fa2 | ocamlx(Tuto1_plugin__Inspector) |
| = b2bca73a9902d9ec513db465aa78adf8 | ocamlx(Tuto1_plugin__Simple_check) |
| = d689c873c2d3b8bb6029b11c6f3b5afb | ocamlx(Tuto1_plugin__Simple_declare) |
| = b5f76fe5beb6ad15b6fafe7dee1345c5 | ocamlx(Tuto1_plugin__Simple_print) |
| = 0b92159d28f9a8e079b154b05ea9d28b | ocamlx(Tuto2_plugin__Counter) |
| = 61937a4f8de9d79c7e27e9bf844cd8d2 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = bb7326b2b856fd7dae5c6660fa6bfb44 | ocamlx(Tuto3_plugin__Construction_game) |
| = ac3b6c4d8494c7ecf64ce774af638879 | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = 859a92227b120389d337a562adcea426 | ocamlx(Type_errors) |
| = ea5cdb5fafe5e28aef7e925c5f3e3a29 | ocamlx(Typeclasses) |
| = fc764dda19e8cfb032a5db666fc046b5 | ocamlx(Typeclasses_errors) |
| = a437b1f0efe741979d74483b121980d5 | ocamlx(Typeops) |
| = e933f3c4ab2c38ec3784573a96e41dc0 | ocamlx(Typing) |
| = 49fed91813cdb104ae45e772a238cde3 | ocamlx(UGraph) |
| = cca009718359118187afcd5a00e2906d | ocamlx(UState) |
| = e6fc76ea8492684986788db02da0daac | ocamlx(Uint63) |
| = 9ca78a089131869ab02fd4cb79571f74 | ocamlx(Unicode) |
| = d05dc1e9060cef93f0794941ee25c720 | ocamlx(Unicodetable) |
| = b422efcbc7569dbc0b2b3db1676485dc | ocamlx(Unification) |
| = 09da7475766e419b156de58fb065d530 | ocamlx(Unionfind) |
| = a0cf0d9637f8b33d5d8fda7a474b4fff | ocamlx(Univ) |
| = dd9795c7cf246cb80a12cab2b3217249 | ocamlx(UnivGen) |
| = fccdd2736b52134666fbde3dd0a335e6 | ocamlx(UnivMinim) |
| = e6e23d88a9e2ff677e2e6fc2eae8d934 | ocamlx(UnivNames) |
| = 807c07934d81dff370f98b8f73879257 | ocamlx(UnivProblem) |
| = a6ef802af0bae9ec69e8a3c971f70755 | ocamlx(UnivSubst) |
| = f98e9ef7f9e913e26df2cf0d3af4252b | ocamlx(Unix) |
| = 032bbdc002e48ac17825b9af50e929a5 | ocamlx(Util) |
| = 290e6f116c8a646cca052e16288dbba8 | ocamlx(Vars) |
| = 724aeab7ef6a7f88c69b4b264d410688 | ocamlx(Vconv) |
| = d22ec847c257b2b1b716476e23ca37ab | ocamlx(Vcs) |
| = 6c835ec37a66c004f36dd13c898d9bdd | ocamlx(Vernac) |
| = e7d6af1b116eeb45186407f4b2518f1a | ocamlx(Vernac_classifier) |
| = 8555240fa17d1a615907ac6f4d2c37c9 | ocamlx(Vernacentries) |
| = 3bbbbc0030ee406986081477cd23c77a | ocamlx(Vernacextend) |
| = 79229dc4034c8ebba4d6d63fd97309c2 | ocamlx(Vernacinterp) |
| = f71390643b821a16e7f493b8883f21bf | ocamlx(Vernacprop) |
| = 31b491ab199752181e2de0f25cfaed35 | ocamlx(Vernacstate) |
| = aee88dc113e4c506439d13bf61d68c5d | ocamlx(Vio_checking) |
| = ba7ff834ab1add26e805f39ae3af58c8 | ocamlx(Vm) |
| = 34140d097f22bdd663e0567ec6769d08 | ocamlx(Vmbytecodes) |
| = 42aef1692598d88042a430bd44908227 | ocamlx(Vmbytegen) |
| = f969f7272a739b94a709a25c974fc79f | ocamlx(Vmemitcodes) |
| = f44fa12e69e3bbe99a0164609ae197b7 | ocamlx(Vmlambda) |
| = a98602e2d97cf24bde5fbf3b6fa097ba | ocamlx(Vmopcodes) |
| = 0f7e66d036ebab20b83b7e76a702a9c4 | ocamlx(Vmsymtable) |
| = e04f7b05dda3795e246461bc551bc0b6 | ocamlx(Vmvalues) |
| = bce65b2e1f98ea7a3aae5c54d2a99173 | ocamlx(Vnorm) |
| = db007eccf8dcb4b71dbf4a06ae0e723b | ocamlx(WorkerPool) |
| = 35e6c2baec05f2448f0ffb79a9faad0e | ocamlx(Z) |
| = 0eb850e19d0143966cac13e0bf9dd11a | ocamlx(Zify_plugin__Zify) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.16.1-3.fc38 | coq-core |
| = 8.16.1-3.fc38 | coq-core(x86-64) |
| = 420597dafb0412b0906625f65b7b43f3 | ocaml(Abbreviation) |
| = 972a6adc1672c1380e598345e9bdd66a | ocaml(Abstract) |
| = 00edc3e526b6239e9ad4c9319eaaabd5 | ocaml(AcyclicGraph) |
| = 8d780748135c7ad38292a7b3ac0f53a4 | ocaml(Arguments_renaming) |
| = df89cf26bc6d8d05b99e08a9244c612a | ocaml(Assumptions) |
| = 8659dacb0d81bcd9fbe6e6ecd05f72c0 | ocaml(AsyncTaskQueue) |
| = 9c8311d65744ff7d706db174690b46c8 | ocaml(Attributes) |
| = 18ee6df02843f71d3f910a73cc86f876 | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = f8bc48db857f8ac735085dc8aa83010e | ocaml(Autorewrite) |
| = 4e5dbc641f72c02043546e93c1ea2f6f | ocaml(Aux_file) |
| = f498938c3cd8c3c430d1ecb0bf0739f4 | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = fab86dce490de64d33c82242f0ebfc65 | ocaml(Boot__Util) |
| = 9009b76733276115709ad8eaf7608140 | ocaml(Btauto_plugin) |
| = 29d4880693a67a1f0e1b46f4a9bff412 | ocaml(Btauto_plugin__G_btauto) |
| = 28e0bf9327ab99d94d58094c20908409 | ocaml(Btauto_plugin__Refl_btauto) |
| = d3ea095108ca95f312ef5da1c00ad3ba | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = b49a9e05558d074ce2420f1481d80d8a | ocaml(CAst) |
| = f4378b7e6756e2d51e034a1fb622833a | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = f3bfdbcb718358cbbdf7269ef0ccc70a | ocaml(CErrors) |
| = c60c1257bafd2caf16fc08cc8a89eba6 | ocaml(CLexer) |
| = a742212da585b925999bb1e9c57f8886 | ocaml(CList) |
| = cbcf10800400dde7f75cbc0cc6a0a739 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = 98ddda2b8661651d0ac1c4d2f3adc78a | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = f53fe8692b6d16ecf125c5433c67ee1d | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = cf7a81ae736db3f2a37cc19662f4fef6 | ocaml(Cases) |
| = 84dad22fdc339ed0e7be089e4509b7c9 | ocaml(Cbn) |
| = 948ea102091b6a8e7c4b0e1b62a3976b | ocaml(Cbv) |
| = ceb46e8aedadbdd92158dcf60a3cd0fb | ocaml(Cc_plugin) |
| = b08a94e2e4c838268631e02b8f1131d2 | ocaml(Cc_plugin__Ccalgo) |
| = 47ef5c0a56fdbc0941ce73d0046719fb | ocaml(Cc_plugin__Ccproof) |
| = 3297962af6b7bee613be9662275b2efc | ocaml(Cc_plugin__Cctac) |
| = 03e27f8e2a9649c70cd9fbc67cce309d | ocaml(Cc_plugin__G_congruence) |
| = cbf7121ffe4a7d9642468cb05ab4fa7c | ocaml(Ccompile) |
| = 43714ab5d65b526f526983060b18773a | ocaml(Class_tactics) |
| = 0849bff350169976d6661ecf8c0a0d08 | ocaml(Classes) |
| = 7166460f08eb63080256e23e5fb5c167 | ocaml(Clenv) |
| = 56c8843825713a98c2731d70e4986d59 | ocaml(Coercion) |
| = 130ca2c374c3c95f2be07233a9fcfe6e | ocaml(Coercionops) |
| = d0f9844c2e2c3352cffae437250690f5 | ocaml(ComArguments) |
| = 20cdf574510ab9eb1308952312ff33eb | ocaml(ComAssumption) |
| = 6119173fad398a6e6a12b2b62329eae3 | ocaml(ComCoercion) |
| = 5fb0e71a6ec8f102fda4d4c6dbf643d7 | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 97358d4b231f95eb872fc52abc300d7f | ocaml(ComFixpoint) |
| = ad2c813f50a0b8eb05789c4dc928c592 | ocaml(ComHints) |
| = 39f85975b25aee1b8e535e0d1d2ce9b9 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = b4baeb08b384fb166b2e11345e1e6018 | ocaml(ComProgramFixpoint) |
| = be75ce7f6093f0fde2fe33724d2f8b0e | ocaml(ComSearch) |
| = a08901eb475fd5bd26c27679d799860c | ocaml(ComTactic) |
| = 9ca352bce78df900bce25f5e83b3e3ec | ocaml(Constr) |
| = bc3bc25e047804b0c2146f38c8baf57e | ocaml(Constr_matching) |
| = 0a1d3ceef956f29cc7dc137ca11d7f87 | ocaml(Constrexpr) |
| = 418e616a5df5c13bfb5ca9962193d077 | ocaml(Constrexpr_ops) |
| = 5af32acadc581f65a54da5afcd5b2c2f | ocaml(Constrextern) |
| = 97b95cdbaec7eb2886396200fc429e6d | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = 17710499fc288b647d485e984107779e | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = c511194cd3d1c75d0ec51fe57d5c4b93 | ocaml(Cooking) |
| = 8d4ce5876520fb1b857ce0b66885c9f0 | ocaml(CoqProject_file) |
| = 1f9c810a032fb9a136e70b90280eb879 | ocaml(Coq_config) |
| = 831a6f58e41b064f9a4f9156af190952 | ocaml(Coqargs) |
| = ae9cdc97fc7c07c638b81cae3fb1f043 | ocaml(Coqc) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = 2c95a5e907cb1568e1a7c1a9d070b1aa | ocaml(Coqlib) |
| = b2d2792c476702243473dae407a9a210 | ocaml(Coqloadpath) |
| = 788867ecf0c71ce995da64a7ef7e22c4 | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = fc0bcbda58d2f416905b23bfcb7dc570 | ocaml(Coqrun) |
| = 7406aac3df43f6624ef3974b517db9e6 | ocaml(Coqtop) |
| = 3c5e42d0ebc9405514b419d4f2d94f54 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = dad4dc5e90d3a1f173b8fa9529571329 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = af077788df86ae3c100cb12d0e433100 | ocaml(Declarations) |
| = 50515d5655d9fdf56b819fa36790df68 | ocaml(Declare) |
| = 42984d348ae777b60959a2725b38e9e4 | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 2e832a7a087246de5bdee9de92899c73 | ocaml(DeclareUniv) |
| = feae46dd7f816faac5d3a1d9b6695f56 | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = 703781821a9f6fa92a858580f939bd9e | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 87ebc9f2679fc769364ed6fc35137bff | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = 4651f4597c9b6eb0b541950e161cf0d5 | ocaml(Derive_plugin__G_derive) |
| = e1a2f4f4c8caaef8118ea6369f5fe10b | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 4ab1a6a815084682e460ae95ad5ab2b6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 082355c6056f963a71a1915a1ed0d49e | ocaml(Dnet) |
| = 20e9106c0a8efd454cf20e46cba32b6c | ocaml(Dumpglob) |
| = fa3daa324553247018623840358472b5 | ocaml(Dyn) |
| = aec1ab28ede64377d193d2fc15de5e09 | ocaml(EConstr) |
| = 6370d8a19b0c9a7718fba5842ec0fd65 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 5c1aff6aa29932ef61514e54a24530a1 | ocaml(Egramml) |
| = 151e3690a55c649c629325cc812d27ea | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 72a73ac1bcf2406fcb0568e0723e2452 | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 81958cbbb97b08eb74f21205ecbe734b | ocaml(Environ) |
| = d15dc70a0dfe3c76ab3cdd6012c93856 | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = 7a649f9b216dad739e837c87f77a3af8 | ocaml(Equality) |
| = 746f3c41caf469b8602bbc0673a9de61 | ocaml(Esubst) |
| = 156cdf64bb05c4ab0c4051f998dfab52 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = a2a426819a1c9723fdb2c2630901cd62 | ocaml(Evar_refiner) |
| = 9d0ed0c25581d922599355cb62e0515e | ocaml(Evarconv) |
| = fe8ca9cf716175388b4409c03e17658c | ocaml(Evardefine) |
| = 3428df78067bc43360db82565604d135 | ocaml(Evarsolve) |
| = e498f9d920d45be1f78891569f3d02e5 | ocaml(Evarutil) |
| = 7801c47db8f2d9004d9cee2602a72d51 | ocaml(Evd) |
| = 766d613c58c5e25783f49ff1e5b36922 | ocaml(Exninfo) |
| = 8f3d3aee03298d6f7ff2c8b208ad0498 | ocaml(Extend) |
| = fdd86db306fda87185be4fa90f2a0006 | ocaml(Extraction_plugin) |
| = 2677b4316cd66d0a80bf553e65ffbafb | ocaml(Extraction_plugin__Common) |
| = 557abedb34df632c626b3974b9d9a9ff | ocaml(Extraction_plugin__Extract_env) |
| = c81d28780c6e34232924dc640b522df0 | ocaml(Extraction_plugin__Extraction) |
| = ef4e75fef750c81d3010d5205c8c6733 | ocaml(Extraction_plugin__G_extraction) |
| = b8ba73cb9d741ac5294ec364fc550a0d | ocaml(Extraction_plugin__Haskell) |
| = 730158f16e2ad36dee9a5e318946bd84 | ocaml(Extraction_plugin__Json) |
| = d2daf1f684cf83b41f09829d7f2b7552 | ocaml(Extraction_plugin__Miniml) |
| = 974499eaadc997249cfc96f0fbfdfabc | ocaml(Extraction_plugin__Mlutil) |
| = d3d8d69f12153e4555f4e315684e046f | ocaml(Extraction_plugin__Modutil) |
| = 6f522e0e8dfc7b74d2f1e7f7e8b615b7 | ocaml(Extraction_plugin__Ocaml) |
| = 87d11cbe8ff819f3e95934c271c893ff | ocaml(Extraction_plugin__Scheme) |
| = 8d6ab3ccf270a1b95c298e39cca5f08d | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = b8e1b1bcd1fe2af0f5efe4d42aae93db | ocaml(Find_subterm) |
| = 974870c1e0c3303435a343893f7444e8 | ocaml(Firstorder_plugin) |
| = 9f1ced998d2a291c9071511dcf3cf813 | ocaml(Firstorder_plugin__Formula) |
| = 5ed577e2043be537ba24396334d0424e | ocaml(Firstorder_plugin__G_ground) |
| = 6bc98d9a803eae552c0af502d9a77ff4 | ocaml(Firstorder_plugin__Ground) |
| = 31ff0deb1f4bca4450e5c7708e176ded | ocaml(Firstorder_plugin__Instances) |
| = 2622dc299784d74a128775b95ca6949f | ocaml(Firstorder_plugin__Rules) |
| = 33ecc3ab0d4d8cbb72e1caccadef5bd9 | ocaml(Firstorder_plugin__Sequent) |
| = 909821ef99c0034b33c6860accc7b6c6 | ocaml(Firstorder_plugin__Unify) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 712fa5d21be885f62f4afb0c1b2e620e | ocaml(Float64) |
| = c4fcfb496ea89ff8b1f8cf244b6d40f1 | ocaml(Float64_common) |
| = 235bc69fea943bef8593f9b00b9d5d50 | ocaml(Ftactic) |
| = ac7a138ea913bafeee82c6cde006e5c3 | ocaml(Funind_plugin) |
| = ee95702eb600cfc4bdfd2317a0ca6148 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 684a088e2420f57ea5e66b9e8671d8d6 | ocaml(Funind_plugin__Functional_principles_types) |
| = 328c9d6869718ba584a18a28c5131232 | ocaml(Funind_plugin__G_indfun) |
| = b8ea43ec8dc691348a547487ab1d5c4e | ocaml(Funind_plugin__Gen_principle) |
| = cff1256359ec492c5a18194d89770f02 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 49d76c46a1599bbef803337bcd20fb58 | ocaml(Funind_plugin__Glob_termops) |
| = 1e9ba2e96a1a96bdae8f432a67cec55e | ocaml(Funind_plugin__Indfun) |
| = 64ad5650d148ff12f77940f8887cb194 | ocaml(Funind_plugin__Indfun_common) |
| = 1efeb8db04eb63d1025e5bba98d4c414 | ocaml(Funind_plugin__Invfun) |
| = 8c390ac5f06d4db94222865a6ceb7c5c | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 7a0613286b0065912d96d128cf376bee | ocaml(G_constr) |
| = f1151d6f8a63f69543ae1b0a6d1b2544 | ocaml(G_prim) |
| = 92a3d7f9235e02802469398f948d5c3d | ocaml(G_proofs) |
| = e54acbe7e71d10bf02c8c46d44b80e28 | ocaml(G_toplevel) |
| = 9ea5b298211a2aa2e102c9660e5bbe90 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = f9c42c5b2c5681eaf7e0e49808e93ddd | ocaml(Genintern) |
| = 3425ad20575082d95c850c333be60921 | ocaml(Geninterp) |
| = 092559a8daae9547da5b338d63d62f84 | ocaml(Genprint) |
| = 626bb52775c1748e2c3bffbc6b812083 | ocaml(Genredexpr) |
| = d745ee6d77006ea2b750c1b41da66134 | ocaml(GlobEnv) |
| = 72974471aa15f3cca820654475d61f32 | ocaml(Glob_ops) |
| = 4533a1278fddf471cfcbda9e5b5232db | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 0cde525ff2938a030d830223839482ec | ocaml(Globnames) |
| = 6c36abc34e3c0219300bf334533445bf | ocaml(Goal) |
| = 5303e7040d3cbac08b6a3602be100ecd | ocaml(Goal_select) |
| = 532e5d7e6f0744645df21a2de260a413 | ocaml(Goptions) |
| = c4cb68462c40a1ed4d57b1221c3328b8 | ocaml(Gramlib) |
| = cceadee5ba8287671304df971ae88da1 | ocaml(Gramlib__Gramext) |
| = 5f1a768cb2e6988d339c385f733c0143 | ocaml(Gramlib__Grammar) |
| = b8133aac91b79d4ad41ed01ab52880da | ocaml(Gramlib__Plexing) |
| = 46d58cc9b563a841672729abe6d0cad1 | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = ae839d8ae1693169aceb1c2e64abd9c1 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 76a1b67e644044e04312020e7efed39d | ocaml(Himsg) |
| = 3a9a0ec6a732148db08f2b90c9dbe88e | ocaml(Hints) |
| = 7aa5f74eebdc7c41fdbb35877a0c8346 | ocaml(Hipattern) |
| = afc10af2a433f78a0df71272ef5bb0eb | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = df2b410f42f3aba42107bfd927a4c601 | ocaml(Impargs) |
| = 6e4f1428b681732de1c97c5a9b817d87 | ocaml(Implicit_quantifiers) |
| = 7fd0a95867733a6f1f332c3b6afe4c29 | ocaml(IndTyping) |
| = 4c7455db4b1d8ad88f5f4c8bf6402af2 | ocaml(Ind_tables) |
| = bee3595fe637a02a7d8e46aa6ba68294 | ocaml(Indrec) |
| = a3255fb7501d600a4ec4e32942189de5 | ocaml(Indschemes) |
| = dd582593e5a1ba206cddcf2923655798 | ocaml(Indtypes) |
| = b086ff05d829c607f8425835f6844df3 | ocaml(Inductive) |
| = 88feb584272b6994ff428b275bc6015c | ocaml(Inductiveops) |
| = b35aecd957a5d4de7423ee414afc357f | ocaml(InferCumulativity) |
| = c638a3a3a3350b9a3cd3aecfc1548b44 | ocaml(Int) |
| = 87df5e4766260236b23c453288e9777d | ocaml(Inv) |
| = 53b528fb167dd297bf9b2ad4fca98115 | ocaml(Keys) |
| = f9950e89686bd059defd6cda6a25c5d3 | ocaml(LStream) |
| = 64a196b7833437ec6921775c5de57961 | ocaml(Lib) |
| = 7e72e6b9f7e5a2d16c610b7149eb377c | ocaml(Libnames) |
| = 33613ae7ae8a9f294163246e5c7d4133 | ocaml(Libobject) |
| = 57e9260b34f664211989bcc3e99909b3 | ocaml(Library) |
| = 6605236b96c139e644909eb14686ccb8 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b91e1cdf8560a02599ec3b484a0faa53 | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = 13c4bebf9827283a2773b474406ee42b | ocaml(Logic) |
| = ad1c2d56a37c94474486c95b0b560584 | ocaml(Logic_monad) |
| = bb0c1877449e421d8427bb35611e5d33 | ocaml(Ltac2_plugin) |
| = 7441004ffc5703c49c7e8c5827170e33 | ocaml(Ltac2_plugin__G_ltac2) |
| = ab0bb2879f762f640a390dfb5255d45e | ocaml(Ltac2_plugin__Tac2core) |
| = 32c9e1137345bb2448b1b4b2a83a6973 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 6cb71431b99a57fb690ec87a683ded3e | ocaml(Ltac2_plugin__Tac2entries) |
| = e15e0caddaaa677c501cc6483029efc7 | ocaml(Ltac2_plugin__Tac2env) |
| = b9f2befaaf66b5b7e605db0828027e76 | ocaml(Ltac2_plugin__Tac2expr) |
| = 07c71c50ed1cbf174f157a4da537d846 | ocaml(Ltac2_plugin__Tac2extffi) |
| = df35daa2225e1451b71cd0761e629d26 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 490bd474d7e72a9a8e1d9e13757c051d | ocaml(Ltac2_plugin__Tac2intern) |
| = cb36f759ba7bfa7e644f632a3fcb7fb9 | ocaml(Ltac2_plugin__Tac2interp) |
| = 54284665a2f5748fb8ac5964831cc333 | ocaml(Ltac2_plugin__Tac2match) |
| = ace63425ac98abb66d981e13a615a445 | ocaml(Ltac2_plugin__Tac2print) |
| = fd905b6c2d8af1f39001d10020d4c407 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 781aef67dfe9c5b964ef22cec74ff0a8 | ocaml(Ltac2_plugin__Tac2quote) |
| = bafb212b7cc5620b3cbd2f55c7a087f3 | ocaml(Ltac2_plugin__Tac2stdlib) |
| = 1c1f4a87d8754387d20e8e7c3a689127 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 3ee5b6d9a8221cdaa5271b349f0b9d65 | ocaml(Ltac2_plugin__Tac2types) |
| = bb15dbe4f28c600db9de476703ea1b94 | ocaml(Ltac_plugin) |
| = 7862b3c490d66084278f856a9a696610 | ocaml(Ltac_plugin__ComRewrite) |
| = 8319d4ecdfa85afd87fff24d4b79955b | ocaml(Ltac_plugin__Coretactics) |
| = ac7649bacfc54217b3726abd8ba2eefd | ocaml(Ltac_plugin__Evar_tactics) |
| = 32802bb44cebd4d7aa11496d2a7b89d9 | ocaml(Ltac_plugin__Extraargs) |
| = d4451ecdf7fd6c8c477701b85c23f75e | ocaml(Ltac_plugin__Extratactics) |
| = 90f731840d5ddf80bcd2188509656dee | ocaml(Ltac_plugin__G_auto) |
| = 88f18a0438a36762379fcbd83e4a0f04 | ocaml(Ltac_plugin__G_class) |
| = 5b73db2704b2108fe7c90113f0c3ed94 | ocaml(Ltac_plugin__G_eqdecide) |
| = cb95f6bdce7de27f6c1dbab18b84d725 | ocaml(Ltac_plugin__G_ltac) |
| = 1348e02c46652af41a2cac3ffb89efe2 | ocaml(Ltac_plugin__G_obligations) |
| = eca154a94717992413547a3b4afdd68b | ocaml(Ltac_plugin__G_rewrite) |
| = 1c5415495d0d0d922502c47274659fbf | ocaml(Ltac_plugin__G_tactic) |
| = 830affcc256498d0d01910df2b1e78d3 | ocaml(Ltac_plugin__Internals) |
| = 7d5c31c53498df384e9cf33699c13a97 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 107f9608b253eb0c2c03dd51a5c31ebd | ocaml(Ltac_plugin__Pptactic) |
| = 5f42700b3739e74db8f0006aeb46a0ec | ocaml(Ltac_plugin__Profile_ltac) |
| = ecb7c15c9b3c1b3c4f27b52dd04505b8 | ocaml(Ltac_plugin__Profile_ltac_tactics) |
| = 914c6f680894df96a08d1605def5b5a9 | ocaml(Ltac_plugin__Tacarg) |
| = 7843e413a27cc23687cf19b04f6d88bb | ocaml(Ltac_plugin__Taccoerce) |
| = d79565bb0bdf241fe57ffff29b9f05b5 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = db03a7b8c07c50868303ed8334ed82e0 | ocaml(Ltac_plugin__Tacexpr) |
| = 4b53cc9dcbcf64616b1cb9d81e04b5c2 | ocaml(Ltac_plugin__Tacintern) |
| = f057a4f45fb07340e0e8844b2c99392e | ocaml(Ltac_plugin__Tacinterp) |
| = f7b4e760d6387d3a44aa62f54dbb1013 | ocaml(Ltac_plugin__Tacsubst) |
| = f4e8deb826de3c96b31b19a548f1249e | ocaml(Ltac_plugin__Tactic_debug) |
| = 85267e743f7289c9af9f6e32135d91ab | ocaml(Ltac_plugin__Tactic_matching) |
| = c107412336e1c51d1f30c37e887d6b79 | ocaml(Ltac_plugin__Tactic_option) |
| = 1a5459876be0aa010ebe6bdd23c6fd37 | ocaml(Ltac_pretype) |
| = 47a92a3248e359a421627ee6c43007a1 | ocaml(Metasyntax) |
| = 477e4d683c0b40afe138ea0fb8efd814 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = 800ea6574a0deacabdc4a26c1b68d9c8 | ocaml(Micromega_plugin__Coq_micromega) |
| = 5eae51a15e6b9a469ddcd827bcaf8fcf | ocaml(Micromega_plugin__G_micromega) |
| = c1ba79e6d489268738330e0d9ebe3803 | ocaml(Micromega_plugin__Itv) |
| = f887ba302ad57cfd74ecceb54f93ca0c | ocaml(Micromega_plugin__Linsolve) |
| = f92b4cac9f443839b1fd033e90bd94b1 | ocaml(Micromega_plugin__Micromega) |
| = 124f7df6a43d90c1a1501bbf817733fa | ocaml(Micromega_plugin__Mutils) |
| = 129cfa827358628f55c4b6833ec95dba | ocaml(Micromega_plugin__NumCompat) |
| = b4ae1739c93ce13857ec58f928b2d932 | ocaml(Micromega_plugin__Persistent_cache) |
| = e8848d938f6e46de93d27011521c11d9 | ocaml(Micromega_plugin__Polynomial) |
| = 9b2002802ddabd5c4c388477615d1498 | ocaml(Micromega_plugin__Simplex) |
| = 13dcf98dbb95973cee2d78186501169d | ocaml(Micromega_plugin__Sos) |
| = 2ec98bbf51e7cecd1ac269c30d783704 | ocaml(Micromega_plugin__Sos_lib) |
| = e78ffadbd99b0415f9ef68ce9bc030ae | ocaml(Micromega_plugin__Sos_types) |
| = 06b1789ffca7853552bd33a0e16f27d7 | ocaml(Micromega_plugin__Vect) |
| = dead541e824ffaa9f6b36a443ebdf101 | ocaml(Miscprint) |
| = 04b802c6f617661d63eb8adfe76b0100 | ocaml(Mltop) |
| = b56a185b9f7bb6f0f0f519c06bf981db | ocaml(Mod_subst) |
| = 326e1f8d63d788f9830f3d1770478bfa | ocaml(Mod_typing) |
| = 8c9ef6e6ad38e46d6187cebd47dab344 | ocaml(Modintern) |
| = 2f5106a546728c8a9dc308a95876078e | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = 0a8addd4f715e43f63deeddff67666bc | ocaml(Namegen) |
| = 0370e4e902f299a0a716b28375cf67fb | ocaml(Nameops) |
| = 0b6c349e44c595f40356f60ca49fa766 | ocaml(Names) |
| = 939eb1b5d6f3dab8fc7aa53d76f8cd46 | ocaml(Nametab) |
| = 02dbeca2f7bfac8ee80f221d7d1bcb8a | ocaml(Nativecode) |
| = 60d8b9f9f4561c30226973b77f29c919 | ocaml(Nativeconv) |
| = 219578857e7b319faa4d145a4fa5ff68 | ocaml(Nativelambda) |
| = 7b23ee7251439aa612f59354c020ea67 | ocaml(Nativelib) |
| = 0f113430f9645d3876eba86e526ed5ea | ocaml(Nativelibrary) |
| = b6141c50b88274d770d746174ed6a19a | ocaml(Nativenorm) |
| = 151356e5f71c48ba131e257d7b5d6b0e | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = 6687290488ca913493273e35ec9140c4 | ocaml(Notation) |
| = 26cc7b8a624df72d8a961e49bbd4c685 | ocaml(Notation_gram) |
| = d0e23d53b27691b62480a8ce4af6f3da | ocaml(Notation_ops) |
| = ba7e10bd6c980ba842674b92c4fd32b8 | ocaml(Notation_term) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 1b6976b6917d803cbdf8de5f54fee594 | ocaml(Nsatz_plugin) |
| = a9ba8b3e58d4af8de146202a4585770c | ocaml(Nsatz_plugin__G_nsatz) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 1d1447b63f4059613156940faf20e246 | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 919d150c66ab68cf4c64598cc40be9c3 | ocaml(NumTok) |
| = 51ac4a03513f6ae660fff42d91271831 | ocaml(Number_string_notation_plugin) |
| = 669bed50f043b66917f473e6cc270163 | ocaml(Number_string_notation_plugin__G_number_string) |
| = d560cc4cf07ff534da923f83caddc52d | ocaml(Number_string_notation_plugin__Number) |
| = 123d97c5745d0c1fef510f3fbdfdc3e7 | ocaml(Number_string_notation_plugin__String_notation) |
| = bf14320ff736e5a8a90a032f530c117b | ocaml(ObjFile) |
| = b1745fe14cd37c212d34eea094f1b8df | ocaml(Opaqueproof) |
| = 8abed5317fc879dbf8d6ab6b78ee9461 | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = bf0feb2b99812624585018290a94c3e7 | ocaml(Pattern) |
| = 8f99781c06995f38b81f348e933ef80a | ocaml(Patternops) |
| = 30a4ee789831680c39f99302f3402899 | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = ad5c40eeffb62d378e92846c773ae25e | ocaml(Ppconstr) |
| = c66b14a7d4dd58e29bf6b63c5c4a043a | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 701b29514a3f59ab6ac3da555ee1bbdd | ocaml(Pputils) |
| = 40d9095fab82ed95c204afc030f8ce39 | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = da011f47db15648d1921b7ee98e96149 | ocaml(Prettyp) |
| = 4f0e6bee2956221e0d19c7a4d6232f5b | ocaml(Pretype_errors) |
| = a6903cb3010cce9b1b538151878854dc | ocaml(Pretyping) |
| = 97ca1d481f50c1c9701babd2fd24fa01 | ocaml(Primred) |
| = 1508d255db0d0f15754cef32e692257a | ocaml(Printer) |
| = a149b8d341f58a9ed12d0b9640d7e7bc | ocaml(Printmod) |
| = 2624aeedf972f229030473e90e66f802 | ocaml(Program) |
| = e0acf16fbe54fc07c8509cc29dd691af | ocaml(Proof) |
| = d4231cd59ef7cdd50eb3b6ada466095c | ocaml(ProofBlockDelimiter) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 5b4a14e9ee97f49f21641d79a760a9fe | ocaml(Proof_diffs) |
| = 0e6b867bb35f79d409de49d232158d61 | ocaml(Proof_using) |
| = 3d6152dfc2a51be0829e6bb46552105f | ocaml(Proofview) |
| = 7f12467494a6d7b1e7a1ad7c434aea2d | ocaml(Proofview_monad) |
| = 1851fe26b4a9ac0a8bc026b857dc4b3e | ocaml(Pvernac) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 7c37241cff05db7ac0a1329193879e09 | ocaml(RecLemmas) |
| = 395d7268652e7b9d171d02c26be239ba | ocaml(Record) |
| = 358ce56fbaf02036c310a0dc80dceee1 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 3523f631320a31383fd961d753a8e437 | ocaml(Reduction) |
| = 589f659dcd35d95083d18864277f803b | ocaml(Reductionops) |
| = 38cbc3a1c87f430244465ba02a3f670e | ocaml(Refine) |
| = 0dc4460587e822b7317f3d06ba93ac1a | ocaml(Relevanceops) |
| = 5c7a8afa4a7a2efc34a56915ea56d9f8 | ocaml(Reserve) |
| = 25482df7bf0c95ee7a7420fdc7b077ff | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 903d124e51a22bd2a47af1c46401859f | ocaml(Retyping) |
| = 053c386ec826f0c3cc95bbc663b2e66a | ocaml(Rewrite) |
| = 59777bc023dc2f779226cc57a4f18948 | ocaml(Ring_plugin) |
| = 897965d8515e7a19e237acabe4ab85b4 | ocaml(Ring_plugin__G_ring) |
| = 8dec7d911b8640ad844c40a9506a5a62 | ocaml(Ring_plugin__Ring) |
| = 8bf8f13d56dd035d227a563725c6b9ba | ocaml(Ring_plugin__Ring_ast) |
| = 1ccac922ee6c453c5b78275edf751850 | ocaml(Rtauto_plugin) |
| = c83d11d4fb01d6bbb66b6a2d4dc42bc5 | ocaml(Rtauto_plugin__G_rtauto) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 592092c6dc6e41e93c33f1a93a254861 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 2cfd62ffab10a60ce3b0d9eae3e38881 | ocaml(Safe_typing) |
| = 663f18873ffa3dc0d069b7fe4d96b45b | ocaml(Search) |
| = 68f3c3d655a9890cf3b21f6b34e3160c | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = c896fb1b0fea255b7a392a0203129c74 | ocaml(Ssreflect_plugin) |
| = c59335353fd407813ec94554fd1fd19d | ocaml(Ssreflect_plugin__Ssrast) |
| = 5f05e161434831370e9fffc618b053aa | ocaml(Ssreflect_plugin__Ssrbwd) |
| = cf646a48644671d515aa1bbe3d475ba2 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 4338e5d8944055936152bb3409cb07ca | ocaml(Ssreflect_plugin__Ssrelim) |
| = d8020755c5f13cd69ada8eca975bd6db | ocaml(Ssreflect_plugin__Ssrequality) |
| = c6a7de212a82cc05b53088967e27e0f9 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 0b6c89ea25f6dd09c0ef8a7be169a231 | ocaml(Ssreflect_plugin__Ssripats) |
| = 3a2558fcb2a3791cbb93a45b46ed40cb | ocaml(Ssreflect_plugin__Ssrparser) |
| = c0673d4b90ef445ee20b5ae714eb5517 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = a94e7c266a7691e87b41093cc36ac4ae | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = ee60bc5e1a384c959b2d04b4ea6b3296 | ocaml(Ssreflect_plugin__Ssrvernac) |
| = 77c8815cedf7167ec319e5ff21e1fa81 | ocaml(Ssreflect_plugin__Ssrview) |
| = c3e1af22ac2aa8657b01523f06b2d5e9 | ocaml(Ssrmatching_plugin) |
| = 0d321e02e50644ef5eb6303576045830 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 668a23919be6745b246370aecd65f2cc | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 9919abd709603092de7b5aa43fa0e8ff | ocaml(Stdarg) |
| = e9771057e3147fe83744d71535a360c6 | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 349c9a69e789e6bd020acecb69ee10be | ocaml(Structures) |
| = d6a8dcb20483df9e8e3c73cbdee5b45f | ocaml(Subtyping) |
| = c563d6bd180e6b78f0f0ca461607f4bd | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = f589b85b22b5f00627cf4d9f6681e407 | ocaml(Tacmach) |
| = 1bcf5d6b2d87bb2d7696492a83cd30ea | ocaml(Tacred) |
| = 87cde9a3ed05f21524a5e0190cfd0bb7 | ocaml(Tacticals) |
| = 34eb6eacaec827fb614cac476b2bafa9 | ocaml(Tactics) |
| = b9e19e5a5f9b5b90dd92fc062230a5cb | ocaml(Tactypes) |
| = aa8f4685317ce8dff797fb032be373f3 | ocaml(Tauto_plugin) |
| = 349c1525b6f814ab8fa0af79099ba65b | ocaml(Tauto_plugin__Tauto) |
| = c1500a859572f47c5adeb740fbcebf6b | ocaml(Term) |
| = d122216f951f7e463242ade7ce397ab5 | ocaml(Term_dnet) |
| = 99f9b52aa6e2484189d2e8df6b349e8e | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = ca7a782d91f103df7414424beacad2e6 | ocaml(Termops) |
| = d7f575ffa78825bb266417e4b337bcdb | ocaml(Tok) |
| = 56f2d8bb0d193f24f48315c6f79a80a2 | ocaml(Top_printers) |
| = 9bd1f1603123496f4fab7218e670d476 | ocaml(Topfmt) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = dbaec1601de88187931d58b1545e2bc7 | ocaml(Trie) |
| = 812cf3340836e621be63fa9aa920f56c | ocaml(Tuto0_plugin) |
| = 3f1b217a49ed2f0273a81b19da082891 | ocaml(Tuto0_plugin__G_tuto0) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 9cb6b709539dbad0cbe61a556c4bbd59 | ocaml(Tuto1_plugin) |
| = 58094dcfcc10cdeec52578fef301f327 | ocaml(Tuto1_plugin__G_tuto1) |
| = 9f92f909f667ba2f13875ff30e150cf3 | ocaml(Tuto1_plugin__Inspector) |
| = 13267d5660158f59c566c74059f967fa | ocaml(Tuto1_plugin__Simple_check) |
| = a268bc8964d4db75e3cae5cc1981b7f0 | ocaml(Tuto1_plugin__Simple_declare) |
| = bef62b8d37aa21dd32ec1a82174483a6 | ocaml(Tuto1_plugin__Simple_print) |
| = 117dad8dfb3fbf1d4f7967854193338f | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = 73d6fd2ad4dde2ad26a79654cac26d40 | ocaml(Tuto2_plugin__G_tuto2) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 0c73a52fe51cfe8d55f24c9edcd2421d | ocaml(Tuto3_plugin) |
| = d7a881140435372c64e3efa917b9cf6b | ocaml(Tuto3_plugin__Construction_game) |
| = f6bc20d3b2a1cd7cbcb8cbf00c546e3c | ocaml(Tuto3_plugin__G_tuto3) |
| = c067205f4e2a065d2434ef90fdd94a4e | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 0c0828c2a9ff92cc716465e0013a0769 | ocaml(Type_errors) |
| = c82cf14a959ab2a132030ef8b5b5bb4c | ocaml(Typeclasses) |
| = 91fcea315f9e707674cdae735a2c33cc | ocaml(Typeclasses_errors) |
| = 44ed108471c7a7400a5fcc850ba1e0be | ocaml(Typeops) |
| = 696857366a11b930eea9840e47c39d4e | ocaml(Typing) |
| = bd28bddd5c33ca5c1a5f9f43f907e5da | ocaml(UGraph) |
| = 3ec987d0c982616ff943f71f05e2c111 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 3e22c9e8fc6924cded99cdc50b4dde0b | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = bb08182b91ec85ec72551ce13bfed01f | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = 6feb5ec642e4daf30a0944e888214cea | ocaml(Univ) |
| = c08393c720001d4601ab69c764edae38 | ocaml(UnivGen) |
| = a14b8f2bfb556a067a30c7c3edf09375 | ocaml(UnivMinim) |
| = 9f0af4e2cd7c9a6a04f181684ebd75df | ocaml(UnivNames) |
| = 0bf19edcf4c9ada1dd5cdb51d579b1fc | ocaml(UnivProblem) |
| = 2c793a58009dea74a325c5082597d844 | ocaml(UnivSubst) |
| = 46a1f0249bfbf29202e10de25200d4ea | ocaml(Util) |
| = 73a674179608a349a8f3d001ee037f1d | ocaml(Vars) |
| = 7cee5a6c0faacb4e9ebf86fb667ad05e | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 43ddad20b726927bcb491b9dad99dfee | ocaml(Vernac) |
| = c52eee082c33aa6b03c24069065d6b43 | ocaml(Vernac_classifier) |
| = ddcaab825bd3b96146a0d4b0ad10fd37 | ocaml(Vernacentries) |
| = 31bf27dcb0e938a20d1797f40b7144ae | ocaml(Vernacexpr) |
| = b507ea2d1a0f49d7fb3939c2f335eebe | ocaml(Vernacextend) |
| = dae6e02ea3bae9b78083a74bd7388512 | ocaml(Vernacinterp) |
| = 9b0ca758b7fe1839325d927a5994eebb | ocaml(Vernacprop) |
| = 365874fe1588a2549b04049dea924707 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = f75880ed7df49928430f842fc3ba82ae | ocaml(Vm) |
| = 88733f1084158f9273bb318495213675 | ocaml(Vmbytecodes) |
| = 76fa264acca66b07c1485aeec8bd1117 | ocaml(Vmbytegen) |
| = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 | ocaml(Vmemitcodes) |
| = 9a79aee1037366c0f07196ba545e75f5 | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = bd114711d566fec5fadf3e8314768f6b | ocaml(Vmsymtable) |
| = 6cfd8f0d13168b127ebed3d4375b15c3 | ocaml(Vmvalues) |
| = bd874b0b0dce77d32e4d24ddb2379d1c | ocaml(Vnorm) |
| = ea846ec7f2e66cbc8acf115cc9dea909 | ocaml(WorkerLoop) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = 61512478af51fb18cb17e36ae0122e4b | ocaml(Zify_plugin) |
| = e123953b94a927241402faa568d57b31 | ocaml(Zify_plugin__G_zify) |
| = c0c1d4967746ed66dfb1a7d6dd2730c9 | ocaml(Zify_plugin__Zify) |
| = 1223feba5b976cf949200516258b0852 | ocamlx(Abbreviation) |
| = d94895fc6ba1c47966c3f28ec9790190 | ocamlx(Abstract) |
| = 1b145085ae1fd3f258493f2137a3e6c5 | ocamlx(AcyclicGraph) |
| = 7a06c329e67f19ebc109075a7eec1738 | ocamlx(Arguments_renaming) |
| = ae0e8446c9ed3cfa11b45e5d4b804d13 | ocamlx(Assumptions) |
| = 871fd95543665183fc91af3160782ec3 | ocamlx(AsyncTaskQueue) |
| = 452fba1383fbb4504a652bf8e1f5f2f9 | ocamlx(Attributes) |
| = 5cfc08ee47bb078dfb856d8acf0b4940 | ocamlx(Auto) |
| = 96a44544f1ee571bcdf04056f479fbef | ocamlx(Auto_ind_decl) |
| = ee1bb42f5dae813fcff67337ba0a4c50 | ocamlx(Autorewrite) |
| = f834fd3a997336b4bfb0a4f2e18dd824 | ocamlx(Aux_file) |
| = bc1d5fdc1e51ac3821e54c2aca07ba9f | ocamlx(Boot) |
| = 7c9c856bbcd7295ead7b9b652f0a69f0 | ocamlx(Boot__Env) |
| = 832576dfe2653aeced0df3ccf916b552 | ocamlx(Boot__Path) |
| = 07ce9c1cd0e9bf51a6f48abd44374904 | ocamlx(Boot__Usage) |
| = 5b1794f3ef993860ef8127683edb9e63 | ocamlx(Boot__Util) |
| = 341420e31c0382d9f68dcca9cf6866ee | ocamlx(Btauto_plugin) |
| = fef7411b24c8f4cb45541f40fd4aedd9 | ocamlx(Btauto_plugin__G_btauto) |
| = 21a7e1178d9768628d6dfa07714f5e4f | ocamlx(Btauto_plugin__Refl_btauto) |
| = e6005db177a7723362ca73c890524346 | ocamlx(Btermdn) |
| = 6bdacb19708dd8151c28e7c5ed7dcf63 | ocamlx(CArray) |
| = 0af0809605ac2603838a903572ae6506 | ocamlx(CAst) |
| = fefbab178eb6907301d77159ad8b053d | ocamlx(CClosure) |
| = eca8cf4a11adccbd1bb0c24bbad60228 | ocamlx(CDebug) |
| = 1937a568693350c13ffb13c56320461d | ocamlx(CEphemeron) |
| = 4341153e218f709bffcc77aed577f4d0 | ocamlx(CErrors) |
| = e39df2a3e156ab6b4ab823288efc4b85 | ocamlx(CLexer) |
| = 60f71f67a51e93007083f2dec76aef17 | ocamlx(CList) |
| = 0426e328047a42191d2412ab7f77ed15 | ocamlx(CMap) |
| = 6e6ac1878d614429ff8a0738fd6ce516 | ocamlx(CObj) |
| = 8ede82ac5f8aa6e21be1bb80e177090d | ocamlx(CPrimitives) |
| = 5c3516ef610cf9875a5d68cfd26a8421 | ocamlx(CProfile) |
| = 79babf07129194b39ae7c90cef75a6fc | ocamlx(CSet) |
| = 8ec3d7e1080b998558714b40453f4be7 | ocamlx(CString) |
| = ed505774fd414da049b9d510c56bc5cb | ocamlx(CThread) |
| = 741acea2ee4b959013ea654e0871dba6 | ocamlx(CUnix) |
| = 738a94694d455d1c3b19693175673325 | ocamlx(CWarnings) |
| = 16e4512b33345b4d705461eddc9c765a | ocamlx(Canonical) |
| = 28c638aa9584597643ac47b6650c174d | ocamlx(Cases) |
| = edd6dbf7b180721fc2b0396c621ab49a | ocamlx(Cbn) |
| = ddb8bfa8dd3e385e7b1a00a3a62a6eff | ocamlx(Cbv) |
| = 2f23cf69bae81a2ebb250c91ad9cc184 | ocamlx(Cc_plugin) |
| = 3a95cb00ea5471d129206d1c44a3f24b | ocamlx(Cc_plugin__Ccalgo) |
| = 04d8d57ac70e4e69669e6fbba638428c | ocamlx(Cc_plugin__Ccproof) |
| = 9651835d3c95acc65316e0ae11242e68 | ocamlx(Cc_plugin__Cctac) |
| = baf58eb55bf01ba3ed2803a17ff8043b | ocamlx(Cc_plugin__G_congruence) |
| = 3be9f91d740d134274c940d6f6ae082d | ocamlx(Ccompile) |
| = cc9832048515d070b91b37be87f42292 | ocamlx(Class_tactics) |
| = 89bf6b8759033297f779629858658b8c | ocamlx(Classes) |
| = 5e4c1b281ac02451048b2f20dc71bd8c | ocamlx(Clenv) |
| = c8f6cebd0472f9ecd45a026efc41b12e | ocamlx(Coercion) |
| = 8906c47f050c52fc7f2f49b672333f82 | ocamlx(Coercionops) |
| = c086f34f7b92975254e371dc4fdb0622 | ocamlx(ComArguments) |
| = 3e4b77937bba20d1c8fedda87800ddc8 | ocamlx(ComAssumption) |
| = 2543f5743552b003384f7113e216c7c3 | ocamlx(ComCoercion) |
| = 373161ca4272739f001d9be0ee01d0c7 | ocamlx(ComDefinition) |
| = d89fed1e8170f5b0dcaaad2bada76fb0 | ocamlx(ComExtraDeps) |
| = 6aa5366423dd6a6fb989b6650e42cfb6 | ocamlx(ComFixpoint) |
| = 9d286d437e8633137dea5e4736df57a2 | ocamlx(ComHints) |
| = 2cf2351ca676e0433d8e02d073a281d7 | ocamlx(ComInductive) |
| = be8a8eba10ce7a365a133f6048f44be9 | ocamlx(ComPrimitive) |
| = 4256741a49450e6e18db909807cfa09e | ocamlx(ComProgramFixpoint) |
| = 3bdc610d5018b961670f067f2abe350f | ocamlx(ComSearch) |
| = 562d6fe6bd32ee3d3d4ecd403857f9a2 | ocamlx(ComTactic) |
| = b119ab65c6d6ac282c68078d00450953 | ocamlx(Constr) |
| = 3a9db0d7c5f7f19e12ae08d8dfae24c5 | ocamlx(Constr_matching) |
| = aa00de2e5373d8edbd776f3ac136f80f | ocamlx(Constrexpr) |
| = ca0d1e97456160399c718361c3d0a6ff | ocamlx(Constrexpr_ops) |
| = be4ccb9e5b79c7846ff994711e60836f | ocamlx(Constrextern) |
| = 91b2af5cbb90c5f80488e17eb4867d35 | ocamlx(Constrintern) |
| = 1cd375b28580e61bfae80d0806f34f54 | ocamlx(Context) |
| = a66a53e1f2b506c4eda220b3e8904f5f | ocamlx(Contradiction) |
| = e876c640b35410d1e0fd4a3cdda75c99 | ocamlx(Control) |
| = 4932872ce37f33efc17383f9a7b325f5 | ocamlx(Conv_oracle) |
| = 12f7e7e96907c7024d8742089ad3f067 | ocamlx(Cooking) |
| = c849cc0e39b186f2f5d627d7f296a735 | ocamlx(CoqProject_file) |
| = ac59cff8636ca6c0f7dd589547508ced | ocamlx(Coq_config) |
| = 0d6363b9a3227e972793dacfc63d0833 | ocamlx(Coqargs) |
| = 7cde330a0bf6afb094dee26ff1c0ba96 | ocamlx(Coqc) |
| = 2dbac5bd789a6c7338a46e0934112682 | ocamlx(Coqcargs) |
| = 205b9ca12d3a3da9dc4ee3e464ed8c88 | ocamlx(Coqinit) |
| = 71b9696ade100c638a8b80f79d609da1 | ocamlx(Coqlib) |
| = 92d5a40a1e0bb43b1adb25eb0da070ec | ocamlx(Coqloadpath) |
| = 5de7cee168b8e28a8e9e133496e16aca | ocamlx(Coqloop) |
| = 8ef33c4ea20ad2cbe2e2004740308d68 | ocamlx(Coqrc) |
| = ec0dd3dfefdd99d69f5da2c44ef655f3 | ocamlx(Coqrun) |
| = f13e79ef238a51ffaab636682c93d02b | ocamlx(Coqtop) |
| = 287e2b7f7497ac0bcffdd9d34ff6d783 | ocamlx(CoqworkmgrApi) |
| = d00b8e4cc73d9a30dafcd47f7dff0b88 | ocamlx(Core_plugins_findlib_compat) |
| = ba88c3803ac5bdb94ad0f583184a29ac | ocamlx(DAst) |
| = b5a1074f90c7f945b87b0ec72068b1b5 | ocamlx(Dag) |
| = 785da4532ffe3524ce71a17022a63610 | ocamlx(DebugHook) |
| = 39e40de00af99b73bae9a29e579954f0 | ocamlx(Declarations) |
| = 061bf4a2b903b44c8bd6d73da81c983d | ocamlx(Declare) |
| = 02f4d266c4d3dfd8da98ff7468c9bd96 | ocamlx(DeclareInd) |
| = 16d3f95a656e4bcf0d3434a7c3518670 | ocamlx(DeclareScheme) |
| = ce4b0cdf637881091a197bf10337cdd5 | ocamlx(DeclareUctx) |
| = 4d2580ccdc1731c72307d0ceb24aee6d | ocamlx(DeclareUniv) |
| = 571c4a2173a567f0777d02107351c8a2 | ocamlx(Declaremods) |
| = 9848102cf53c60bd96c21a393a40c08d | ocamlx(Declareops) |
| = aaa55c50f0d28c4ef3a7c4d1e77fc59c | ocamlx(Decls) |
| = 1bda1746533bdd72657c24029481a244 | ocamlx(Deprecation) |
| = 4bfed4f9c4227d7e97f0f9359969e727 | ocamlx(Derive_plugin) |
| = ffb444975f997fe85335b396239307e9 | ocamlx(Derive_plugin__Derive) |
| = 85dbab06609648e671fe6e4cd6d361e2 | ocamlx(Derive_plugin__G_derive) |
| = 2ff9de114aecaeaee7655fd4b3a2e2e7 | ocamlx(Detyping) |
| = 9e863c7141ed3283a737857120311b7f | ocamlx(Diff2) |
| = 788115664e2352641f81514c140087f8 | ocamlx(Discharge) |
| = 8519c4c234269790502654ae85517c56 | ocamlx(Dn) |
| = 8b79514f8dcfcf2550a7d3fd9cd17d57 | ocamlx(Dnet) |
| = 4ee7bb1c80be80a9dc3caea6eb5471cf | ocamlx(Dumpglob) |
| = c6577d2f700efa858e4723700885fd6c | ocamlx(Dyn) |
| = 9bc524ebed89813ce40256189ab8176c | ocamlx(EConstr) |
| = 5b339b0f83a801a9d0b56cc6da79c79c | ocamlx(Eauto) |
| = feb1be3073e8854bcfcd13411f10be7d | ocamlx(Egramcoq) |
| = 9823f51b2fa3f61a2245ab0d082b9942 | ocamlx(Egramml) |
| = f26039d5022761546765ca86dd1c1dec | ocamlx(Elim) |
| = a83a7b0c0d095046222a00ec2b7b6f20 | ocamlx(Elimschemes) |
| = 0887416829876b850c4c87ae06589d89 | ocamlx(Entries) |
| = 9490ccdd2bdc086fcf4ce5752838cd74 | ocamlx(Envars) |
| = 46231b11b042bc51c2ba556bb8a2ede8 | ocamlx(Environ) |
| = 2ace75c7fab93ad3f5c2e0158f581fe5 | ocamlx(Eqdecide) |
| = 8841a66c9b7c71b5625a2268de1d1f64 | ocamlx(Eqschemes) |
| = 842b40a08da7aa915036f19b691373a7 | ocamlx(Equality) |
| = cb6d1020132cc85838e2889bdae99670 | ocamlx(Esubst) |
| = 1227c60ca522a44fa1ab1d554f0e9ed9 | ocamlx(Evar) |
| = 81a0912d8d0276183ea532585281d24a | ocamlx(Evar_kinds) |
| = 4d9b443147db34b53326930ad3f1ad94 | ocamlx(Evar_refiner) |
| = 6f52eac810cf8f7988829a88c0a60b13 | ocamlx(Evarconv) |
| = 909c0177b620c9b56c913629eb79c7cc | ocamlx(Evardefine) |
| = 271485f6b6b801f451f5ebd369d06932 | ocamlx(Evarsolve) |
| = 91e10a499179511f84f3d01a9b3a4766 | ocamlx(Evarutil) |
| = f668bdb90c401f131defc978b1803096 | ocamlx(Evd) |
| = a3073e2f4c98838abc11a00c37e29271 | ocamlx(Exninfo) |
| = 9438601f85cb4195721008d16fefb8d7 | ocamlx(Extend) |
| = 6fcff5b02a9436ef0b637c2d29e353c1 | ocamlx(Extraction_plugin) |
| = f3693f07546e1aae3d4d5e54bb29d5ca | ocamlx(Extraction_plugin__Common) |
| = ab2369de5c52afde9b6e6b456be17a03 | ocamlx(Extraction_plugin__Extract_env) |
| = 9621853f90364482125dbb98c431d45f | ocamlx(Extraction_plugin__Extraction) |
| = dc26bb8b2e7f991c505daa1aeff27667 | ocamlx(Extraction_plugin__G_extraction) |
| = 0884348ae3ff4c8a6b996ad3190d86ef | ocamlx(Extraction_plugin__Haskell) |
| = 85a0a6abbecac19d457ea46306b1085e | ocamlx(Extraction_plugin__Json) |
| = 0ca8140a1eefd7d3fa66aa758eee9d15 | ocamlx(Extraction_plugin__Miniml) |
| = 9170f0892cfa4ed5aa7b848b7ea56d7e | ocamlx(Extraction_plugin__Mlutil) |
| = e30a53141503ddaba4968b2ff5e6692b | ocamlx(Extraction_plugin__Modutil) |
| = 3a38141f38580c83544240f18377d3de | ocamlx(Extraction_plugin__Ocaml) |
| = 62726b36f35849438c30dd43266979f2 | ocamlx(Extraction_plugin__Scheme) |
| = ae18adcc0385ffdfdf9128af327280e4 | ocamlx(Extraction_plugin__Table) |
| = 2d99d2b73a186e4b47e7ca1f397918d9 | ocamlx(Feedback) |
| = 241cdc2677d55e2da71ecaf01eeae947 | ocamlx(Find_subterm) |
| = f846c99dbaa260cbe0e19175997ef3d1 | ocamlx(Firstorder_plugin) |
| = b0684cffd109c0562057bd50f1a453c3 | ocamlx(Firstorder_plugin__Formula) |
| = 9d5ecbe48d9c33177fa89b9461134026 | ocamlx(Firstorder_plugin__G_ground) |
| = 0a9e4e8e2175206f46b179b6e8967cc3 | ocamlx(Firstorder_plugin__Ground) |
| = ced4823a1963b763600213275c308af2 | ocamlx(Firstorder_plugin__Instances) |
| = 382f0d79f369e87e886123379ef3087a | ocamlx(Firstorder_plugin__Rules) |
| = ca455db194e2361e06642d71065ce699 | ocamlx(Firstorder_plugin__Sequent) |
| = 6675fa840662fa1e42d89b8859325441 | ocamlx(Firstorder_plugin__Unify) |
| = ca658325926313e0d426fff2b2033664 | ocamlx(Flags) |
| = b8fb97b58846eb9e7f689bc3498ff5dd | ocamlx(Float64) |
| = b5d2d56d91068a27beb0fedd1ea5d81d | ocamlx(Float64_common) |
| = bddcae797b75a5096b3240b3ca86b587 | ocamlx(Ftactic) |
| = 5dd7066c0be80e4ff9bda91f46d9e967 | ocamlx(Funind_plugin) |
| = 927baed39308b16bfa7e8faed5a14a54 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 6843bb92fc89d7e0f65e44469e4192c4 | ocamlx(Funind_plugin__Functional_principles_types) |
| = ce3209d2b7768139d43e5828ecae427b | ocamlx(Funind_plugin__G_indfun) |
| = 350aa95085d9657b3aeafc02ebdb838f | ocamlx(Funind_plugin__Gen_principle) |
| = 1772ccaa3e20035039b004dc76499d44 | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = 9818b6f15a0f54901715a32c0aa9654a | ocamlx(Funind_plugin__Glob_termops) |
| = 8cb2d2546d4cb96a954ca6eb95cc3dcb | ocamlx(Funind_plugin__Indfun) |
| = c7471f03258a5c9659f4f2280fca24a3 | ocamlx(Funind_plugin__Indfun_common) |
| = b68eefc5b6af9c9981b22e911bc3b16f | ocamlx(Funind_plugin__Invfun) |
| = dc8c9c5b42b783da98da42209d223d56 | ocamlx(Funind_plugin__Recdef) |
| = c22e5da42e10e34daadd1e90039e114d | ocamlx(Future) |
| = 109732fb3e6b218f8ef8bccd89b3a21b | ocamlx(G_constr) |
| = d19bc5cac83fc12d0b4fe034f4d6d3dc | ocamlx(G_prim) |
| = 831c21562fc4683b33b4183f4bad20da | ocamlx(G_proofs) |
| = 8ad7c2d9083a06b36d190828213bc0cb | ocamlx(G_toplevel) |
| = 00913348cfe81678d292c485fa2f391a | ocamlx(G_vernac) |
| = 5c51cbeb295b1eade09ff8292cd191aa | ocamlx(Genarg) |
| = b81577b16c46259d6a45e4f562f8fc2b | ocamlx(Genintern) |
| = 8d02dd06bd079e971460e62420053d06 | ocamlx(Geninterp) |
| = 826f6af0443fc3502b4c81abddd54bd3 | ocamlx(Genprint) |
| = eb53cf73eb501a2450759db4386ed970 | ocamlx(Genredexpr) |
| = 74b24605b348d7f32ed21af6af9d279d | ocamlx(GlobEnv) |
| = 7fd815600078b6447d2fa9b8e4ccafc3 | ocamlx(Glob_ops) |
| = 351593dbf8f471177120577f3ad936c8 | ocamlx(Glob_term) |
| = e9ba3e48a5dd0d73af77e34492334edd | ocamlx(Global) |
| = 105a8bec89ded5d2c3ce72bfdcddfbb4 | ocamlx(Globnames) |
| = aa9ac226767eac8209791241485faaa4 | ocamlx(Goal) |
| = d617069b032fa136b718a334da1026b3 | ocamlx(Goal_select) |
| = 79c5d4529bbdd2fee52697b31d650278 | ocamlx(Goptions) |
| = 7c7f7e5e486fb70585b3002c1a477e8c | ocamlx(Gramlib) |
| = 55067521d0e2673f0d7697c559f2d2ff | ocamlx(Gramlib__Gramext) |
| = a64d92f94b0644e3b31a457d0bb233c5 | ocamlx(Gramlib__Grammar) |
| = 9a5f326928d422ce8c14e71f8defaea7 | ocamlx(Gramlib__Plexing) |
| = 7e56918c7e239b980efcc2026a1fc70d | ocamlx(HMap) |
| = 5670e182b8a5780aebadb15d1bfe74db | ocamlx(Hashcons) |
| = f142780e50e95c73e9f8c5abe88a9b3c | ocamlx(Hashset) |
| = 9c31ed55f8923fc7b7690083ac8fa87a | ocamlx(Heads) |
| = 5a6a359577c07c6606ca9d5394f6f5f3 | ocamlx(Heap) |
| = 97ff88b7b1908bc5787508000294d74f | ocamlx(Himsg) |
| = 1dc5a9082e51fb8caf674f8b3c082635 | ocamlx(Hints) |
| = 2b6a2a1f82d3611afd7cb26bf8245605 | ocamlx(Hipattern) |
| = d4e25697a8559b3b429ed9144790abc9 | ocamlx(Hook) |
| = 6f509739c7a71eeb374f65b9d4fc92d9 | ocamlx(IStream) |
| = 75b1ac36e35d8cd191707deaaef73299 | ocamlx(Impargs) |
| = f767ecc7829a684ba1f99f3774732d48 | ocamlx(Implicit_quantifiers) |
| = b321253a2d2d2b2b425d6c71ad23835c | ocamlx(IndTyping) |
| = 2262f41042700459ebb25eb3acda53c0 | ocamlx(Ind_tables) |
| = 0576f0e3473412235410cb246ee935de | ocamlx(Indrec) |
| = eee623afdad3e2748be0fa429b1bd6f4 | ocamlx(Indschemes) |
| = a75e95d554332d25769db01dc940cf96 | ocamlx(Indtypes) |
| = c9c453349d065117a48156f84ac4b851 | ocamlx(Inductive) |
| = e46e6d8bcab7c4ff5e61607067ffe39e | ocamlx(Inductiveops) |
| = ec38441e2fbc1541226de7f8dd9c09a9 | ocamlx(InferCumulativity) |
| = de40f21491f0756de1969c02c6ac509c | ocamlx(Int) |
| = 081ba5fd36274e72c867476d5d6aa9c3 | ocamlx(Inv) |
| = ca99255b37009f9413046c551e662560 | ocamlx(Keys) |
| = 51b0d992887042ce590047105322bbbd | ocamlx(LStream) |
| = 7eb80d812fadee19cc4e6c2a13254fc2 | ocamlx(Lib) |
| = 8eb47c65e7f6d2a61f366442ad262f0f | ocamlx(Libnames) |
| = 42de951db4f5999552a12af15647905a | ocamlx(Libobject) |
| = a3dccb9097f7fd6fc9648f144e476f4e | ocamlx(Library) |
| = 47ef6e24a3ee8c7ef7cf5c8b345a7d5b | ocamlx(Loadpath) |
| = 632b023d30c7af7d96fbc4c82226adce | ocamlx(Loc) |
| = 5688145bce4f7aee0b30b92a7e991dbd | ocamlx(Locality) |
| = 59b627beadab0b4956920e4e1fd824f3 | ocamlx(Locus) |
| = 3472ad778d272a66b6a0f79da86fbe43 | ocamlx(Locusops) |
| = a3a14da5b3e856da735ebdf01db9a510 | ocamlx(Logic) |
| = e1cd48a66253f1aa5b17285ced1416ce | ocamlx(Logic_monad) |
| = 6edff32a03b33e9a8ba621fd9d33f753 | ocamlx(Ltac2_plugin) |
| = 4690d7d140f8b98777fc220c524ad603 | ocamlx(Ltac2_plugin__G_ltac2) |
| = 2dfa0aa317b1cead8c196fdd9510ec49 | ocamlx(Ltac2_plugin__Tac2core) |
| = 1ac32ddedcdf5edbecee2ed0f35d7000 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = b59ef03939c49e03e31575c35a6787a9 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 4c5fc5e417f45306a3b3097f75030989 | ocamlx(Ltac2_plugin__Tac2env) |
| = 7d1143269d54d5b866828bf3b6ada67f | ocamlx(Ltac2_plugin__Tac2extffi) |
| = f42f29dccf1292bcf018118d52f8ccf5 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = fa07860c9dcdb5b6cfe0f5f45630b109 | ocamlx(Ltac2_plugin__Tac2intern) |
| = 493d59e7319cb4ce40d5e6d9ea0a270a | ocamlx(Ltac2_plugin__Tac2interp) |
| = f3e3f4d5c16c91f70d79b9cb2e75109f | ocamlx(Ltac2_plugin__Tac2match) |
| = 3c39d98c8d2b7cb391bd4a484dda79d7 | ocamlx(Ltac2_plugin__Tac2print) |
| = 683a10996fe022298dc0cf5ecb54fd61 | ocamlx(Ltac2_plugin__Tac2quote) |
| = e2b56e71db21e0f8f1372d2f73d75ea4 | ocamlx(Ltac2_plugin__Tac2stdlib) |
| = 8e6453d0da875a5512884de01d4d1f53 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 54a52168ddd14ccb2e7bac9d5656ea65 | ocamlx(Ltac_plugin) |
| = 72f472896cbe3c54549af0f7555b2db3 | ocamlx(Ltac_plugin__ComRewrite) |
| = 30968b6e34fff0d03ca1cc080c42ae86 | ocamlx(Ltac_plugin__Coretactics) |
| = 48bc18dc537b64189ceca9fe4757bcec | ocamlx(Ltac_plugin__Evar_tactics) |
| = 918bd965ff1cae728f5dcc9350d2ed0e | ocamlx(Ltac_plugin__Extraargs) |
| = f55501f54656ea604f754b91aca3dcde | ocamlx(Ltac_plugin__Extratactics) |
| = db96794597859c85b7034f0763b67927 | ocamlx(Ltac_plugin__G_auto) |
| = 3bdeed2c62de0ab01872527d4ed04779 | ocamlx(Ltac_plugin__G_class) |
| = 1477c08595dae339aff0182a80e033c2 | ocamlx(Ltac_plugin__G_eqdecide) |
| = 52415133d2c4f0bc303b6a57c7c4756d | ocamlx(Ltac_plugin__G_ltac) |
| = ec7d9dbb2c36f30107f536c86cd8b234 | ocamlx(Ltac_plugin__G_obligations) |
| = dad3a155b16fcf8a74840e6607ebc138 | ocamlx(Ltac_plugin__G_rewrite) |
| = 86e32d4675a8d9f790104c387d21b488 | ocamlx(Ltac_plugin__G_tactic) |
| = 971f3a539c5b86b4ae8699aef39a359a | ocamlx(Ltac_plugin__Internals) |
| = b8b779df61bd6b8d12cf9ab8729a492e | ocamlx(Ltac_plugin__Leminv) |
| = 82d5e26dac05a8228d486e10ef5e1c4d | ocamlx(Ltac_plugin__Pltac) |
| = be9caef9d6467a8eb7ce41bc2e63670f | ocamlx(Ltac_plugin__Pptactic) |
| = bca3eb26261cea981470cb13d2b78c4f | ocamlx(Ltac_plugin__Profile_ltac) |
| = 7275f1eb145ebf220de6ed9575282f67 | ocamlx(Ltac_plugin__Profile_ltac_tactics) |
| = 52fc1a50048c453886a4e84591ad5f6a | ocamlx(Ltac_plugin__Tacarg) |
| = dfbea9d264034c1d021a719ea6e6237d | ocamlx(Ltac_plugin__Taccoerce) |
| = b4e9122cfdd491f555aa9ca5e04c8f48 | ocamlx(Ltac_plugin__Tacentries) |
| = 4270c11d35b7da6097c0a2223ef776e5 | ocamlx(Ltac_plugin__Tacenv) |
| = 52a6c8eec91ce681b6704016fff476e3 | ocamlx(Ltac_plugin__Tacexpr) |
| = c2206cf2e99a23275d4b684988d7352d | ocamlx(Ltac_plugin__Tacintern) |
| = 606e883cd9eeaace4c331ce24b85e8d9 | ocamlx(Ltac_plugin__Tacinterp) |
| = 13a50a7b8e59f4f27deeef6e0cfb108f | ocamlx(Ltac_plugin__Tacsubst) |
| = 2419972711e52d7b3e2288c3a575fb36 | ocamlx(Ltac_plugin__Tactic_debug) |
| = 96fa47e70dd187ecc4d3400a4c1de9c9 | ocamlx(Ltac_plugin__Tactic_matching) |
| = 3ec797c76c4d713543a1c8cd26634318 | ocamlx(Ltac_plugin__Tactic_option) |
| = 2fdd56e76232b6e20ec8260866bcfb83 | ocamlx(Ltac_pretype) |
| = 61f1f7907c3717c4798b1b614a3d6342 | ocamlx(Metasyntax) |
| = 05d03f2585d55e86e2e179b5963eaa34 | ocamlx(Micromega_plugin) |
| = 8f5a7e853b49cfd9418f07723f894c35 | ocamlx(Micromega_plugin__Certificate) |
| = a7b2fe98d245b4720d5e1fee9baada3e | ocamlx(Micromega_plugin__Coq_micromega) |
| = 3f4db56e98c4f7f8401364460c8df181 | ocamlx(Micromega_plugin__G_micromega) |
| = d3c4012801c33647d25e30ff69bf2afd | ocamlx(Micromega_plugin__Itv) |
| = ab698873c12f201bc7d933f4338b283d | ocamlx(Micromega_plugin__Linsolve) |
| = ee28a45da5c6554d460ac0b057f82116 | ocamlx(Micromega_plugin__Micromega) |
| = 36158df78e60da5c9e31c73a197bf875 | ocamlx(Micromega_plugin__Mutils) |
| = 50707e7df9ca9e701da40e02836520ed | ocamlx(Micromega_plugin__NumCompat) |
| = c6c3707325cbc50e0908cabb40cc1e13 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 0f8923be2f33dc1c05ba954863c1eb81 | ocamlx(Micromega_plugin__Polynomial) |
| = f3ecf64b32411ad121d4cd3caa1d5298 | ocamlx(Micromega_plugin__Simplex) |
| = d324c3d40b0a9547244af5972ec2a1c7 | ocamlx(Micromega_plugin__Sos) |
| = bf5f2dd3776c85ef279d18b665c5bc76 | ocamlx(Micromega_plugin__Sos_lib) |
| = 4897991156756bffc58fb756cb6369a1 | ocamlx(Micromega_plugin__Sos_types) |
| = cf3cf0c5a4a62aa5898c186a422d13d3 | ocamlx(Micromega_plugin__Vect) |
| = 0f3e37db71ec45f83baa8f2ae0626233 | ocamlx(Miscprint) |
| = 5041a676c41c64cdbb83be68c4fb426b | ocamlx(Mltop) |
| = dc4321b11ba90b0230ab4ba3f78d6eea | ocamlx(Mod_subst) |
| = a63aacb27b3e96739873dcf4f2a39bd5 | ocamlx(Mod_typing) |
| = 600989e8383a9754b698623ca6f4bc8e | ocamlx(Modintern) |
| = 930835b677a1e9510f91a6006d378139 | ocamlx(Modops) |
| = 13e661dfe6ca8935bb5cdab606051c50 | ocamlx(Monad) |
| = 169443733554ad196d55caf179cbd0fe | ocamlx(Namegen) |
| = e4f5a51fef20c15be1fb97cc77e20e72 | ocamlx(Nameops) |
| = 6d65f832fef4e6fe7365502efae0e52e | ocamlx(Names) |
| = b262efb327e3ddd5d7497fd4865ce496 | ocamlx(Nametab) |
| = 378132e12cd0ddc62cbb443b2537e37f | ocamlx(Nativecode) |
| = 70a44a2f21912a4355bc5c2bc09a61b5 | ocamlx(Nativeconv) |
| = aec9acae8efa79ac2ec9497336bbc3cb | ocamlx(Nativelambda) |
| = 80bebe15890a3af5bae1094846eaf9cd | ocamlx(Nativelib) |
| = 9a3da422141b233a5ec4bf59f97b4671 | ocamlx(Nativelibrary) |
| = 7894bd0d92edbe1f04cf797168c01e73 | ocamlx(Nativenorm) |
| = b733ab24883fab6226ad7bb0280e587b | ocamlx(Nativevalues) |
| = 393118bbf0a3c91eba0a638198347673 | ocamlx(NeList) |
| = d2d0359d6585bcc7e2fb35414557cd5c | ocamlx(Notation) |
| = 91547a3b09dc924741c0dee2b86f0b78 | ocamlx(Notation_gram) |
| = 9fa53e32f0ac3d190e7d87831272e261 | ocamlx(Notation_ops) |
| = 97a4dcb83848a2f3ef4113795c638ff5 | ocamlx(Notation_term) |
| = 2b299329672435423f7d4817930c840d | ocamlx(Notgram_ops) |
| = 4e857bdf8e913ae9d0f035d77f052690 | ocamlx(Nsatz_plugin) |
| = b0b78c846ffaa8515f89b7aa2a5ecc36 | ocamlx(Nsatz_plugin__G_nsatz) |
| = 5af46152a2e72bcd5d5b9babc53929cf | ocamlx(Nsatz_plugin__Ideal) |
| = e54b7f8ff9801d9699d0b16423c6118d | ocamlx(Nsatz_plugin__Nsatz) |
| = 49bafebaaa762c39537469b6dc2c921c | ocamlx(Nsatz_plugin__Polynom) |
| = d1b1e9628b62893dcec1e5c89091a2ea | ocamlx(Nsatz_plugin__Utile) |
| = 6a95d1e2d43ef818cdc8eb2f6505ac1e | ocamlx(NumTok) |
| = 3e3a4c17480be0bad0664ef539d1862d | ocamlx(Number_string_notation_plugin) |
| = 2f3c6bf9a756bb139b2a60cd7c33ac2f | ocamlx(Number_string_notation_plugin__G_number_string) |
| = 3de08bcb065310ff71db7b4727548580 | ocamlx(Number_string_notation_plugin__Number) |
| = ae7fa796b8f5ba876ad9f054a3dfe64a | ocamlx(Number_string_notation_plugin__String_notation) |
| = ff2cc4137609fb5e1f4aaff8ac4dd0c1 | ocamlx(ObjFile) |
| = 07c8c167430dbe924f5d0b4d0f9efd5b | ocamlx(Opaqueproof) |
| = 1c299c59ffe76871cf734d4e3f2deffb | ocamlx(Opaques) |
| = 027e5e1bfabd879c0bafd13804c95ae3 | ocamlx(Option) |
| = 88408e848cde073b0dc2cd0c72efaea6 | ocamlx(OrderedType) |
| = 4f1caa0c66b066e538352ef1b0593165 | ocamlx(Parray) |
| = 4b3ef5c1015f7e1c66b178953d28cda1 | ocamlx(Partac) |
| = 926c85c563f5d9741ab4e2f622fa619d | ocamlx(Pattern) |
| = 2eb693f2018e2c8c2b875afafbeecb23 | ocamlx(Patternops) |
| = e86cbc9c15c9ef9e228c50e516989d64 | ocamlx(Pcoq) |
| = 212c7ff65a2927459e46698b0cf42a81 | ocamlx(Pp) |
| = 6c70fa789305214da7c34c91fadaa4e0 | ocamlx(Pp_diff) |
| = 3431d649581c47c25636932fb723f4aa | ocamlx(Ppconstr) |
| = 086c201d3085f8e655aae9d48eb3f1b1 | ocamlx(Ppextend) |
| = d595654bdf12ceb3f02080bf2bb02ab9 | ocamlx(Ppred) |
| = b25cd1415fc54bdd5c0e3cb29cfba965 | ocamlx(Pputils) |
| = e98a98b64136229d45cedddc28ffa764 | ocamlx(Ppvernac) |
| = 8d89cd4730fafcc3023c0d6ea129afa0 | ocamlx(Predicate) |
| = 2a88dcabbe9f4e873063f806891a86f6 | ocamlx(Prettyp) |
| = f4ed9f69550a327c8b44edf1dbdafd7c | ocamlx(Pretype_errors) |
| = cce07cf511c506bfea7d6a3d2a28167c | ocamlx(Pretyping) |
| = 7a5b698db068945106d543eb7f46d966 | ocamlx(Primred) |
| = 0148fc1840619315ea63da5d8a4e3406 | ocamlx(Printer) |
| = 3237636a3526fde76a70753186cbdc2d | ocamlx(Printmod) |
| = 7ab18524e309da6107ff84b38c5cecd9 | ocamlx(Program) |
| = 600a07c87e43cb83a9a63ab03b93889e | ocamlx(Proof) |
| = e5ead06a4b8913b8cda673b50f09e6a5 | ocamlx(ProofBlockDelimiter) |
| = bb4733f1524e276acbb7ae92164c5642 | ocamlx(Proof_bullet) |
| = 10825068469ebf828650a4b8c884d935 | ocamlx(Proof_diffs) |
| = 30c476e548d6d8e8e3b3b5499ca439b5 | ocamlx(Proof_using) |
| = 69bef78742812597a223c48bfebec9ea | ocamlx(Proofview) |
| = 92e69dad2532af2112db816444d3fce5 | ocamlx(Proofview_monad) |
| = 6be19941474b35361f546b31553e824f | ocamlx(Pvernac) |
| = 7e8a1d64ac7087904e3db1581c4126ca | ocamlx(Range) |
| = 2b66df854d8a46cd0206b6700573e928 | ocamlx(RecLemmas) |
| = 6894bfe6c5c9ed316f137f2820137d9a | ocamlx(Record) |
| = 83e0c42c58525d1df60955e67d155825 | ocamlx(Redexpr) |
| = ad9b9cbe7b14ec75a34eba5dfa2decd0 | ocamlx(Redops) |
| = 5d084e3c8ab97775c93d33f4dd1a8ebc | ocamlx(Reduction) |
| = 966bc391a83ce835e15122d7723fa1a4 | ocamlx(Reductionops) |
| = e8863ded5b347813e157cac01a075b30 | ocamlx(Refine) |
| = 13a55808084562771f23f8629a1d77cc | ocamlx(Relevanceops) |
| = bf66022718d5cd9ebfa2e0c3e6853ee5 | ocamlx(Reserve) |
| = ba65daa585bef11419594fb1f2f11ab7 | ocamlx(RetrieveObl) |
| = 630ff63c9797981be7dc1a009cc86b99 | ocamlx(Retroknowledge) |
| = 69a94a26345939fcd2240184fe2f0947 | ocamlx(Retyping) |
| = 0683cb6f1ad72eead0535fab3a6c4cdc | ocamlx(Rewrite) |
| = 06f75f5c463f76eff0336c58718710b5 | ocamlx(Ring_plugin) |
| = 70e6a19aa8f07b389f9556663901e8b0 | ocamlx(Ring_plugin__G_ring) |
| = ee69c752a3751ae5ba4e963605f2b866 | ocamlx(Ring_plugin__Ring) |
| = 974ee186dd9c9de97f545ffc08f6c903 | ocamlx(Ring_plugin__Ring_ast) |
| = 09de2c948f4a19da444201c7e861b6cc | ocamlx(Rtauto_plugin) |
| = 9bea778a0cb99fa8a4e51153db5bfc2e | ocamlx(Rtauto_plugin__G_rtauto) |
| = 094f0549ea9fce9b6c16af050593841d | ocamlx(Rtauto_plugin__Proof_search) |
| = 633cb4f99d31168f81d46d9f243f8cd6 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = c38ff20a258855b462120dc1c3f99115 | ocamlx(Rtree) |
| = de6b4f7676131d3ec0535961968f0f73 | ocamlx(Safe_typing) |
| = 959387fc3bb5658873e454dc6d761be9 | ocamlx(Search) |
| = 2088123609d11bc170ecb9194bac382d | ocamlx(Section) |
| = c6f5516ba5d174f67829ed9c8c8909b8 | ocamlx(Segmenttree) |
| = 168f77e3894c9cc034f0a82e03b6e144 | ocamlx(Smartlocate) |
| = 0ce21227fddce5bc8d7d2920bc34b427 | ocamlx(Sorts) |
| = 9ae20319f892563dfc4c419c057f13a5 | ocamlx(Spawn) |
| = ae76dab0dedec9c542e6035427205aed | ocamlx(Spawned) |
| = 4dec0a06a96ded3bfca5c26efa1f526c | ocamlx(Ssreflect_plugin) |
| = aa589b7a7a825559b48b96155b3ab97c | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 02388917a6003d2e3cc9cd379d55cf08 | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 3ded2ab0c71b4e03301e727cfa1c6d4d | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 6792c0583c906fa545f2d5667af75dad | ocamlx(Ssreflect_plugin__Ssrequality) |
| = fb19661d400077ff39e731a71eff8e86 | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 88bbe1ce62c463c7b5e620350c9f061f | ocamlx(Ssreflect_plugin__Ssripats) |
| = ae6db9355a246120c136bfa65379672b | ocamlx(Ssreflect_plugin__Ssrparser) |
| = 04e50576045fb3197cb443c4ba2b7c18 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 121ca194f992684aeb6f471be2af8f9f | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 2d55d51bda06a28c89cf8ba2884d4c7c | ocamlx(Ssreflect_plugin__Ssrvernac) |
| = 8dced1df7f0472a2cf0237f54b259ccc | ocamlx(Ssreflect_plugin__Ssrview) |
| = 5b76aa8a5d0de67cc96c51d3b3604ff3 | ocamlx(Ssrmatching_plugin) |
| = 2a3fc3347d9666a89fcb81ca78a1ea32 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 9e11f925d91c6674fd63e97f100642c3 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = a5bcccd428ab47b644b9f479b8c46470 | ocamlx(Stateid) |
| = f5f0f316a8f4f6156a6bc2b6241993c0 | ocamlx(Stdarg) |
| = 1b612c6dd3b668bba1a39e4d591eeb8d | ocamlx(Stm) |
| = c762e7c354a7d11614307c55c5b8592a | ocamlx(Stmargs) |
| = 4c3dcee02f6d0398b409328e37d6aa08 | ocamlx(Store) |
| = 197b975b7abeb32c37be9a253e6a3eb5 | ocamlx(Structures) |
| = 481dedf8089bbdee65a3ff3cc84e10e7 | ocamlx(Subtyping) |
| = 9e0e375c756bde3e8d018dd9f840c900 | ocamlx(Summary) |
| = b4d0c87fae067df0d461576b6c8ea0c1 | ocamlx(System) |
| = 850a611bdb0c085c085f2f371358707a | ocamlx(TQueue) |
| = dbc869096a34a67888108c307af892fb | ocamlx(Tacmach) |
| = 12e391892030b9a83975096606575c8e | ocamlx(Tacred) |
| = bdaa59b05072fdd9b4ef249f64f9d62c | ocamlx(Tacticals) |
| = de238d5d983426ce3b9a7a4533e6bbdf | ocamlx(Tactics) |
| = f06a26dec58c0e8061b6c0152834e85f | ocamlx(Tactypes) |
| = f88b82da2114b493d0deb578f8dd4ba9 | ocamlx(Tauto_plugin) |
| = 45dbcd60d080ae8b1b98ee3675c13e10 | ocamlx(Tauto_plugin__Tauto) |
| = 1e9acf6588374876f3995726740dd81c | ocamlx(Term) |
| = 670973a2a38b63ecceec7fc02a80795f | ocamlx(Term_dnet) |
| = f5bc19728d562b8d9a6db3324df333d3 | ocamlx(Term_typing) |
| = 6ff9df188b1447212303a5929ee3399b | ocamlx(Terminal) |
| = 176ba8e6bdab35afe69ad7dff95fa376 | ocamlx(Termops) |
| = 802d1f0ec96c7e40b939dab52a766e02 | ocamlx(Tok) |
| = bce7fa490b14cb36c4706a5fe8720ad0 | ocamlx(Top_printers) |
| = a556d782efc20a21143b4cdeb92ef7c4 | ocamlx(Topfmt) |
| = 177ad52390666df164ea8ebc2649d546 | ocamlx(TransparentState) |
| = a10c81b0b47cd4fddf7ef018ed0625fc | ocamlx(Trie) |
| = 421b6edf2af8dc3142bbcfb353ce80a1 | ocamlx(Tuto0_plugin) |
| = ae1ba333b5f8c7dd22f884c8898ad8a8 | ocamlx(Tuto0_plugin__G_tuto0) |
| = 835a9eb8236b2b63a134b24ce0c88c20 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 1182c5b9212dab8eeed6f04fdc2cb779 | ocamlx(Tuto1_plugin) |
| = e13f82b27455e5b2ebe9727137366d84 | ocamlx(Tuto1_plugin__G_tuto1) |
| = 114bece27d86a9ef8b97b27099366fa2 | ocamlx(Tuto1_plugin__Inspector) |
| = b2bca73a9902d9ec513db465aa78adf8 | ocamlx(Tuto1_plugin__Simple_check) |
| = d689c873c2d3b8bb6029b11c6f3b5afb | ocamlx(Tuto1_plugin__Simple_declare) |
| = b5f76fe5beb6ad15b6fafe7dee1345c5 | ocamlx(Tuto1_plugin__Simple_print) |
| = 7badc8faa38b1ee75426ee806ac46034 | ocamlx(Tuto2_plugin) |
| = 0b92159d28f9a8e079b154b05ea9d28b | ocamlx(Tuto2_plugin__Counter) |
| = 85ca865e0cfb2986a275e4530f5512f6 | ocamlx(Tuto2_plugin__Custom) |
| = d0b5c61dbfacfe8155be0abbdf1a84d0 | ocamlx(Tuto2_plugin__G_tuto2) |
| = 61937a4f8de9d79c7e27e9bf844cd8d2 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 599b2c4aa1bac417a089758f57f7415c | ocamlx(Tuto3_plugin) |
| = bb7326b2b856fd7dae5c6660fa6bfb44 | ocamlx(Tuto3_plugin__Construction_game) |
| = 17f01b81ea02a250934298c9c9d269f0 | ocamlx(Tuto3_plugin__G_tuto3) |
| = ac3b6c4d8494c7ecf64ce774af638879 | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = 859a92227b120389d337a562adcea426 | ocamlx(Type_errors) |
| = ea5cdb5fafe5e28aef7e925c5f3e3a29 | ocamlx(Typeclasses) |
| = fc764dda19e8cfb032a5db666fc046b5 | ocamlx(Typeclasses_errors) |
| = a437b1f0efe741979d74483b121980d5 | ocamlx(Typeops) |
| = e933f3c4ab2c38ec3784573a96e41dc0 | ocamlx(Typing) |
| = 49fed91813cdb104ae45e772a238cde3 | ocamlx(UGraph) |
| = cca009718359118187afcd5a00e2906d | ocamlx(UState) |
| = e6fc76ea8492684986788db02da0daac | ocamlx(Uint63) |
| = 9ca78a089131869ab02fd4cb79571f74 | ocamlx(Unicode) |
| = d05dc1e9060cef93f0794941ee25c720 | ocamlx(Unicodetable) |
| = b422efcbc7569dbc0b2b3db1676485dc | ocamlx(Unification) |
| = 09da7475766e419b156de58fb065d530 | ocamlx(Unionfind) |
| = a0cf0d9637f8b33d5d8fda7a474b4fff | ocamlx(Univ) |
| = dd9795c7cf246cb80a12cab2b3217249 | ocamlx(UnivGen) |
| = fccdd2736b52134666fbde3dd0a335e6 | ocamlx(UnivMinim) |
| = e6e23d88a9e2ff677e2e6fc2eae8d934 | ocamlx(UnivNames) |
| = 807c07934d81dff370f98b8f73879257 | ocamlx(UnivProblem) |
| = a6ef802af0bae9ec69e8a3c971f70755 | ocamlx(UnivSubst) |
| = 032bbdc002e48ac17825b9af50e929a5 | ocamlx(Util) |
| = 290e6f116c8a646cca052e16288dbba8 | ocamlx(Vars) |
| = 724aeab7ef6a7f88c69b4b264d410688 | ocamlx(Vconv) |
| = d22ec847c257b2b1b716476e23ca37ab | ocamlx(Vcs) |
| = 6c835ec37a66c004f36dd13c898d9bdd | ocamlx(Vernac) |
| = e7d6af1b116eeb45186407f4b2518f1a | ocamlx(Vernac_classifier) |
| = 8555240fa17d1a615907ac6f4d2c37c9 | ocamlx(Vernacentries) |
| = cdb2a08dbe3169be9d875a9fbbe1ced1 | ocamlx(Vernacexpr) |
| = 3bbbbc0030ee406986081477cd23c77a | ocamlx(Vernacextend) |
| = 79229dc4034c8ebba4d6d63fd97309c2 | ocamlx(Vernacinterp) |
| = f71390643b821a16e7f493b8883f21bf | ocamlx(Vernacprop) |
| = 31b491ab199752181e2de0f25cfaed35 | ocamlx(Vernacstate) |
| = aee88dc113e4c506439d13bf61d68c5d | ocamlx(Vio_checking) |
| = ba7ff834ab1add26e805f39ae3af58c8 | ocamlx(Vm) |
| = 34140d097f22bdd663e0567ec6769d08 | ocamlx(Vmbytecodes) |
| = 42aef1692598d88042a430bd44908227 | ocamlx(Vmbytegen) |
| = f969f7272a739b94a709a25c974fc79f | ocamlx(Vmemitcodes) |
| = f44fa12e69e3bbe99a0164609ae197b7 | ocamlx(Vmlambda) |
| = a98602e2d97cf24bde5fbf3b6fa097ba | ocamlx(Vmopcodes) |
| = 0f7e66d036ebab20b83b7e76a702a9c4 | ocamlx(Vmsymtable) |
| = e04f7b05dda3795e246461bc551bc0b6 | ocamlx(Vmvalues) |
| = bce65b2e1f98ea7a3aae5c54d2a99173 | ocamlx(Vnorm) |
| = 53d5106d383c5c33f52b08ee78dad47b | ocamlx(WorkerLoop) |
| = db007eccf8dcb4b71dbf4a06ae0e723b | ocamlx(WorkerPool) |
| = a92a95d724f093014026c762f910b21c | ocamlx(Zify_plugin) |
| = 45733aa07f204f3090a1fa3994297e01 | ocamlx(Zify_plugin__G_zify) |
| = 0eb850e19d0143966cac13e0bf9dd11a | ocamlx(Zify_plugin__Zify) |
نحوه نصب
نصب پکیج rpm coq-core:
dnf install coq-core-8.16.1-3.fc38.x86_64.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/coq-tex |
| /usr/bin/coq_makefile |
| /usr/bin/coqc |
| /usr/bin/coqc.byte |
| /usr/bin/coqchk |
| /usr/bin/coqdep |
| /usr/bin/coqdoc |
| /usr/bin/coqnative |
| /usr/bin/coqpp |
| /usr/bin/coqproofworker.opt |
| /usr/bin/coqqueryworker.opt |
| /usr/bin/coqtacticworker.opt |
| /usr/bin/coqtop |
| /usr/bin/coqtop.byte |
| /usr/bin/coqtop.opt |
| /usr/bin/coqwc |
| /usr/bin/coqworkmgr |
| /usr/bin/csdpcert |
| /usr/bin/ocamllibdep |
| /usr/bin/votour |
| /usr/lib/.build-id |
| /usr/lib/.build-id/00/e2e28429a65c4b1d6932416d75a9b53a7d8609 |
| /usr/lib/.build-id/01/488b89b4edbad0e318ec14efadfd98869464a6 |
| /usr/lib/.build-id/0b/2c111f0b8824b7a2cdfad2e65481444b885176 |
| /usr/lib/.build-id/0c/7203da84fcc8adec0b927bdba109484a74031c |
| /usr/lib/.build-id/10/3f080b29730ef507d04b9f7105c9a1a292c709 |
| /usr/lib/.build-id/18/7ef3d30a89193ea3cd166d80ac3107834c6545 |
| /usr/lib/.build-id/19/68080f612f1e699c09dcd824fc3d17ed54263d |
| /usr/lib/.build-id/22 |
| /usr/lib/.build-id/22/33d6509ba6508452b3718367e1c71201fefb9e |
| /usr/lib/.build-id/26/4af9da03c53066f009fda69d90fac7c52721bf |
| /usr/lib/.build-id/27/219e53c9fd4be542655c78e7a0cdcaa30b1e08 |
| /usr/lib/.build-id/28 |
| /usr/lib/.build-id/28/bddbef7ec09f150570b7000ad046c8161894f6 |
| /usr/lib/.build-id/34/f9f96a623cc497e0083eddf6c6e2fdb7fdcefa |
| /usr/lib/.build-id/3a/656c95daa4ce6843d3baa0a8b3903910843944 |
| /usr/lib/.build-id/41/ca2fe3625c9b1673a2cb6a8d068cfd5d21b0ff |
| /usr/lib/.build-id/50/690d5852b8dd833c19ed89613eabfd460326e6 |
| /usr/lib/.build-id/53/c8fa0ba6afdd2c129ada60e967a81590def40d |
| /usr/lib/.build-id/57/abdb5831c7ddb31fc1ca675bba835c2e7e4f73 |
| /usr/lib/.build-id/57/c59c7d7aaca215f1c53192210c8b8e69b0c625 |
| /usr/lib/.build-id/66/58f366bb69c08d7e3d8495c58c40b3dbbbe539 |
| /usr/lib/.build-id/6a/f4c7c4e4912dee567d88b73a77c2a6b2150d58 |
| /usr/lib/.build-id/70/ec00f570041b23c68816751d4d32fd10b8973b |
| /usr/lib/.build-id/73/9d3334607f2ed3b6688aec7937cb520f5583af |
| /usr/lib/.build-id/78/69ca405e820a93b05c88cc70677f635db85c01 |
| /usr/lib/.build-id/7b/ddc08283bb18748d1f32150061b162c2231ff6 |
| /usr/lib/.build-id/81/5d59a0302aad7df2aef0693f5a0bebb27f71fe |
| /usr/lib/.build-id/81/797a147a8772f1bcd0d266dc4f648825df58f2 |
| /usr/lib/.build-id/86/06ed188e4e4ea0cf54fb292c30915e3b08521c |
| ... and 3144 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-01-24 |
Rebuild OCaml packages for F38
|
| 2023-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
| 2022-11-26 |
Version 8.16.1
|
| 2022-10-06 |
Remove the manual, which has a non-free license (bz 2132567)
|
| 2022-09-16 |
Version 8.16.0
|
| 2022-08-15 |
Convert License tags to SPDX
|
| 2022-07-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-07-19 |
Enable documentation build with Sphinx 5+
|
| 2022-07-19 |
Remove i686 support
|
| 2022-06-20 |
Rebuild for antlr4-project 4.10.1
|
| 2022-06-19 |
Upgrade to 8.15.2
|
| 2022-03-25 |
Version 8.15.1
|
| 2022-02-28 |
Version 8.15.0
|
| 2022-02-04 |
OCaml 4.13.1 rebuild to remove package notes
|
| 2022-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
| 2021-12-27 |
Rebuild for ocaml-lablgtk3 3.1.2
|