معرفی شرکت ها
coq-core-8.16.0-1.fc37.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Core components of the coq proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 37 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | coq-core |
| نام فایل بسته | coq-core-8.16.0-1.fc37.aarch64.rpm |
| نسخه بسته | 8.16.0 |
| انتشار بسته | 1.fc37 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Sat 17 Sep 2022 02 |
| هاست سازنده | buildhw-a64-19.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 162M |
| حجم نصب | 559.883M |
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.0-1.fc37.x86_64.rpm | 8.16.0 | x86_64 | Fedora Everything |
| coq-core-8.16.1-1.fc37.aarch64.rpm | 8.16.1 | aarch64 | Fedora Everything |
| coq-core-8.16.1-1.fc37.x86_64.rpm | 8.16.1 | x86_64 | Fedora Everything |
| coq-core-debuginfo-8.16.0-1.fc37.aarch64.rpm | 8.16.0 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.16.0-1.fc37.x86_64.rpm | 8.16.0 | x86_64 | Fedora Everything |
| coq-core-debuginfo-8.16.1-1.fc37.aarch64.rpm | 8.16.1 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.16.1-1.fc37.x86_64.rpm | 8.16.1 | x86_64 | Fedora Everything |
نیازمندی
| مقدار | نام |
|---|---|
| - | /usr/bin/ocamlrun |
| - | /usr/bin/python3 |
| = 8.16.0-1.fc37 | coq(aarch-64) |
| - | ld-linux-aarch64.so.1()(64bit) |
| - | ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) |
| - | libc.so.6()(64bit) |
| - | libc.so.6(GLIBC_2.17)(64bit) |
| - | libc.so.6(GLIBC_2.28)(64bit) |
| - | libc.so.6(GLIBC_2.32)(64bit) |
| - | libc.so.6(GLIBC_2.33)(64bit) |
| - | libc.so.6(GLIBC_2.34)(64bit) |
| - | libgmp.so.10()(64bit) |
| - | libm.so.6()(64bit) |
| - | libm.so.6(GLIBC_2.17)(64bit) |
| - | libm.so.6(GLIBC_2.29)(64bit) |
| - | libm.so.6(GLIBC_2.35)(64bit) |
| = 420597dafb0412b0906625f65b7b43f3 | ocaml(Abbreviation) |
| = 972a6adc1672c1380e598345e9bdd66a | ocaml(Abstract) |
| = 00edc3e526b6239e9ad4c9319eaaabd5 | ocaml(AcyclicGraph) |
| = 8d780748135c7ad38292a7b3ac0f53a4 | ocaml(Arguments_renaming) |
| = df89cf26bc6d8d05b99e08a9244c612a | ocaml(Assumptions) |
| = 8659dacb0d81bcd9fbe6e6ecd05f72c0 | ocaml(AsyncTaskQueue) |
| = 9c8311d65744ff7d706db174690b46c8 | ocaml(Attributes) |
| = 18ee6df02843f71d3f910a73cc86f876 | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = f8bc48db857f8ac735085dc8aa83010e | ocaml(Autorewrite) |
| = 4e5dbc641f72c02043546e93c1ea2f6f | ocaml(Aux_file) |
| = f98827dcd70d54140f3afa5af18218b1 | ocaml(Big_int_Z) |
| = e8ae4f4bfba05286227b34e54f139ccb | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = fab86dce490de64d33c82242f0ebfc65 | ocaml(Boot__Util) |
| = 36b0a49258d4c9aec546d39f1208f6f8 | 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) |
| = f94cad302b97664378d2d97f989a1a60 | 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) |
| = 4a15203be310f2c59b0ef22c8d29618a | ocaml(Coqargs) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = 2c95a5e907cb1568e1a7c1a9d070b1aa | ocaml(Coqlib) |
| = 13f0d13762fd2ca207fa68f6be4f41fe | 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) |
| = 1ac090651dbd6f2d853bcd927bb44edc | 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) |
| = 7d494cc7ed3b38f849f2a9ed1fd9f89e | 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) |
| = 6267beb6dfa150a45646ad9c19f3d503 | 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) |
| = 477b04cef03af8ba71ed700bbaf00199 | 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) |
| = 49f2ec40e5ddfef8a1c60e6a72123dd8 | 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) |
| = 1c590b83f1dc869d713b2eb2d309fbd9 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b91e1cdf8560a02599ec3b484a0faa53 | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = 13c4bebf9827283a2773b474406ee42b | ocaml(Logic) |
| = ad1c2d56a37c94474486c95b0b560584 | ocaml(Logic_monad) |
| = 6003858db04cd42250ba1bba3d715894 | 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) |
| = 7df366cd4450321fc21159ff68115c18 | 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) |
| = 3109287404c2cab8de725ab4c0edd481 | 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) |
| = 367265c8d658228901b17d44b3994471 | 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) |
| = abe6daf99843075855600176ed329cee | 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) |
| = 23cb081881776a66a7f5539e77d0528f | ocaml(Ring_plugin) |
| = 8dec7d911b8640ad844c40a9506a5a62 | ocaml(Ring_plugin__Ring) |
| = 8bf8f13d56dd035d227a563725c6b9ba | ocaml(Ring_plugin__Ring_ast) |
| = 6a972b3ff0e2f0e1e00d078be4cdb0e3 | 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) |
| = cbb0b00f84f68baeaef150719a25583d | 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) |
| = 20e402419bff304b3593e19d0ee35c63 | ocaml(Ssrmatching_plugin) |
| = 0d321e02e50644ef5eb6303576045830 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 668a23919be6745b246370aecd65f2cc | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 9919abd709603092de7b5aa43fa0e8ff | ocaml(Stdarg) |
| = 6d7bf11af14ea68354925f3a37387930 | 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) |
| = 880fe92067bddc823d053328ba1a83f5 | 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) |
| = 80ad81640230c9109e2a86d657964738 | ocaml(Tuto0_plugin) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 55ffa16141b5793e7b3d1a16411504b2 | 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) |
| = 87ed64c5d3dc5ceb72326a559ddf0e10 | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = bdeefdc2d2f0c3bd558c7518549c9351 | 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) |
| = e8b888db3e08ed236f0fdc4be24a95f6 | ocaml(Zify_plugin) |
| = c0c1d4967746ed66dfb1a7d6dd2730c9 | ocaml(Zify_plugin__Zify) |
| = 5cf0582f3b724d883613c072f1cd72b1 | ocamlx(Abbreviation) |
| = 6fb348eac509d59d8611bef1d5c70886 | ocamlx(Abstract) |
| = cbf20a294c02fed2a265a3a625b6c0e1 | ocamlx(AcyclicGraph) |
| = 524e1ecb364dfc025482886499570074 | ocamlx(Arguments_renaming) |
| = a9dad90ef0735d8de292d654e63d4f2b | ocamlx(Assumptions) |
| = b7360ced3b6a2854cd86b100b116d03c | ocamlx(AsyncTaskQueue) |
| = 6444ce5a06564ef2ec933b9cab6c6f7a | ocamlx(Attributes) |
| = 33a60f988b3bd7e93c7cbeff6b171fb0 | ocamlx(Auto) |
| = c1cbe79d26c8ea89b924fb163227dd97 | ocamlx(Auto_ind_decl) |
| = 1a1c9bd0df74f6222fa03fab9ef2a436 | ocamlx(Autorewrite) |
| = 648a040880542985e926474cf6b1a266 | ocamlx(Aux_file) |
| = 60ab8080e198343ac2d798bc4b98d698 | ocamlx(Big_int_Z) |
| = 5c2355de8e4a244feecd56bba25a9ae9 | ocamlx(Boot__Env) |
| = 35c11351455a413e70ee935c01be43aa | ocamlx(Boot__Path) |
| = 66a2f73a83af6dcc91a34b299d8f2dea | ocamlx(Boot__Usage) |
| = e6daba412f967679ab32ce3a5f3e35c8 | ocamlx(Boot__Util) |
| = e2f310365a7a2e7eeb8d73b9001deee9 | ocamlx(Btauto_plugin__Refl_btauto) |
| = e015f94a27592e0efbae046ce6c7e47c | ocamlx(Btermdn) |
| = 1741e90e662685e4be92495cd83bccb0 | ocamlx(CArray) |
| = b30391fb50300289b7bc8af1542762db | ocamlx(CAst) |
| = 8a09dad9153627fdb9a3260c37ee439d | ocamlx(CClosure) |
| = e058a3ff9234dbc915c0981b01c8bb8a | ocamlx(CDebug) |
| = e163db81eefed9a295d459c237c00578 | ocamlx(CEphemeron) |
| = 42f32bf8433b8657144712d5383f6152 | ocamlx(CErrors) |
| = 69c2b2621aaa8887df2ab907a282edda | ocamlx(CLexer) |
| = 8d59eb9210256be316adc1aa298f7fd3 | ocamlx(CList) |
| = c6592721cdb29f28c0cefbfa45d01b2b | ocamlx(CMap) |
| = 98481053170e3f276a6ddf5318462727 | ocamlx(CObj) |
| = 3026d3b707303ee06c2cb19fde8eb685 | ocamlx(CPrimitives) |
| = dafdf45dfe2fb68edfbf3a31cccce519 | ocamlx(CProfile) |
| = e75c55fcbfefa0b19511110d76862870 | ocamlx(CSet) |
| = 2c83e6da57716e19b8ed3547c7af15ed | ocamlx(CString) |
| = 30829016d61cd0518b39dce14e9b2ba2 | ocamlx(CThread) |
| = 214cac943b8d89ce693166200e0fa894 | ocamlx(CUnix) |
| = 9a2eac891d5f0f2f974f0958bb2610d4 | ocamlx(CWarnings) |
| = 162669b09093ea11100da3962b876e9b | ocamlx(CamlinternalLazy) |
| = b1cf5908bd32decae56ba9dbb3154081 | ocamlx(CamlinternalMod) |
| = 54f9d28b32c654dab68e73dcc7bb5f99 | ocamlx(Canonical) |
| = 70d8387647e5b973d450163a051dbe39 | ocamlx(Cases) |
| = 5372defd6b2182bf5699e1bfeaeebed2 | ocamlx(Cbn) |
| = 75ccf202f5614f8ac174100fe86747d9 | ocamlx(Cbv) |
| = 78d77272730e0d1fe82079ea6ecbffa6 | ocamlx(Cc_plugin__Ccalgo) |
| = 7d2e06f106c75c92a1176184bdca8759 | ocamlx(Cc_plugin__Ccproof) |
| = dd35f911709efe0d29fd548b59d6a593 | ocamlx(Cc_plugin__Cctac) |
| = 42e8701994e99d8c3c9a2a0f98fc2569 | ocamlx(Ccompile) |
| = c3b488f1e95a2547aec60016b6dbed03 | ocamlx(Class_tactics) |
| = d072ca6367d7856efdd1aac6a74f4f3b | ocamlx(Classes) |
| = 03f860cc438b08e4b97cbe0e9754b617 | ocamlx(Clenv) |
| = b28cb03e5561dcd4e1300d769faa84dc | ocamlx(Coercion) |
| = 17adff438eabae9202af6940fc45b5d4 | ocamlx(Coercionops) |
| = 2352003d10bc66f53b6d4bd3a82d0506 | ocamlx(ComArguments) |
| = 037709b7f67b8448b2ae5ef0bc76d521 | ocamlx(ComAssumption) |
| = b4254936eec3ac5c8462234d19a0e17e | ocamlx(ComCoercion) |
| = d6e34992e859c6231ec913a67800d041 | ocamlx(ComDefinition) |
| = c062d015e91aa49958fce8a92505bb06 | ocamlx(ComExtraDeps) |
| = 3899d5ef5a11cb8ce9daeb97ad64e906 | ocamlx(ComFixpoint) |
| = aee325be1f60c5a566cecb81c2e8e7a3 | ocamlx(ComHints) |
| = 0b634fb4d7410dff24df6a1f2f0556ef | ocamlx(ComInductive) |
| = 3ff9f483b13c8200791965920380f787 | ocamlx(ComPrimitive) |
| = b75c870ba5fed0ff6e98aa3ea7b7fe0c | ocamlx(ComProgramFixpoint) |
| = 001b7c8f16f1a6c8ece5afed5528f043 | ocamlx(ComSearch) |
| = 42a94624d421d415d9c684c9e1d07577 | ocamlx(ComTactic) |
| = 7735c6a072870e7ee10962d798a00540 | ocamlx(Condition) |
| = e29fb0bc90055c9bc97c0dc3905f5a33 | ocamlx(Constr) |
| = c6d4707cbc60172052abeb4eec451533 | ocamlx(Constr_matching) |
| = 3d18aedfb073d8f406f03d97045eea8c | ocamlx(Constrexpr_ops) |
| = aa158872ac40cc1f5fee8133ff4bb46c | ocamlx(Constrextern) |
| = 1bf2cfcc3bc1f6e59ca7a5d0956526a9 | ocamlx(Constrintern) |
| = 1cec9cf73948a772183ada7f29073e3c | ocamlx(Context) |
| = 697ce76187eb6bd535cf5b059518f1d8 | ocamlx(Contradiction) |
| = e9ff5e3c67ea45e66a70549c121b490f | ocamlx(Control) |
| = 07aaf301283b61ab92894cf99658774c | ocamlx(Conv_oracle) |
| = a672fe68bf17e996c89fd710642d403a | ocamlx(Cooking) |
| = aa4e4b608846c57fb74c97ffe2be8c72 | ocamlx(Coq_config) |
| = df386572dbbdb64a40609fa06a0f0415 | ocamlx(Coqargs) |
| = 6d50dd5672214ae600345009e5509b74 | ocamlx(Coqcargs) |
| = c0f4ae461ebddb4f27e655c01554181a | ocamlx(Coqinit) |
| = 6ad0ec6aed02b35b5188fc354ef61974 | ocamlx(Coqlib) |
| = 8865a1cb13ce3ab50a31440fb940357c | ocamlx(Coqloadpath) |
| = 2aac56b4b954bfd20f0efc9682d1e939 | ocamlx(Coqloop) |
| = 78ecf2a80c766bb54dbd75e9941df159 | ocamlx(Coqrc) |
| = 5cc36adf3b7af35416a0febc25ab1f3e | ocamlx(Coqtop) |
| = cb286ebf5dc6220ce137c013e214d62c | ocamlx(CoqworkmgrApi) |
| = 8b4ed79bbefcf12aeddf5a6b532dabde | ocamlx(Core_plugins_findlib_compat) |
| = 8cc9155f354d23e70c565a638695c9bb | ocamlx(DAst) |
| = e110282756728444bbbc26e3b826ebc4 | ocamlx(Dag) |
| = ccc204dc8070ce4415a02df9d502758a | ocamlx(DebugHook) |
| = c5e8f570ec367e7d476280fb0bac630a | ocamlx(Declare) |
| = 608ef95f091614d4afce116bdf48b383 | ocamlx(DeclareInd) |
| = 5bc1fc45370b570c87f2f86a1a80bc3d | ocamlx(DeclareScheme) |
| = f8535f789d9440dc369915f68339aa92 | ocamlx(DeclareUctx) |
| = 4e3caa1908677d07b154160c555728fd | ocamlx(DeclareUniv) |
| = 651f6271e243dd7e6cc61f9833e8f420 | ocamlx(Declaremods) |
| = 94d74eb7069f80d7979f53ccadfbef83 | ocamlx(Declareops) |
| = 331dbe2ee504b122feb28db8a0448c79 | ocamlx(Decls) |
| = 0a860c8519ffc5cddefbe76f36ddbf2d | ocamlx(Deprecation) |
| = 9597d3373a20d4bd60e652bcb4f8a1b6 | ocamlx(Derive_plugin__Derive) |
| = c2242d09a6a764d58006edd6a43e77e7 | ocamlx(Detyping) |
| = 4979ae884701eb5b2fff201840600410 | ocamlx(Diff2) |
| = daf97f95b74e0717050231b2122c4115 | ocamlx(Discharge) |
| = 98dec2f40a7e30bda20d6da8ddcb1cbb | ocamlx(Dn) |
| = 00249208fa23e6d0e5a9bc167e8d6e2d | ocamlx(Dnet) |
| = 7c040f4170cda4b9be6bd81c2eb408b6 | ocamlx(Dumpglob) |
| = 6b6a5f9af639456b1ba81d1b75ee3392 | ocamlx(Dyn) |
| = 87eac7abf0f83647a923f873595d0102 | ocamlx(Dynlink) |
| = 875bbd15acda61174f0173f207c38a00 | ocamlx(EConstr) |
| = df11b2ed4900864643ea8f38ab0fc103 | ocamlx(Eauto) |
| = 6d1d706d5f1cc4fdcc3504e0c580322e | ocamlx(Egramcoq) |
| = a39cb8f5a2628af3158aca5da874d86c | ocamlx(Egramml) |
| = dd2a739099b5f374009f01c344022f4b | ocamlx(Elim) |
| = 1fd79d6406702c632eac0e0aa72333d4 | ocamlx(Elimschemes) |
| = 77fccf9908ea5631b7d62a0cc93e0a1d | ocamlx(Envars) |
| = f97278c854dfd8a4c1a334f733616e06 | ocamlx(Environ) |
| = 3f2c57411a215eafc6cf510807c93298 | ocamlx(Eqdecide) |
| = 0ff9c66a73619f622895c85d2e206860 | ocamlx(Eqschemes) |
| = 61389afa137a2c4cf161a01e85d90198 | ocamlx(Equality) |
| = 6479c94bea0d9118bb2243bb7461d539 | ocamlx(Esubst) |
| = 7880d8fea85ace6cc913925e904ac047 | ocamlx(Evar) |
| = 385ab61189c1f4ccf6df72fe046eafed | ocamlx(Evar_kinds) |
| = f4cb24a42e75bcc87473b5d66e5a6ac8 | ocamlx(Evar_refiner) |
| = f981a2b1becafd6adabb4da14861f948 | ocamlx(Evarconv) |
| = 0326b4c3c898d2810b859067c03aaefa | ocamlx(Evardefine) |
| = 588218f86a0c48cc66c99469448481d2 | ocamlx(Evarsolve) |
| = 0cc2445804cb2e4d39cf0d4913cac8ca | ocamlx(Evarutil) |
| = 851f0f34c10779aa1252333875614ee9 | ocamlx(Evd) |
| = cf89b09c6ac1379986d9b016943c7cac | ocamlx(Exninfo) |
| = 5e9252abd24e825805bba67d84387b16 | ocamlx(Extend) |
| = 77f4ff5dea8fb5a3334dbbd50b0dbcf9 | ocamlx(Extraction_plugin__Common) |
| = d8f66f23c5e5448eb8065f2336959966 | ocamlx(Extraction_plugin__Extract_env) |
| = 033d5e0c39abdda63e62205125946622 | ocamlx(Extraction_plugin__Extraction) |
| = 0387bf8bbb544a5be63338d5a27d732f | ocamlx(Extraction_plugin__Haskell) |
| = baf39dbcbe74f9c6e580fdb779044aff | ocamlx(Extraction_plugin__Json) |
| = 9dca09de490ce6f40ef2ebbaed94d906 | ocamlx(Extraction_plugin__Mlutil) |
| = a4ac84f70bd9d65f5f67d1ff53aeb39d | ocamlx(Extraction_plugin__Modutil) |
| = 7e397b294a7c814931788e0c5e7f307e | ocamlx(Extraction_plugin__Ocaml) |
| = 3e6730c9a9db92ae86c4b515f67d9957 | ocamlx(Extraction_plugin__Scheme) |
| = 51b7a12f3660c0856766aac0b3451cee | ocamlx(Extraction_plugin__Table) |
| = 5970675e7ed1136bb865fba772909207 | ocamlx(Feedback) |
| = 554ed341c1cd7c85e0e0470e71eb9c92 | ocamlx(Find_subterm) |
| = fe4e1d689c1320a75605694254fd2fc7 | ocamlx(Firstorder_plugin__Formula) |
| = c0d4081913e9bd6a74e97a78698da34a | ocamlx(Firstorder_plugin__Ground) |
| = b658c21c3581217529a9f275fb6266a5 | ocamlx(Firstorder_plugin__Instances) |
| = 6d54c29823c82931391ed0ace81a6095 | ocamlx(Firstorder_plugin__Rules) |
| = 25da0f822826ea3b8630cb01b1515fcd | ocamlx(Firstorder_plugin__Sequent) |
| = 21e9cce31f4e1e0a014a8e25cc341003 | ocamlx(Firstorder_plugin__Unify) |
| = 77000c95cf7e77e33925267b3d29708c | ocamlx(Flags) |
| = 1c48b0b9848a98b78b325019b188fb6c | ocamlx(Float64) |
| = 7bef336d2fb84d009c213331c0491c18 | ocamlx(Float64_common) |
| = c8b3a259090118bfb084af1f86db8b10 | ocamlx(Ftactic) |
| = af02d8367feacd9e44b4e0e1d4462984 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 72e516f6bdc7c79cdfd72d314dfb1088 | ocamlx(Funind_plugin__Functional_principles_types) |
| = c0cc4ff25988e3b75261aa0dc6bdf1b9 | ocamlx(Funind_plugin__Gen_principle) |
| = 6e18e30ea9e7d411c4c380a768d6abd1 | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = c3333e218002cbd1a0c8169bb53c77ae | ocamlx(Funind_plugin__Glob_termops) |
| = ad5d69426e83fc2ba6426013a88e801a | ocamlx(Funind_plugin__Indfun) |
| = 9fdcd211190bda1d5b8664bb0e184bf8 | ocamlx(Funind_plugin__Indfun_common) |
| = ecff554673d2d1bdf800f6747fee5d2a | ocamlx(Funind_plugin__Invfun) |
| = 34dabb06c1a08bffc0e13a3dc2aaefd2 | ocamlx(Funind_plugin__Recdef) |
| = 56f42a8b50bc19a35f11caeaa141c9ec | ocamlx(Future) |
| = 48ad1e10ec98b671411355c582c701c6 | ocamlx(G_proofs) |
| = adbe63ae534d1feb33d89cee48eded50 | ocamlx(G_toplevel) |
| = 89b170202c63d808be144f52e9c3edba | ocamlx(G_vernac) |
| = 215b7bd94baaa13b0dcb81813bb82726 | ocamlx(Genarg) |
| = b2496c9e2f84b5c6e53328068718c19c | ocamlx(Genintern) |
| = f174899dd78798324d961c7f04ebdbc8 | ocamlx(Geninterp) |
| = 9a42bb74f480a6fad1ae62394081ee31 | ocamlx(Genprint) |
| = 69521eedd5605372e8fe8f44f518b2bd | ocamlx(Genredexpr) |
| = 09ed3a342c1e5499a32db4ac8d97be76 | ocamlx(GlobEnv) |
| = dccae8aec09ab16ad966dbf6d317b5d2 | ocamlx(Glob_ops) |
| = cae954d720127aabad69ba5810bf1b09 | ocamlx(Global) |
| = 2e2e8a62b8f23a40c03ca8b23d263936 | ocamlx(Globnames) |
| = 7f5d481c2408b02f602b2d7a529093b4 | ocamlx(Goal_select) |
| = 1dd51d5dba03c69fe466b1e6bf79ae75 | ocamlx(Goptions) |
| = c3b6b41157a26a83fd6b2c5b0f67c372 | ocamlx(Gramlib__Gramext) |
| = a22f873f4c6f2d5f39b72b48e8300dcf | ocamlx(Gramlib__Grammar) |
| = 04d3b289570108ca395b03cb7f725a56 | ocamlx(HMap) |
| = 4da722afb771165037ca64b134650d21 | ocamlx(Hashcons) |
| = ec54211bbb0c8aeb40dabc5cc4cfaf15 | ocamlx(Hashset) |
| = 00bbffa84779e8a11f13eabb8ec5c409 | ocamlx(Heads) |
| = 9a3b88713a00fad0e8fb1db460c6d7c2 | ocamlx(Heap) |
| = a7e16cd59b57eab40ae1c499ca0f2424 | ocamlx(Himsg) |
| = e818bd8d6aca911b9497acff7bcc5188 | ocamlx(Hints) |
| = 9c8e2f3fe77b116dfb0d1ec06d8c49c0 | ocamlx(Hipattern) |
| = 20a7a6fc084a1fcaba807cf8d8b55632 | ocamlx(Hook) |
| = 234e0b4c31072a6ff516e206c4d419eb | ocamlx(IStream) |
| = fd50e334799b5641c607be0be03d465e | ocamlx(Impargs) |
| = a8d85c6743829931513cc4352b95c3f1 | ocamlx(Implicit_quantifiers) |
| = 6386bf3e653b96a956a0854dac1b4b28 | ocamlx(IndTyping) |
| = d9036972127c689e833bb8933465345a | ocamlx(Ind_tables) |
| = af09e91b447a31bc3fcc87e9f839f79d | ocamlx(Indrec) |
| = dc6dcd725358c8be24426e5f24047159 | ocamlx(Indschemes) |
| = 9370e955fe5ff6c0e9e552162b7732ab | ocamlx(Indtypes) |
| = 3b34798ece8b452e8d3025622f306ce1 | ocamlx(Inductive) |
| = 26cf1f342410eecf3a41774227b61832 | ocamlx(Inductiveops) |
| = d003b33447d3778341409c9ae9f21135 | ocamlx(InferCumulativity) |
| = 4ecd8a9f8926ea4fd30c3ec4122cedda | ocamlx(Int) |
| = b441061c83faaae783d3691b37c6cedb | ocamlx(Inv) |
| = ef3e23913d170a6aff78c06ac7410cdf | ocamlx(Keys) |
| = cf7cccc733c5ae2de311128dda7fb8d4 | ocamlx(LStream) |
| = 05cd6ee08a9b4a5fbc87fed39e2b3122 | ocamlx(Lib) |
| = f3354f5fd36582cc4b1f3402018305b4 | ocamlx(Libnames) |
| = af71b44cde0a6f1a447b1f84cf730dd9 | ocamlx(Libobject) |
| = 5f1196e77c095dbc44f99a576bd5b088 | ocamlx(Library) |
| = 428cb1167c348dbf4cc7fce6915bdd77 | ocamlx(Loadpath) |
| = 2c97260dd31fb8e11ad0c5e45f95bc6c | ocamlx(Loc) |
| = 8c0b61b56c053fae5d69d9959dd3c1ea | ocamlx(Locality) |
| = 31db3307e42d3bf31e9dee3f675ca25f | ocamlx(Locusops) |
| = 339ccba0d095b5676e33b4fe4e5233ea | ocamlx(Logic) |
| = 41d43962040bf05fd04c22e850725e8f | ocamlx(Logic_monad) |
| = 1cfe65f31be6bc6aaa83c4f5fe9afe5f | ocamlx(Ltac2_plugin__Tac2core) |
| = 818ff36c303f5657bfd741e657e3b826 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = bd8d04d801dcf20d8926b6f3835e9aeb | ocamlx(Ltac2_plugin__Tac2entries) |
| = 395d38b0efc2f43e3d5b0a9ee56aa909 | ocamlx(Ltac2_plugin__Tac2env) |
| = 023f5bfb666ada136708aeaffe36a480 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = 9c30a5eeacc22f2503936218719fd59a | ocamlx(Ltac2_plugin__Tac2ffi) |
| = dc118e568d3c151eee4872b93d998763 | ocamlx(Ltac2_plugin__Tac2intern) |
| = 40512450bdb73ec554f5104f1d377e66 | ocamlx(Ltac2_plugin__Tac2interp) |
| = 84efb03828f2e9a258b755d67ce2259d | ocamlx(Ltac2_plugin__Tac2match) |
| = 0780114b27004e7620f0fff759327cae | ocamlx(Ltac2_plugin__Tac2print) |
| = f5d2948d48884394c8da844c1e111915 | ocamlx(Ltac2_plugin__Tac2quote) |
| = eeff7de3ca834a6467fc9ba14859e932 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = fc044162ad1d732680c3c1b328241dcc | ocamlx(Ltac_plugin__ComRewrite) |
| = 96cebfb04734bfba8cc364e6321144e8 | ocamlx(Ltac_plugin__Evar_tactics) |
| = 32b5178ab5937181623744b59916e026 | ocamlx(Ltac_plugin__Extraargs) |
| = 2098ff216a4eba7ba8ef5ca04e0cf328 | ocamlx(Ltac_plugin__G_ltac) |
| = 2330589efc7f72dbdb5c1d6b87065a82 | ocamlx(Ltac_plugin__Internals) |
| = d41a26f7dedec4583fdeedcb4fd9279c | ocamlx(Ltac_plugin__Leminv) |
| = c144c9cceecb8515445556eb948cee81 | ocamlx(Ltac_plugin__Pltac) |
| = d8566433c135140692b04ea46f58a755 | ocamlx(Ltac_plugin__Pptactic) |
| = afb2fbb5e6312f4ad4ddc76714d5fb09 | ocamlx(Ltac_plugin__Profile_ltac) |
| = 58b77a1dbbcf8f55ad8abf8401b54a04 | ocamlx(Ltac_plugin__Tacarg) |
| = ec1dfd7e3b8dcf019a6c8869db6918ef | ocamlx(Ltac_plugin__Taccoerce) |
| = a7b3b675878a47e9901aee05aff95313 | ocamlx(Ltac_plugin__Tacentries) |
| = 1be4c5596a6e0ab01b27e7d3a36fdc47 | ocamlx(Ltac_plugin__Tacenv) |
| = 0a2cd1053c75618a06d203daec151ae8 | ocamlx(Ltac_plugin__Tacintern) |
| = f6b2127eebf523d0b93e019cf98c33e7 | ocamlx(Ltac_plugin__Tacinterp) |
| = d9e7c8edd79962f6086d9b86e4cd7288 | ocamlx(Ltac_plugin__Tacsubst) |
| = f9f3e0b3f5b7cdd1dee9e3c4ea2f9372 | ocamlx(Ltac_plugin__Tactic_debug) |
| = 47a7ac7dce67f6df76179b8225fc22f8 | ocamlx(Ltac_plugin__Tactic_matching) |
| = 31956c2943452412948482d040431f46 | ocamlx(Ltac_plugin__Tactic_option) |
| = 9a5c75fefc65fc906bf299139566eeae | ocamlx(Metasyntax) |
| = 4b957972a00e2f6ee3fda850e1bf1dbd | ocamlx(Micromega_plugin__Certificate) |
| = 6ae3d13d02da34d8bd16c241827918ef | ocamlx(Micromega_plugin__Coq_micromega) |
| = 3c1efc6a78da48defd1ccaf66b9465db | ocamlx(Micromega_plugin__Linsolve) |
| = b132c9f307a17827e41faaeb99364c38 | ocamlx(Micromega_plugin__Micromega) |
| = 560e42af649ba66dc7dbde89914b679f | ocamlx(Micromega_plugin__Mutils) |
| = 68591499b8757c14be6b7f15237bdd75 | ocamlx(Micromega_plugin__NumCompat) |
| = cf3b857fc40ea2870f77d9238be79de9 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 40dc9302c2706144494d2d1598e0f78e | ocamlx(Micromega_plugin__Polynomial) |
| = 527a0a7fefdf7ba09e79b0a71ded9ad7 | ocamlx(Micromega_plugin__Simplex) |
| = 304747db25007448fcc4afa8b347f1bf | ocamlx(Micromega_plugin__Sos_lib) |
| = 4913cd011145fe77eb41219be8b1cfe4 | ocamlx(Micromega_plugin__Vect) |
| = 5d0ef3cc2c45bc51a2f928cab13d5b9a | ocamlx(Miscprint) |
| = a085413ed04fbf0fb81be1ebf8b0fc81 | ocamlx(Mltop) |
| = 3249cf02492f1798a23566976730c647 | ocamlx(Mod_subst) |
| = 3e68eb25a45cb9ce52c725d31bb93ed2 | ocamlx(Mod_typing) |
| = 2e8ee889588d2546816beadc1a4365ec | ocamlx(Modintern) |
| = 8599ffd33a306e3a3ee80547718de11a | ocamlx(Modops) |
| = 98265463065bf6c58ac85a7d52ba4f75 | ocamlx(Monad) |
| = bcb90f32e1d0663edfa23f9b0f06493a | ocamlx(Mutex) |
| = 8a98794f651c465ff10612781af0eb4e | ocamlx(Namegen) |
| = 96d6271019d38919669a10cd6dbdcfb4 | ocamlx(Nameops) |
| = 1a4d954432461a44fd20e78cd3ee56c5 | ocamlx(Names) |
| = a44683b97b3678b8d6f79b49d501f0d5 | ocamlx(Nametab) |
| = c17d0426962a98295fddb7dff30020d7 | ocamlx(Nativecode) |
| = 17693b3660db1bdf725b10d40b48fabe | ocamlx(Nativeconv) |
| = 6dd6509d5ed42914364d74afc8f20a74 | ocamlx(Nativelambda) |
| = 5973ca72403da5b6ea5bf8a20366c697 | ocamlx(Nativelib) |
| = 530830d5f2b8e78c9fe5b79ca9b7963c | ocamlx(Nativelibrary) |
| = 69bfa9fbdc034741ef21f8630fd19716 | ocamlx(Nativenorm) |
| = e9d24fbbfd9a8224482ba16fc3c48b26 | ocamlx(Nativevalues) |
| = 4dd80e23704a757c1753bb7194fcd0bd | ocamlx(NeList) |
| = f0d358039198b6d116d1c93fdcbfa3f2 | ocamlx(Notation) |
| = 873a60c8f31fdb08fe2267811183a7f3 | ocamlx(Notation_ops) |
| = 8edfeecaecb453b721022e73c6792597 | ocamlx(Notgram_ops) |
| = afbeeb14f14441496e33f5817116c654 | ocamlx(Nsatz_plugin__Ideal) |
| = 83e46a05b241af0035e642c61130247f | ocamlx(Nsatz_plugin__Nsatz) |
| = a4ed79849b2cb189199b24f782165ad9 | ocamlx(Nsatz_plugin__Polynom) |
| = e7811a2afadd2d2699763febc72603ca | ocamlx(Nsatz_plugin__Utile) |
| = c83060faef0b6e5d770835504b77c9bb | ocamlx(NumTok) |
| = 058efb8a8705dba30b7f863f76ff21c7 | ocamlx(Number_string_notation_plugin__Number) |
| = ab857b0bbc3bb46bd51b28f796e3a31b | ocamlx(Number_string_notation_plugin__String_notation) |
| = 3748bd898bf7289f7e0bb4f831bcc3f4 | ocamlx(ObjFile) |
| = 124f3037fa36400e1633f395148939d8 | ocamlx(Opaqueproof) |
| = a7ff258f7b2c870d6b4a5e99198368bd | ocamlx(Opaques) |
| = 3d469b81e472024e47962f901f721f6e | ocamlx(Option) |
| = 95afc34014b4741ffc9a8fd611a81a26 | ocamlx(OrderedType) |
| = 9b749193c6e9ae4544c7214d6a54c233 | ocamlx(Parray) |
| = 32d1b50a13b240dfaaaae8aed530a4b3 | ocamlx(Partac) |
| = 612edad0a3e724a005bec41fdd0d4db4 | ocamlx(Patternops) |
| = 835cbe99d3cc0a21316d73ea3fac50af | ocamlx(Pcoq) |
| = 3a80561a26a756e8146e053a12c94633 | ocamlx(Pp) |
| = 00d0f6b931b411574e0e3e3f026644f5 | ocamlx(Pp_diff) |
| = 0d31f000ce045f554e6613e19cdfef8c | ocamlx(Ppconstr) |
| = 8bd4a2b1a38f15f73b0a4bb97152f9fd | ocamlx(Ppextend) |
| = 8668920c61dedc7e45b6a08bfc4dd053 | ocamlx(Ppred) |
| = 6fb10a874e690fb41564e8fe72b3c081 | ocamlx(Pputils) |
| = 943ac5c324bd562205756212df1e09a9 | ocamlx(Ppvernac) |
| = 759261dd5abb712e25614a040b1886b9 | ocamlx(Predicate) |
| = 58a6e411de542f792d35ebfd9baa7ffb | ocamlx(Prettyp) |
| = abf3d7424c866cf149e75b8921cb49e0 | ocamlx(Pretype_errors) |
| = 04552835f7014f69719cf0596f16e2b2 | ocamlx(Pretyping) |
| = 8775a53456aebde45f54f1c9efb34a5c | ocamlx(Primred) |
| = 16f5c5d1852b37ce86dc67c2c74e15de | ocamlx(Printer) |
| = 8ccbcd691e4ffab6a6c9311f1e137544 | ocamlx(Printmod) |
| = d598fbf0c7cf69a8e3b1e0612fa190b3 | ocamlx(Program) |
| = 6a04e814cf408023c26067014a6d0c70 | ocamlx(Proof) |
| = d82d5497a578df3f62722a500e0d2473 | ocamlx(Proof_bullet) |
| = ddad3b1739be3becf8dbf182f3b4b23c | ocamlx(Proof_diffs) |
| = 7e127f0e8ce418d130e8c41f8f2f70b0 | ocamlx(Proof_using) |
| = fdaf500413a662434135f3084088602b | ocamlx(Proofview) |
| = 8433ef92e83a6863c123e1bb3831d8a4 | ocamlx(Proofview_monad) |
| = b6ff24b1c7f2c1acf87813bbc4579fca | ocamlx(Pvernac) |
| = a713b639811e122e801cef65d324234e | ocamlx(Q) |
| = 793e08286a9972ee669096a403cd03d7 | ocamlx(Range) |
| = ba2c293f50114073c1e4fd146d1e3b0c | ocamlx(RecLemmas) |
| = cb7053425198c5f75515356ab99b5b30 | ocamlx(Record) |
| = 47cb2a34d3039f194a5230b8348dfc2c | ocamlx(Redexpr) |
| = 156add0e47a77b6c1f7388575ee803dc | ocamlx(Redops) |
| = 74254e633db5efb720edf57f10bb06c8 | ocamlx(Reduction) |
| = a5269ca159ccee2ad9811003885d2239 | ocamlx(Reductionops) |
| = 818411d77f20105edee779cdad3d7463 | ocamlx(Refine) |
| = d30ca380bf738ac55f6fb002ed5b87cd | ocamlx(Relevanceops) |
| = 5b7ab991d1e4a54463e5604e0bffc65a | ocamlx(Reserve) |
| = 166a68162661f7b374a0e022f246f3e0 | ocamlx(RetrieveObl) |
| = 4edb280a26facd9d5bf288e733e1fd46 | ocamlx(Retroknowledge) |
| = 6287f566a38fbd04f7312322a1c29583 | ocamlx(Retyping) |
| = 4775303cb7a0189f3f358ce4a3977af8 | ocamlx(Rewrite) |
| = e651047926bb6fc0a8a7976a2904a60f | ocamlx(Ring_plugin__Ring) |
| = 630f365f05894162aacad00282b47951 | ocamlx(Rtauto_plugin__Proof_search) |
| = 005554f89960d26a9dbd1717073b2837 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 274e7a3f88dad440a0cf9d4918554b52 | ocamlx(Rtree) |
| = c459c2a36e007cd2de9c6089bfee334e | ocamlx(Safe_typing) |
| = 4f3547759cfb0fa6fa2ba2d0aeff770f | ocamlx(Search) |
| = 59d59614226161b9fec2dc93def3a3d1 | ocamlx(Section) |
| = be00be8470c4c0b98c4b87c86da8cff4 | ocamlx(Segmenttree) |
| = 68b0b8610837505fb69e2da9bfc5be27 | ocamlx(Smartlocate) |
| = c1dd08944b954741c41e72576b99e4f1 | ocamlx(Sorts) |
| = ed61db6a9f6a338226249d6b4bea8341 | ocamlx(Spawn) |
| = 01351249e14c5e4dda9d729a82b03a0a | ocamlx(Spawned) |
| = 8f0d6b917b27c68c3dacbd5c514d2858 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 97e7f610b69243187daddecf4aaaa2af | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 867145d0b7831bc9fc55e50e899c398b | ocamlx(Ssreflect_plugin__Ssrelim) |
| = f28cc727ee3d83054a527d0b32351946 | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 410f4eb16751e51cba0aa7c41f66e6ae | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = fbf422fabbc426bc7e175f8a5370bc92 | ocamlx(Ssreflect_plugin__Ssripats) |
| = fde8b68460c97e4bbd55cfa11671269a | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 504a33df02a4106c5c058fb03c34e5dc | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 146ce32d9f0121ddbdd5f7468a3125b8 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 774251c59fa9911c928ee73c14ee8a11 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 1ad089d11dff6906b8ccf7ace9cf6843 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = cfb111336607f6ed1098217f92ab3c85 | ocamlx(Stateid) |
| = 5bea011d20ce4af6ddeb21e319dee681 | ocamlx(Stdarg) |
| = 38e227ea48015bcdfb5d9a4f1cb2689a | ocamlx(Stdlib) |
| = c17b2f7cf4a4cce9bfec4b26eec495f7 | ocamlx(Stdlib__Array) |
| = ec734da0dbd1f4871a6e468dd99f1edb | ocamlx(Stdlib__Buffer) |
| = e596dc3e9601d184f8fb9caa16ebc39e | ocamlx(Stdlib__Bytes) |
| = 10c8fcef55e12a07a1c4ab479d07547d | ocamlx(Stdlib__Char) |
| = b1afec0ae33fff7434ae1060305691f5 | ocamlx(Stdlib__Digest) |
| = 798ec24cbfd278de996827b3ee57f9af | ocamlx(Stdlib__Ephemeron) |
| = bb85b1b67a0eed0835203615c014e867 | ocamlx(Stdlib__Filename) |
| = 252dee0ca8b365189f2ed175e3779e3c | ocamlx(Stdlib__Format) |
| = f6f8c691124d6e7b9b9b3ca967644a42 | ocamlx(Stdlib__Fun) |
| = e35fd114c1210e06cfdf8cb8e368628c | ocamlx(Stdlib__Gc) |
| = ffa6c0b4e31fbd58c5b0b7fda03f991f | ocamlx(Stdlib__Hashtbl) |
| = 902c74c2fdd5555916320d907ba89f7f | ocamlx(Stdlib__Int32) |
| = 8a6af33b06c097c633dbf42a56b24bd0 | ocamlx(Stdlib__Int64) |
| = 7c884197066b622803d08bb919760f07 | ocamlx(Stdlib__Lazy) |
| = 55527cfeed14dbd1464fa9bc64111883 | ocamlx(Stdlib__List) |
| = f184f9d40bdaddd2e3d8a36b51d5f55f | ocamlx(Stdlib__Map) |
| = 3e832c8ffc49756e959e1c2d30cc4c09 | ocamlx(Stdlib__Marshal) |
| = f4a3fd2b3174036e9e913e92c4f7b2ba | ocamlx(Stdlib__Obj) |
| = 91d35af34dfc354f724931b058a14954 | ocamlx(Stdlib__Printexc) |
| = b5325f43d38afc618da7b0fb873c7faa | ocamlx(Stdlib__Printf) |
| = 2cf30720dec187835200485a0eda7f62 | ocamlx(Stdlib__Queue) |
| = 4e7342c0bcf9660dc77ca008890965fc | ocamlx(Stdlib__Random) |
| = 4e834bd2603425af3ac3eaddd89f0f4f | ocamlx(Stdlib__Scanf) |
| = c0158eea0410a85c8ad557c3d3358cd9 | ocamlx(Stdlib__Set) |
| = adbb9467e55324452b66f5e80904fd00 | ocamlx(Stdlib__Stack) |
| = c06c5446818c6057b30329436dd271e3 | ocamlx(Stdlib__Stream) |
| = 650b799d3032d2e3c133eae0b21c0f95 | ocamlx(Stdlib__String) |
| = 5c3bb467dddca8a9684f29a499f12938 | ocamlx(Stdlib__Sys) |
| = dfb096ede16e512b37567ba33be3fb3c | ocamlx(Stdlib__Weak) |
| = 0dee3428d82c02127c171d4bf6a2c0af | ocamlx(Stm) |
| = 65c7e7d5cc6296a1a4e3f6486c3fe929 | ocamlx(Stmargs) |
| = 79c8fc2b2d91071ca25189f6d498ac98 | ocamlx(Store) |
| = 88040aadd5ce239c39603ad24fe18862 | ocamlx(Str) |
| = de1e2a42cac7acb3574488d7abbf7170 | ocamlx(Structures) |
| = f46680e9ff1a3b10c275f6c680d3a179 | ocamlx(Subtyping) |
| = 2c3e57ac5f77a0653afb02a67b099650 | ocamlx(Summary) |
| = cd5ec0f72340ffc8667a93d253f5d676 | ocamlx(System) |
| = fd312fc347fa5fa92f7faae58b3ce47d | ocamlx(TQueue) |
| = 101d82acdd85e06871ebf95e49e1cfcd | ocamlx(Tacmach) |
| = 7cc37b9ff8bb8855cb6ff24c24bda981 | ocamlx(Tacred) |
| = c00a7a131ba49b34e8613e2a90c7d759 | ocamlx(Tacticals) |
| = cdf36c17278ee98abc35da9a3558a840 | ocamlx(Tactics) |
| = eadae04d27f5ddad7bb6ccc76bb352d3 | ocamlx(Term) |
| = 53854cd4c0abacca00fcc090e4d970ec | ocamlx(Term_dnet) |
| = 87d287d25cc554057e1bb43cf4d519e2 | ocamlx(Term_typing) |
| = 81f63cdaf7d35ef48f90f10ed6c59a85 | ocamlx(Terminal) |
| = ca673ac2040f99ea388187d17ba5f304 | ocamlx(Termops) |
| = fa7df88b05f340906ceabd019abbbbe2 | ocamlx(Thread) |
| = b871221009598cad605fd07e06be272e | ocamlx(Tok) |
| = bf41ec1f4e06a1600c78c541fb488977 | ocamlx(Topfmt) |
| = 0716e15a07dacd059e85235c3fddbf6a | ocamlx(TransparentState) |
| = ddc1e27735051c2c77e65c252b920f90 | ocamlx(Trie) |
| = 8e471fee8caa411f10a171a708a3a897 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 1679aae0d762f82fc0b57a30d251d757 | ocamlx(Tuto1_plugin__Inspector) |
| = ce03290ffe41ba6edd591b7007c2069a | ocamlx(Tuto1_plugin__Simple_check) |
| = 2817334cad4605a04593d55195d62817 | ocamlx(Tuto1_plugin__Simple_declare) |
| = 6dd1597def7e9c326e46d9e5783cbae1 | ocamlx(Tuto1_plugin__Simple_print) |
| = 65bc59ec10fc134e9c5487806e2c1617 | ocamlx(Tuto2_plugin__Counter) |
| = e6e06a2f44aeb6591d8894d98aea589e | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 121618b89ddc535ed1f2d70097114333 | ocamlx(Tuto3_plugin__Construction_game) |
| = 4983dd9a8faff7a5ef6de34f30a2912d | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = c478068c81b44c0413345487e49ee93b | ocamlx(Type_errors) |
| = f248a7f00d68f170362c625e5a04bdfc | ocamlx(Typeclasses) |
| = 471501e39ec60fc096efdb487e063e04 | ocamlx(Typeclasses_errors) |
| = 2c322d21c3d063c6b89c6c05cef9fee6 | ocamlx(Typeops) |
| = 1a978a6554a8d1a1de4385496f28a033 | ocamlx(Typing) |
| = ced1d77790d545a6479436a4acf535a0 | ocamlx(UGraph) |
| = 2c62122ad178177fcda10e7afdd4c400 | ocamlx(UState) |
| = d22dec5116a443949657d62ccf13f19f | ocamlx(Uint63) |
| = 13b9068bc6c6836f8679f6672214f2bd | ocamlx(Unicode) |
| = 6748223bda90e6af1a749a6aaed25795 | ocamlx(Unicodetable) |
| = a903af62807ba798af784c83a4cd3392 | ocamlx(Unification) |
| = e775552d434f55fadaf618e4a7a96d07 | ocamlx(Unionfind) |
| = 51696dbb092bac5cde2346c361267918 | ocamlx(Univ) |
| = 8b7946a7e79214b9af3e7a16151ce8f2 | ocamlx(UnivGen) |
| = 289aa5b344839aa7741d2fbdbc618ecd | ocamlx(UnivMinim) |
| = b98c9c9ee4575226118d0161a402be25 | ocamlx(UnivNames) |
| = 6cbdbb8049964883d470a04b3088c3c0 | ocamlx(UnivProblem) |
| = 323f9c5ae7e62cf60bcbcc7cf3e752ec | ocamlx(UnivSubst) |
| = 7ab988a5f1bc8761aa80f04fc8c5580e | ocamlx(Unix) |
| = 19b4b81a3b0bdb1618506233bcac9410 | ocamlx(Util) |
| = df0447f472d2c84109ffc969ed82b5d8 | ocamlx(Vars) |
| = 9bb28618102df022e249c0fe1e10eb17 | ocamlx(Vconv) |
| = 5ba73bc3c293d48d0f1a100ce172b2da | ocamlx(Vcs) |
| = e0eb890ce7fe546cbe715e60e04af093 | ocamlx(Vernac) |
| = bc4d5105bfd899547c7bcb823b9c3c90 | ocamlx(Vernac_classifier) |
| = 8f2ec13b52e9ab9557dd0ff3404ba08e | ocamlx(Vernacentries) |
| = 25ad5cf64973f090c69e74bb1b8f97ec | ocamlx(Vernacextend) |
| = 366d900530cf3d60a21015e7bf835e39 | ocamlx(Vernacinterp) |
| = bcfabf9afb271abbcb1e2a7a99bfcd14 | ocamlx(Vernacprop) |
| = 8f518ef8da9a777f81e62486c8875afe | ocamlx(Vernacstate) |
| = 0e76ab5339f0b3e07139a37dd81f564b | ocamlx(Vio_checking) |
| = 8c209370042da742a8d08b7541ecd243 | ocamlx(Vm) |
| = e1c8829cbfb655876b8f6cf20216888d | ocamlx(Vmbytecodes) |
| = 8b83d05848af32634fb013b40377038a | ocamlx(Vmbytegen) |
| = 27709d5eef621e9b88a6a12684e45614 | ocamlx(Vmemitcodes) |
| = 88ca3ccf892f020f694bcea2c077ebd1 | ocamlx(Vmlambda) |
| = 0b3f25202f15b10c52b711d33ccce0f2 | ocamlx(Vmopcodes) |
| = 7605b80916ccd80818aaed59aa03f7f7 | ocamlx(Vmsymtable) |
| = e74efd8e75cfddbea4343cee11f4362b | ocamlx(Vmvalues) |
| = 81cec7f90502791c4a5ac0ed6de6463a | ocamlx(Vnorm) |
| = c329713e8a95f17efcdf2db2326fe92b | ocamlx(WorkerPool) |
| = e7f7461dc7287f7895b00fdb33dca6df | ocamlx(Z) |
| = c12a78001de4ba3550eea985c7146702 | ocamlx(Zify_plugin__Zify) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.16.0-1.fc37 | coq-core |
| = 8.16.0-1.fc37 | coq-core(aarch-64) |
| = 420597dafb0412b0906625f65b7b43f3 | ocaml(Abbreviation) |
| = 972a6adc1672c1380e598345e9bdd66a | ocaml(Abstract) |
| = 00edc3e526b6239e9ad4c9319eaaabd5 | ocaml(AcyclicGraph) |
| = 8d780748135c7ad38292a7b3ac0f53a4 | ocaml(Arguments_renaming) |
| = df89cf26bc6d8d05b99e08a9244c612a | ocaml(Assumptions) |
| = 8659dacb0d81bcd9fbe6e6ecd05f72c0 | ocaml(AsyncTaskQueue) |
| = 9c8311d65744ff7d706db174690b46c8 | ocaml(Attributes) |
| = 18ee6df02843f71d3f910a73cc86f876 | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = f8bc48db857f8ac735085dc8aa83010e | ocaml(Autorewrite) |
| = 4e5dbc641f72c02043546e93c1ea2f6f | ocaml(Aux_file) |
| = e8ae4f4bfba05286227b34e54f139ccb | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = fab86dce490de64d33c82242f0ebfc65 | ocaml(Boot__Util) |
| = 36b0a49258d4c9aec546d39f1208f6f8 | 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) |
| = f94cad302b97664378d2d97f989a1a60 | 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) |
| = 4a15203be310f2c59b0ef22c8d29618a | ocaml(Coqargs) |
| = ae9cdc97fc7c07c638b81cae3fb1f043 | ocaml(Coqc) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = 2c95a5e907cb1568e1a7c1a9d070b1aa | ocaml(Coqlib) |
| = 13f0d13762fd2ca207fa68f6be4f41fe | 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) |
| = 1ac090651dbd6f2d853bcd927bb44edc | 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) |
| = 7d494cc7ed3b38f849f2a9ed1fd9f89e | 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) |
| = 6267beb6dfa150a45646ad9c19f3d503 | 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) |
| = 477b04cef03af8ba71ed700bbaf00199 | 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) |
| = 49f2ec40e5ddfef8a1c60e6a72123dd8 | 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) |
| = 1c590b83f1dc869d713b2eb2d309fbd9 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b91e1cdf8560a02599ec3b484a0faa53 | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = 13c4bebf9827283a2773b474406ee42b | ocaml(Logic) |
| = ad1c2d56a37c94474486c95b0b560584 | ocaml(Logic_monad) |
| = 6003858db04cd42250ba1bba3d715894 | 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) |
| = 7df366cd4450321fc21159ff68115c18 | 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) |
| = 3109287404c2cab8de725ab4c0edd481 | 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) |
| = 367265c8d658228901b17d44b3994471 | 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) |
| = abe6daf99843075855600176ed329cee | 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) |
| = 23cb081881776a66a7f5539e77d0528f | ocaml(Ring_plugin) |
| = 897965d8515e7a19e237acabe4ab85b4 | ocaml(Ring_plugin__G_ring) |
| = 8dec7d911b8640ad844c40a9506a5a62 | ocaml(Ring_plugin__Ring) |
| = 8bf8f13d56dd035d227a563725c6b9ba | ocaml(Ring_plugin__Ring_ast) |
| = 6a972b3ff0e2f0e1e00d078be4cdb0e3 | 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) |
| = cbb0b00f84f68baeaef150719a25583d | 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) |
| = 20e402419bff304b3593e19d0ee35c63 | 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) |
| = 880fe92067bddc823d053328ba1a83f5 | 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) |
| = 80ad81640230c9109e2a86d657964738 | ocaml(Tuto0_plugin) |
| = 3f1b217a49ed2f0273a81b19da082891 | ocaml(Tuto0_plugin__G_tuto0) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 55ffa16141b5793e7b3d1a16411504b2 | 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) |
| = 87ed64c5d3dc5ceb72326a559ddf0e10 | 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) |
| = bdeefdc2d2f0c3bd558c7518549c9351 | 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) |
| = e8b888db3e08ed236f0fdc4be24a95f6 | ocaml(Zify_plugin) |
| = e123953b94a927241402faa568d57b31 | ocaml(Zify_plugin__G_zify) |
| = c0c1d4967746ed66dfb1a7d6dd2730c9 | ocaml(Zify_plugin__Zify) |
| = 5cf0582f3b724d883613c072f1cd72b1 | ocamlx(Abbreviation) |
| = 6fb348eac509d59d8611bef1d5c70886 | ocamlx(Abstract) |
| = cbf20a294c02fed2a265a3a625b6c0e1 | ocamlx(AcyclicGraph) |
| = 524e1ecb364dfc025482886499570074 | ocamlx(Arguments_renaming) |
| = a9dad90ef0735d8de292d654e63d4f2b | ocamlx(Assumptions) |
| = b7360ced3b6a2854cd86b100b116d03c | ocamlx(AsyncTaskQueue) |
| = 6444ce5a06564ef2ec933b9cab6c6f7a | ocamlx(Attributes) |
| = 33a60f988b3bd7e93c7cbeff6b171fb0 | ocamlx(Auto) |
| = c1cbe79d26c8ea89b924fb163227dd97 | ocamlx(Auto_ind_decl) |
| = 1a1c9bd0df74f6222fa03fab9ef2a436 | ocamlx(Autorewrite) |
| = 648a040880542985e926474cf6b1a266 | ocamlx(Aux_file) |
| = c6932df37fb42b8743fe6966db0d733c | ocamlx(Boot) |
| = 5c2355de8e4a244feecd56bba25a9ae9 | ocamlx(Boot__Env) |
| = 35c11351455a413e70ee935c01be43aa | ocamlx(Boot__Path) |
| = 66a2f73a83af6dcc91a34b299d8f2dea | ocamlx(Boot__Usage) |
| = e6daba412f967679ab32ce3a5f3e35c8 | ocamlx(Boot__Util) |
| = 9d16e80d9d5f874518e4276edf3a1b9d | ocamlx(Btauto_plugin) |
| = d9d0d98d06331dac396716c0332349e4 | ocamlx(Btauto_plugin__G_btauto) |
| = e2f310365a7a2e7eeb8d73b9001deee9 | ocamlx(Btauto_plugin__Refl_btauto) |
| = e015f94a27592e0efbae046ce6c7e47c | ocamlx(Btermdn) |
| = 1741e90e662685e4be92495cd83bccb0 | ocamlx(CArray) |
| = b30391fb50300289b7bc8af1542762db | ocamlx(CAst) |
| = 8a09dad9153627fdb9a3260c37ee439d | ocamlx(CClosure) |
| = e058a3ff9234dbc915c0981b01c8bb8a | ocamlx(CDebug) |
| = e163db81eefed9a295d459c237c00578 | ocamlx(CEphemeron) |
| = 42f32bf8433b8657144712d5383f6152 | ocamlx(CErrors) |
| = 69c2b2621aaa8887df2ab907a282edda | ocamlx(CLexer) |
| = 8d59eb9210256be316adc1aa298f7fd3 | ocamlx(CList) |
| = c6592721cdb29f28c0cefbfa45d01b2b | ocamlx(CMap) |
| = 98481053170e3f276a6ddf5318462727 | ocamlx(CObj) |
| = 3026d3b707303ee06c2cb19fde8eb685 | ocamlx(CPrimitives) |
| = dafdf45dfe2fb68edfbf3a31cccce519 | ocamlx(CProfile) |
| = e75c55fcbfefa0b19511110d76862870 | ocamlx(CSet) |
| = 2c83e6da57716e19b8ed3547c7af15ed | ocamlx(CString) |
| = 30829016d61cd0518b39dce14e9b2ba2 | ocamlx(CThread) |
| = 214cac943b8d89ce693166200e0fa894 | ocamlx(CUnix) |
| = 9a2eac891d5f0f2f974f0958bb2610d4 | ocamlx(CWarnings) |
| = 54f9d28b32c654dab68e73dcc7bb5f99 | ocamlx(Canonical) |
| = 70d8387647e5b973d450163a051dbe39 | ocamlx(Cases) |
| = 5372defd6b2182bf5699e1bfeaeebed2 | ocamlx(Cbn) |
| = 75ccf202f5614f8ac174100fe86747d9 | ocamlx(Cbv) |
| = b2fc4c93f5a7d53087737ea5b990ebfb | ocamlx(Cc_plugin) |
| = 78d77272730e0d1fe82079ea6ecbffa6 | ocamlx(Cc_plugin__Ccalgo) |
| = 7d2e06f106c75c92a1176184bdca8759 | ocamlx(Cc_plugin__Ccproof) |
| = dd35f911709efe0d29fd548b59d6a593 | ocamlx(Cc_plugin__Cctac) |
| = b30f5d2ea7cefc497b8c889bd33158b8 | ocamlx(Cc_plugin__G_congruence) |
| = 42e8701994e99d8c3c9a2a0f98fc2569 | ocamlx(Ccompile) |
| = c3b488f1e95a2547aec60016b6dbed03 | ocamlx(Class_tactics) |
| = d072ca6367d7856efdd1aac6a74f4f3b | ocamlx(Classes) |
| = 03f860cc438b08e4b97cbe0e9754b617 | ocamlx(Clenv) |
| = b28cb03e5561dcd4e1300d769faa84dc | ocamlx(Coercion) |
| = 17adff438eabae9202af6940fc45b5d4 | ocamlx(Coercionops) |
| = 2352003d10bc66f53b6d4bd3a82d0506 | ocamlx(ComArguments) |
| = 037709b7f67b8448b2ae5ef0bc76d521 | ocamlx(ComAssumption) |
| = b4254936eec3ac5c8462234d19a0e17e | ocamlx(ComCoercion) |
| = d6e34992e859c6231ec913a67800d041 | ocamlx(ComDefinition) |
| = c062d015e91aa49958fce8a92505bb06 | ocamlx(ComExtraDeps) |
| = 3899d5ef5a11cb8ce9daeb97ad64e906 | ocamlx(ComFixpoint) |
| = aee325be1f60c5a566cecb81c2e8e7a3 | ocamlx(ComHints) |
| = 0b634fb4d7410dff24df6a1f2f0556ef | ocamlx(ComInductive) |
| = 3ff9f483b13c8200791965920380f787 | ocamlx(ComPrimitive) |
| = b75c870ba5fed0ff6e98aa3ea7b7fe0c | ocamlx(ComProgramFixpoint) |
| = 001b7c8f16f1a6c8ece5afed5528f043 | ocamlx(ComSearch) |
| = 42a94624d421d415d9c684c9e1d07577 | ocamlx(ComTactic) |
| = e29fb0bc90055c9bc97c0dc3905f5a33 | ocamlx(Constr) |
| = c6d4707cbc60172052abeb4eec451533 | ocamlx(Constr_matching) |
| = 51dbb6f6fbf8aa1ed9bbe9d72dd8982d | ocamlx(Constrexpr) |
| = 3d18aedfb073d8f406f03d97045eea8c | ocamlx(Constrexpr_ops) |
| = aa158872ac40cc1f5fee8133ff4bb46c | ocamlx(Constrextern) |
| = 1bf2cfcc3bc1f6e59ca7a5d0956526a9 | ocamlx(Constrintern) |
| = 1cec9cf73948a772183ada7f29073e3c | ocamlx(Context) |
| = 697ce76187eb6bd535cf5b059518f1d8 | ocamlx(Contradiction) |
| = e9ff5e3c67ea45e66a70549c121b490f | ocamlx(Control) |
| = 07aaf301283b61ab92894cf99658774c | ocamlx(Conv_oracle) |
| = a672fe68bf17e996c89fd710642d403a | ocamlx(Cooking) |
| = 52a96bfecb4e410a8941455f3ba55807 | ocamlx(CoqProject_file) |
| = aa4e4b608846c57fb74c97ffe2be8c72 | ocamlx(Coq_config) |
| = df386572dbbdb64a40609fa06a0f0415 | ocamlx(Coqargs) |
| = 5e0d3bd52b3238a108c8906b30cc0c0c | ocamlx(Coqc) |
| = 6d50dd5672214ae600345009e5509b74 | ocamlx(Coqcargs) |
| = c0f4ae461ebddb4f27e655c01554181a | ocamlx(Coqinit) |
| = 6ad0ec6aed02b35b5188fc354ef61974 | ocamlx(Coqlib) |
| = 8865a1cb13ce3ab50a31440fb940357c | ocamlx(Coqloadpath) |
| = 2aac56b4b954bfd20f0efc9682d1e939 | ocamlx(Coqloop) |
| = 78ecf2a80c766bb54dbd75e9941df159 | ocamlx(Coqrc) |
| = ec0dd3dfefdd99d69f5da2c44ef655f3 | ocamlx(Coqrun) |
| = 5cc36adf3b7af35416a0febc25ab1f3e | ocamlx(Coqtop) |
| = cb286ebf5dc6220ce137c013e214d62c | ocamlx(CoqworkmgrApi) |
| = 8b4ed79bbefcf12aeddf5a6b532dabde | ocamlx(Core_plugins_findlib_compat) |
| = 8cc9155f354d23e70c565a638695c9bb | ocamlx(DAst) |
| = e110282756728444bbbc26e3b826ebc4 | ocamlx(Dag) |
| = ccc204dc8070ce4415a02df9d502758a | ocamlx(DebugHook) |
| = 608834d7dba1d275262eaa4111a7ba87 | ocamlx(Declarations) |
| = c5e8f570ec367e7d476280fb0bac630a | ocamlx(Declare) |
| = 608ef95f091614d4afce116bdf48b383 | ocamlx(DeclareInd) |
| = 5bc1fc45370b570c87f2f86a1a80bc3d | ocamlx(DeclareScheme) |
| = f8535f789d9440dc369915f68339aa92 | ocamlx(DeclareUctx) |
| = 4e3caa1908677d07b154160c555728fd | ocamlx(DeclareUniv) |
| = 651f6271e243dd7e6cc61f9833e8f420 | ocamlx(Declaremods) |
| = 94d74eb7069f80d7979f53ccadfbef83 | ocamlx(Declareops) |
| = 331dbe2ee504b122feb28db8a0448c79 | ocamlx(Decls) |
| = 0a860c8519ffc5cddefbe76f36ddbf2d | ocamlx(Deprecation) |
| = 39dfac8beb59650214ab9441f7f20799 | ocamlx(Derive_plugin) |
| = 9597d3373a20d4bd60e652bcb4f8a1b6 | ocamlx(Derive_plugin__Derive) |
| = 1e116754da2e99215303c0c0fe76e22d | ocamlx(Derive_plugin__G_derive) |
| = c2242d09a6a764d58006edd6a43e77e7 | ocamlx(Detyping) |
| = 4979ae884701eb5b2fff201840600410 | ocamlx(Diff2) |
| = daf97f95b74e0717050231b2122c4115 | ocamlx(Discharge) |
| = 98dec2f40a7e30bda20d6da8ddcb1cbb | ocamlx(Dn) |
| = 00249208fa23e6d0e5a9bc167e8d6e2d | ocamlx(Dnet) |
| = 7c040f4170cda4b9be6bd81c2eb408b6 | ocamlx(Dumpglob) |
| = 6b6a5f9af639456b1ba81d1b75ee3392 | ocamlx(Dyn) |
| = 875bbd15acda61174f0173f207c38a00 | ocamlx(EConstr) |
| = df11b2ed4900864643ea8f38ab0fc103 | ocamlx(Eauto) |
| = 6d1d706d5f1cc4fdcc3504e0c580322e | ocamlx(Egramcoq) |
| = a39cb8f5a2628af3158aca5da874d86c | ocamlx(Egramml) |
| = dd2a739099b5f374009f01c344022f4b | ocamlx(Elim) |
| = 1fd79d6406702c632eac0e0aa72333d4 | ocamlx(Elimschemes) |
| = a70d6426512a40135187bb14e8635ed7 | ocamlx(Entries) |
| = 77fccf9908ea5631b7d62a0cc93e0a1d | ocamlx(Envars) |
| = f97278c854dfd8a4c1a334f733616e06 | ocamlx(Environ) |
| = 3f2c57411a215eafc6cf510807c93298 | ocamlx(Eqdecide) |
| = 0ff9c66a73619f622895c85d2e206860 | ocamlx(Eqschemes) |
| = 61389afa137a2c4cf161a01e85d90198 | ocamlx(Equality) |
| = 6479c94bea0d9118bb2243bb7461d539 | ocamlx(Esubst) |
| = 7880d8fea85ace6cc913925e904ac047 | ocamlx(Evar) |
| = 385ab61189c1f4ccf6df72fe046eafed | ocamlx(Evar_kinds) |
| = f4cb24a42e75bcc87473b5d66e5a6ac8 | ocamlx(Evar_refiner) |
| = f981a2b1becafd6adabb4da14861f948 | ocamlx(Evarconv) |
| = 0326b4c3c898d2810b859067c03aaefa | ocamlx(Evardefine) |
| = 588218f86a0c48cc66c99469448481d2 | ocamlx(Evarsolve) |
| = 0cc2445804cb2e4d39cf0d4913cac8ca | ocamlx(Evarutil) |
| = 851f0f34c10779aa1252333875614ee9 | ocamlx(Evd) |
| = cf89b09c6ac1379986d9b016943c7cac | ocamlx(Exninfo) |
| = 5e9252abd24e825805bba67d84387b16 | ocamlx(Extend) |
| = 755e74b49a3b8d9078abfebcb462f933 | ocamlx(Extraction_plugin) |
| = 77f4ff5dea8fb5a3334dbbd50b0dbcf9 | ocamlx(Extraction_plugin__Common) |
| = d8f66f23c5e5448eb8065f2336959966 | ocamlx(Extraction_plugin__Extract_env) |
| = 033d5e0c39abdda63e62205125946622 | ocamlx(Extraction_plugin__Extraction) |
| = a979bc1a774c905951c1ac975b133730 | ocamlx(Extraction_plugin__G_extraction) |
| = 0387bf8bbb544a5be63338d5a27d732f | ocamlx(Extraction_plugin__Haskell) |
| = baf39dbcbe74f9c6e580fdb779044aff | ocamlx(Extraction_plugin__Json) |
| = b25a2c8764602b9267f9f372864049d8 | ocamlx(Extraction_plugin__Miniml) |
| = 9dca09de490ce6f40ef2ebbaed94d906 | ocamlx(Extraction_plugin__Mlutil) |
| = a4ac84f70bd9d65f5f67d1ff53aeb39d | ocamlx(Extraction_plugin__Modutil) |
| = 7e397b294a7c814931788e0c5e7f307e | ocamlx(Extraction_plugin__Ocaml) |
| = 3e6730c9a9db92ae86c4b515f67d9957 | ocamlx(Extraction_plugin__Scheme) |
| = 51b7a12f3660c0856766aac0b3451cee | ocamlx(Extraction_plugin__Table) |
| = 5970675e7ed1136bb865fba772909207 | ocamlx(Feedback) |
| = 554ed341c1cd7c85e0e0470e71eb9c92 | ocamlx(Find_subterm) |
| = 121f37975caf4b55834a6a3a49275294 | ocamlx(Firstorder_plugin) |
| = fe4e1d689c1320a75605694254fd2fc7 | ocamlx(Firstorder_plugin__Formula) |
| = 2629b2753814d5d3a7de4598fd421e7f | ocamlx(Firstorder_plugin__G_ground) |
| = c0d4081913e9bd6a74e97a78698da34a | ocamlx(Firstorder_plugin__Ground) |
| = b658c21c3581217529a9f275fb6266a5 | ocamlx(Firstorder_plugin__Instances) |
| = 6d54c29823c82931391ed0ace81a6095 | ocamlx(Firstorder_plugin__Rules) |
| = 25da0f822826ea3b8630cb01b1515fcd | ocamlx(Firstorder_plugin__Sequent) |
| = 21e9cce31f4e1e0a014a8e25cc341003 | ocamlx(Firstorder_plugin__Unify) |
| = 77000c95cf7e77e33925267b3d29708c | ocamlx(Flags) |
| = 1c48b0b9848a98b78b325019b188fb6c | ocamlx(Float64) |
| = 7bef336d2fb84d009c213331c0491c18 | ocamlx(Float64_common) |
| = c8b3a259090118bfb084af1f86db8b10 | ocamlx(Ftactic) |
| = 91628957653ad32984ec64df6f9ada80 | ocamlx(Funind_plugin) |
| = af02d8367feacd9e44b4e0e1d4462984 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 72e516f6bdc7c79cdfd72d314dfb1088 | ocamlx(Funind_plugin__Functional_principles_types) |
| = eda45fed3b30a39394edbbac101197b6 | ocamlx(Funind_plugin__G_indfun) |
| = c0cc4ff25988e3b75261aa0dc6bdf1b9 | ocamlx(Funind_plugin__Gen_principle) |
| = 6e18e30ea9e7d411c4c380a768d6abd1 | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = c3333e218002cbd1a0c8169bb53c77ae | ocamlx(Funind_plugin__Glob_termops) |
| = ad5d69426e83fc2ba6426013a88e801a | ocamlx(Funind_plugin__Indfun) |
| = 9fdcd211190bda1d5b8664bb0e184bf8 | ocamlx(Funind_plugin__Indfun_common) |
| = ecff554673d2d1bdf800f6747fee5d2a | ocamlx(Funind_plugin__Invfun) |
| = 34dabb06c1a08bffc0e13a3dc2aaefd2 | ocamlx(Funind_plugin__Recdef) |
| = 56f42a8b50bc19a35f11caeaa141c9ec | ocamlx(Future) |
| = 6fd8a258cf8b07a683d7df3f990283c9 | ocamlx(G_constr) |
| = c9b71936ad561ad317e376a38e6ad0bf | ocamlx(G_prim) |
| = 48ad1e10ec98b671411355c582c701c6 | ocamlx(G_proofs) |
| = adbe63ae534d1feb33d89cee48eded50 | ocamlx(G_toplevel) |
| = 89b170202c63d808be144f52e9c3edba | ocamlx(G_vernac) |
| = 215b7bd94baaa13b0dcb81813bb82726 | ocamlx(Genarg) |
| = b2496c9e2f84b5c6e53328068718c19c | ocamlx(Genintern) |
| = f174899dd78798324d961c7f04ebdbc8 | ocamlx(Geninterp) |
| = 9a42bb74f480a6fad1ae62394081ee31 | ocamlx(Genprint) |
| = 69521eedd5605372e8fe8f44f518b2bd | ocamlx(Genredexpr) |
| = 09ed3a342c1e5499a32db4ac8d97be76 | ocamlx(GlobEnv) |
| = dccae8aec09ab16ad966dbf6d317b5d2 | ocamlx(Glob_ops) |
| = 23c3029811a5c1ac31eeebfa3c47efe2 | ocamlx(Glob_term) |
| = cae954d720127aabad69ba5810bf1b09 | ocamlx(Global) |
| = 2e2e8a62b8f23a40c03ca8b23d263936 | ocamlx(Globnames) |
| = 2d9f34b8c246b54a82e8524cf9338949 | ocamlx(Goal) |
| = 7f5d481c2408b02f602b2d7a529093b4 | ocamlx(Goal_select) |
| = 1dd51d5dba03c69fe466b1e6bf79ae75 | ocamlx(Goptions) |
| = d536bfc5c7d7f9d26bd5cbafa22ca905 | ocamlx(Gramlib) |
| = c3b6b41157a26a83fd6b2c5b0f67c372 | ocamlx(Gramlib__Gramext) |
| = a22f873f4c6f2d5f39b72b48e8300dcf | ocamlx(Gramlib__Grammar) |
| = f6a8eb2991371477b86515bae19b3411 | ocamlx(Gramlib__Plexing) |
| = 04d3b289570108ca395b03cb7f725a56 | ocamlx(HMap) |
| = 4da722afb771165037ca64b134650d21 | ocamlx(Hashcons) |
| = ec54211bbb0c8aeb40dabc5cc4cfaf15 | ocamlx(Hashset) |
| = 00bbffa84779e8a11f13eabb8ec5c409 | ocamlx(Heads) |
| = 9a3b88713a00fad0e8fb1db460c6d7c2 | ocamlx(Heap) |
| = a7e16cd59b57eab40ae1c499ca0f2424 | ocamlx(Himsg) |
| = e818bd8d6aca911b9497acff7bcc5188 | ocamlx(Hints) |
| = 9c8e2f3fe77b116dfb0d1ec06d8c49c0 | ocamlx(Hipattern) |
| = 20a7a6fc084a1fcaba807cf8d8b55632 | ocamlx(Hook) |
| = 234e0b4c31072a6ff516e206c4d419eb | ocamlx(IStream) |
| = fd50e334799b5641c607be0be03d465e | ocamlx(Impargs) |
| = a8d85c6743829931513cc4352b95c3f1 | ocamlx(Implicit_quantifiers) |
| = 6386bf3e653b96a956a0854dac1b4b28 | ocamlx(IndTyping) |
| = d9036972127c689e833bb8933465345a | ocamlx(Ind_tables) |
| = af09e91b447a31bc3fcc87e9f839f79d | ocamlx(Indrec) |
| = dc6dcd725358c8be24426e5f24047159 | ocamlx(Indschemes) |
| = 9370e955fe5ff6c0e9e552162b7732ab | ocamlx(Indtypes) |
| = 3b34798ece8b452e8d3025622f306ce1 | ocamlx(Inductive) |
| = 26cf1f342410eecf3a41774227b61832 | ocamlx(Inductiveops) |
| = d003b33447d3778341409c9ae9f21135 | ocamlx(InferCumulativity) |
| = 4ecd8a9f8926ea4fd30c3ec4122cedda | ocamlx(Int) |
| = b441061c83faaae783d3691b37c6cedb | ocamlx(Inv) |
| = ef3e23913d170a6aff78c06ac7410cdf | ocamlx(Keys) |
| = cf7cccc733c5ae2de311128dda7fb8d4 | ocamlx(LStream) |
| = 05cd6ee08a9b4a5fbc87fed39e2b3122 | ocamlx(Lib) |
| = f3354f5fd36582cc4b1f3402018305b4 | ocamlx(Libnames) |
| = af71b44cde0a6f1a447b1f84cf730dd9 | ocamlx(Libobject) |
| = 5f1196e77c095dbc44f99a576bd5b088 | ocamlx(Library) |
| = 428cb1167c348dbf4cc7fce6915bdd77 | ocamlx(Loadpath) |
| = 2c97260dd31fb8e11ad0c5e45f95bc6c | ocamlx(Loc) |
| = 8c0b61b56c053fae5d69d9959dd3c1ea | ocamlx(Locality) |
| = ed638fddde11bbfbbe5541f0d8af5e13 | ocamlx(Locus) |
| = 31db3307e42d3bf31e9dee3f675ca25f | ocamlx(Locusops) |
| = 339ccba0d095b5676e33b4fe4e5233ea | ocamlx(Logic) |
| = 41d43962040bf05fd04c22e850725e8f | ocamlx(Logic_monad) |
| = 8da2da26e12fd3ac6c1a199ca99e65dd | ocamlx(Ltac2_plugin) |
| = d483a72b64e25da5b0189a46a847d0e9 | ocamlx(Ltac2_plugin__G_ltac2) |
| = 1cfe65f31be6bc6aaa83c4f5fe9afe5f | ocamlx(Ltac2_plugin__Tac2core) |
| = 818ff36c303f5657bfd741e657e3b826 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = bd8d04d801dcf20d8926b6f3835e9aeb | ocamlx(Ltac2_plugin__Tac2entries) |
| = 395d38b0efc2f43e3d5b0a9ee56aa909 | ocamlx(Ltac2_plugin__Tac2env) |
| = 023f5bfb666ada136708aeaffe36a480 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = 9c30a5eeacc22f2503936218719fd59a | ocamlx(Ltac2_plugin__Tac2ffi) |
| = dc118e568d3c151eee4872b93d998763 | ocamlx(Ltac2_plugin__Tac2intern) |
| = 40512450bdb73ec554f5104f1d377e66 | ocamlx(Ltac2_plugin__Tac2interp) |
| = 84efb03828f2e9a258b755d67ce2259d | ocamlx(Ltac2_plugin__Tac2match) |
| = 0780114b27004e7620f0fff759327cae | ocamlx(Ltac2_plugin__Tac2print) |
| = f5d2948d48884394c8da844c1e111915 | ocamlx(Ltac2_plugin__Tac2quote) |
| = 61247f9c5bd406b59d583c3d6190394f | ocamlx(Ltac2_plugin__Tac2stdlib) |
| = eeff7de3ca834a6467fc9ba14859e932 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 649c89188143cfcc8311d2c31fb5a6e6 | ocamlx(Ltac_plugin) |
| = fc044162ad1d732680c3c1b328241dcc | ocamlx(Ltac_plugin__ComRewrite) |
| = 001b9a30ec750be9ebaf4723eca4d959 | ocamlx(Ltac_plugin__Coretactics) |
| = 96cebfb04734bfba8cc364e6321144e8 | ocamlx(Ltac_plugin__Evar_tactics) |
| = 32b5178ab5937181623744b59916e026 | ocamlx(Ltac_plugin__Extraargs) |
| = ba43e6f9439fa7e39a741a16e988ef11 | ocamlx(Ltac_plugin__Extratactics) |
| = 40fe0b3f7e94fcb860b340a7aad433dd | ocamlx(Ltac_plugin__G_auto) |
| = 65672803876e42d520ef5d466cbafbe3 | ocamlx(Ltac_plugin__G_class) |
| = 08dd56b90ba52874e726b50ec92f4a9c | ocamlx(Ltac_plugin__G_eqdecide) |
| = 2098ff216a4eba7ba8ef5ca04e0cf328 | ocamlx(Ltac_plugin__G_ltac) |
| = 95c25ea5270ec3fdde41959d1a06f540 | ocamlx(Ltac_plugin__G_obligations) |
| = caaab37ab4f737d582d63db176660d8a | ocamlx(Ltac_plugin__G_rewrite) |
| = 9fe8828b804c800e8dba2d4ad9785643 | ocamlx(Ltac_plugin__G_tactic) |
| = 2330589efc7f72dbdb5c1d6b87065a82 | ocamlx(Ltac_plugin__Internals) |
| = d41a26f7dedec4583fdeedcb4fd9279c | ocamlx(Ltac_plugin__Leminv) |
| = c144c9cceecb8515445556eb948cee81 | ocamlx(Ltac_plugin__Pltac) |
| = d8566433c135140692b04ea46f58a755 | ocamlx(Ltac_plugin__Pptactic) |
| = afb2fbb5e6312f4ad4ddc76714d5fb09 | ocamlx(Ltac_plugin__Profile_ltac) |
| = fa13c32b30727c9e9a5eef6c32ad5dfb | ocamlx(Ltac_plugin__Profile_ltac_tactics) |
| = 58b77a1dbbcf8f55ad8abf8401b54a04 | ocamlx(Ltac_plugin__Tacarg) |
| = ec1dfd7e3b8dcf019a6c8869db6918ef | ocamlx(Ltac_plugin__Taccoerce) |
| = a7b3b675878a47e9901aee05aff95313 | ocamlx(Ltac_plugin__Tacentries) |
| = 1be4c5596a6e0ab01b27e7d3a36fdc47 | ocamlx(Ltac_plugin__Tacenv) |
| = 474e2afb7f70ba2d6052e8a1f77d7aa4 | ocamlx(Ltac_plugin__Tacexpr) |
| = 0a2cd1053c75618a06d203daec151ae8 | ocamlx(Ltac_plugin__Tacintern) |
| = f6b2127eebf523d0b93e019cf98c33e7 | ocamlx(Ltac_plugin__Tacinterp) |
| = d9e7c8edd79962f6086d9b86e4cd7288 | ocamlx(Ltac_plugin__Tacsubst) |
| = f9f3e0b3f5b7cdd1dee9e3c4ea2f9372 | ocamlx(Ltac_plugin__Tactic_debug) |
| = 47a7ac7dce67f6df76179b8225fc22f8 | ocamlx(Ltac_plugin__Tactic_matching) |
| = 31956c2943452412948482d040431f46 | ocamlx(Ltac_plugin__Tactic_option) |
| = 79728da2d8858eb89576f366abc38adb | ocamlx(Ltac_pretype) |
| = 9a5c75fefc65fc906bf299139566eeae | ocamlx(Metasyntax) |
| = ffc646dd2cdf6384e2f9fec3126579f3 | ocamlx(Micromega_plugin) |
| = 4b957972a00e2f6ee3fda850e1bf1dbd | ocamlx(Micromega_plugin__Certificate) |
| = 6ae3d13d02da34d8bd16c241827918ef | ocamlx(Micromega_plugin__Coq_micromega) |
| = 3eadea01a3a0d196253af51562c73c94 | ocamlx(Micromega_plugin__G_micromega) |
| = 65debc6bc73014122cdbce75c5ea2e52 | ocamlx(Micromega_plugin__Itv) |
| = 3c1efc6a78da48defd1ccaf66b9465db | ocamlx(Micromega_plugin__Linsolve) |
| = b132c9f307a17827e41faaeb99364c38 | ocamlx(Micromega_plugin__Micromega) |
| = 560e42af649ba66dc7dbde89914b679f | ocamlx(Micromega_plugin__Mutils) |
| = 68591499b8757c14be6b7f15237bdd75 | ocamlx(Micromega_plugin__NumCompat) |
| = cf3b857fc40ea2870f77d9238be79de9 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 40dc9302c2706144494d2d1598e0f78e | ocamlx(Micromega_plugin__Polynomial) |
| = 527a0a7fefdf7ba09e79b0a71ded9ad7 | ocamlx(Micromega_plugin__Simplex) |
| = 5b7448981d03ab0fc29098b7108ec29d | ocamlx(Micromega_plugin__Sos) |
| = 304747db25007448fcc4afa8b347f1bf | ocamlx(Micromega_plugin__Sos_lib) |
| = e1200cf2f3e66749b7fa83bbdb6f25c5 | ocamlx(Micromega_plugin__Sos_types) |
| = 4913cd011145fe77eb41219be8b1cfe4 | ocamlx(Micromega_plugin__Vect) |
| = 5d0ef3cc2c45bc51a2f928cab13d5b9a | ocamlx(Miscprint) |
| = a085413ed04fbf0fb81be1ebf8b0fc81 | ocamlx(Mltop) |
| = 3249cf02492f1798a23566976730c647 | ocamlx(Mod_subst) |
| = 3e68eb25a45cb9ce52c725d31bb93ed2 | ocamlx(Mod_typing) |
| = 2e8ee889588d2546816beadc1a4365ec | ocamlx(Modintern) |
| = 8599ffd33a306e3a3ee80547718de11a | ocamlx(Modops) |
| = 98265463065bf6c58ac85a7d52ba4f75 | ocamlx(Monad) |
| = 8a98794f651c465ff10612781af0eb4e | ocamlx(Namegen) |
| = 96d6271019d38919669a10cd6dbdcfb4 | ocamlx(Nameops) |
| = 1a4d954432461a44fd20e78cd3ee56c5 | ocamlx(Names) |
| = a44683b97b3678b8d6f79b49d501f0d5 | ocamlx(Nametab) |
| = c17d0426962a98295fddb7dff30020d7 | ocamlx(Nativecode) |
| = 17693b3660db1bdf725b10d40b48fabe | ocamlx(Nativeconv) |
| = 6dd6509d5ed42914364d74afc8f20a74 | ocamlx(Nativelambda) |
| = 5973ca72403da5b6ea5bf8a20366c697 | ocamlx(Nativelib) |
| = 530830d5f2b8e78c9fe5b79ca9b7963c | ocamlx(Nativelibrary) |
| = 69bfa9fbdc034741ef21f8630fd19716 | ocamlx(Nativenorm) |
| = e9d24fbbfd9a8224482ba16fc3c48b26 | ocamlx(Nativevalues) |
| = 4dd80e23704a757c1753bb7194fcd0bd | ocamlx(NeList) |
| = f0d358039198b6d116d1c93fdcbfa3f2 | ocamlx(Notation) |
| = 7c7b99387e559471f65bb36790c784f0 | ocamlx(Notation_gram) |
| = 873a60c8f31fdb08fe2267811183a7f3 | ocamlx(Notation_ops) |
| = 9c55fe3916c7a1ad6ba7e275e085d9e9 | ocamlx(Notation_term) |
| = 8edfeecaecb453b721022e73c6792597 | ocamlx(Notgram_ops) |
| = 072bb9794c576826077f4241a4f6c4ab | ocamlx(Nsatz_plugin) |
| = 75ef85ad74ea77935d7bf0b250422035 | ocamlx(Nsatz_plugin__G_nsatz) |
| = afbeeb14f14441496e33f5817116c654 | ocamlx(Nsatz_plugin__Ideal) |
| = 83e46a05b241af0035e642c61130247f | ocamlx(Nsatz_plugin__Nsatz) |
| = a4ed79849b2cb189199b24f782165ad9 | ocamlx(Nsatz_plugin__Polynom) |
| = e7811a2afadd2d2699763febc72603ca | ocamlx(Nsatz_plugin__Utile) |
| = c83060faef0b6e5d770835504b77c9bb | ocamlx(NumTok) |
| = 9fbc810af38eac579c9e63c1e458f223 | ocamlx(Number_string_notation_plugin) |
| = 021af80f471fd87fb1e57627721402ea | ocamlx(Number_string_notation_plugin__G_number_string) |
| = 058efb8a8705dba30b7f863f76ff21c7 | ocamlx(Number_string_notation_plugin__Number) |
| = ab857b0bbc3bb46bd51b28f796e3a31b | ocamlx(Number_string_notation_plugin__String_notation) |
| = 3748bd898bf7289f7e0bb4f831bcc3f4 | ocamlx(ObjFile) |
| = 124f3037fa36400e1633f395148939d8 | ocamlx(Opaqueproof) |
| = a7ff258f7b2c870d6b4a5e99198368bd | ocamlx(Opaques) |
| = 3d469b81e472024e47962f901f721f6e | ocamlx(Option) |
| = 95afc34014b4741ffc9a8fd611a81a26 | ocamlx(OrderedType) |
| = 9b749193c6e9ae4544c7214d6a54c233 | ocamlx(Parray) |
| = 32d1b50a13b240dfaaaae8aed530a4b3 | ocamlx(Partac) |
| = 7e49d478b7f658cbc9b094cc0fd516d3 | ocamlx(Pattern) |
| = 612edad0a3e724a005bec41fdd0d4db4 | ocamlx(Patternops) |
| = 835cbe99d3cc0a21316d73ea3fac50af | ocamlx(Pcoq) |
| = 3a80561a26a756e8146e053a12c94633 | ocamlx(Pp) |
| = 00d0f6b931b411574e0e3e3f026644f5 | ocamlx(Pp_diff) |
| = 0d31f000ce045f554e6613e19cdfef8c | ocamlx(Ppconstr) |
| = 8bd4a2b1a38f15f73b0a4bb97152f9fd | ocamlx(Ppextend) |
| = 8668920c61dedc7e45b6a08bfc4dd053 | ocamlx(Ppred) |
| = 6fb10a874e690fb41564e8fe72b3c081 | ocamlx(Pputils) |
| = 943ac5c324bd562205756212df1e09a9 | ocamlx(Ppvernac) |
| = 759261dd5abb712e25614a040b1886b9 | ocamlx(Predicate) |
| = 58a6e411de542f792d35ebfd9baa7ffb | ocamlx(Prettyp) |
| = abf3d7424c866cf149e75b8921cb49e0 | ocamlx(Pretype_errors) |
| = 04552835f7014f69719cf0596f16e2b2 | ocamlx(Pretyping) |
| = 8775a53456aebde45f54f1c9efb34a5c | ocamlx(Primred) |
| = 16f5c5d1852b37ce86dc67c2c74e15de | ocamlx(Printer) |
| = 8ccbcd691e4ffab6a6c9311f1e137544 | ocamlx(Printmod) |
| = d598fbf0c7cf69a8e3b1e0612fa190b3 | ocamlx(Program) |
| = 6a04e814cf408023c26067014a6d0c70 | ocamlx(Proof) |
| = e423a45f63e35729f3666d4896164354 | ocamlx(ProofBlockDelimiter) |
| = d82d5497a578df3f62722a500e0d2473 | ocamlx(Proof_bullet) |
| = ddad3b1739be3becf8dbf182f3b4b23c | ocamlx(Proof_diffs) |
| = 7e127f0e8ce418d130e8c41f8f2f70b0 | ocamlx(Proof_using) |
| = fdaf500413a662434135f3084088602b | ocamlx(Proofview) |
| = 8433ef92e83a6863c123e1bb3831d8a4 | ocamlx(Proofview_monad) |
| = b6ff24b1c7f2c1acf87813bbc4579fca | ocamlx(Pvernac) |
| = 793e08286a9972ee669096a403cd03d7 | ocamlx(Range) |
| = ba2c293f50114073c1e4fd146d1e3b0c | ocamlx(RecLemmas) |
| = cb7053425198c5f75515356ab99b5b30 | ocamlx(Record) |
| = 47cb2a34d3039f194a5230b8348dfc2c | ocamlx(Redexpr) |
| = 156add0e47a77b6c1f7388575ee803dc | ocamlx(Redops) |
| = 74254e633db5efb720edf57f10bb06c8 | ocamlx(Reduction) |
| = a5269ca159ccee2ad9811003885d2239 | ocamlx(Reductionops) |
| = 818411d77f20105edee779cdad3d7463 | ocamlx(Refine) |
| = d30ca380bf738ac55f6fb002ed5b87cd | ocamlx(Relevanceops) |
| = 5b7ab991d1e4a54463e5604e0bffc65a | ocamlx(Reserve) |
| = 166a68162661f7b374a0e022f246f3e0 | ocamlx(RetrieveObl) |
| = 4edb280a26facd9d5bf288e733e1fd46 | ocamlx(Retroknowledge) |
| = 6287f566a38fbd04f7312322a1c29583 | ocamlx(Retyping) |
| = 4775303cb7a0189f3f358ce4a3977af8 | ocamlx(Rewrite) |
| = 6cfc13a5cdfb820737690572193c4e80 | ocamlx(Ring_plugin) |
| = 45138004729e2c06d28911bfafc701ef | ocamlx(Ring_plugin__G_ring) |
| = e651047926bb6fc0a8a7976a2904a60f | ocamlx(Ring_plugin__Ring) |
| = 85734e77c814d854e04fc5ab20b6d8be | ocamlx(Ring_plugin__Ring_ast) |
| = d83d6f521578ea70db18b810c27e5510 | ocamlx(Rtauto_plugin) |
| = 13edadd861ce89a8ae6da97685cca445 | ocamlx(Rtauto_plugin__G_rtauto) |
| = 630f365f05894162aacad00282b47951 | ocamlx(Rtauto_plugin__Proof_search) |
| = 005554f89960d26a9dbd1717073b2837 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 274e7a3f88dad440a0cf9d4918554b52 | ocamlx(Rtree) |
| = c459c2a36e007cd2de9c6089bfee334e | ocamlx(Safe_typing) |
| = 4f3547759cfb0fa6fa2ba2d0aeff770f | ocamlx(Search) |
| = 59d59614226161b9fec2dc93def3a3d1 | ocamlx(Section) |
| = be00be8470c4c0b98c4b87c86da8cff4 | ocamlx(Segmenttree) |
| = 68b0b8610837505fb69e2da9bfc5be27 | ocamlx(Smartlocate) |
| = c1dd08944b954741c41e72576b99e4f1 | ocamlx(Sorts) |
| = ed61db6a9f6a338226249d6b4bea8341 | ocamlx(Spawn) |
| = 01351249e14c5e4dda9d729a82b03a0a | ocamlx(Spawned) |
| = 868976c90de81dc4bfa1a45d2ac4b22d | ocamlx(Ssreflect_plugin) |
| = 8f0d6b917b27c68c3dacbd5c514d2858 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 97e7f610b69243187daddecf4aaaa2af | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 867145d0b7831bc9fc55e50e899c398b | ocamlx(Ssreflect_plugin__Ssrelim) |
| = f28cc727ee3d83054a527d0b32351946 | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 410f4eb16751e51cba0aa7c41f66e6ae | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = fbf422fabbc426bc7e175f8a5370bc92 | ocamlx(Ssreflect_plugin__Ssripats) |
| = 4159d58cf29480b13616064bcdd4bf58 | ocamlx(Ssreflect_plugin__Ssrparser) |
| = fde8b68460c97e4bbd55cfa11671269a | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 504a33df02a4106c5c058fb03c34e5dc | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 5cf74b0e40a0251dfcfe98b65bb9d694 | ocamlx(Ssreflect_plugin__Ssrvernac) |
| = 146ce32d9f0121ddbdd5f7468a3125b8 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 73f2080b7323f88adecad5699ef64e41 | ocamlx(Ssrmatching_plugin) |
| = 774251c59fa9911c928ee73c14ee8a11 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 1ad089d11dff6906b8ccf7ace9cf6843 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = cfb111336607f6ed1098217f92ab3c85 | ocamlx(Stateid) |
| = 5bea011d20ce4af6ddeb21e319dee681 | ocamlx(Stdarg) |
| = 0dee3428d82c02127c171d4bf6a2c0af | ocamlx(Stm) |
| = 65c7e7d5cc6296a1a4e3f6486c3fe929 | ocamlx(Stmargs) |
| = 79c8fc2b2d91071ca25189f6d498ac98 | ocamlx(Store) |
| = de1e2a42cac7acb3574488d7abbf7170 | ocamlx(Structures) |
| = f46680e9ff1a3b10c275f6c680d3a179 | ocamlx(Subtyping) |
| = 2c3e57ac5f77a0653afb02a67b099650 | ocamlx(Summary) |
| = cd5ec0f72340ffc8667a93d253f5d676 | ocamlx(System) |
| = fd312fc347fa5fa92f7faae58b3ce47d | ocamlx(TQueue) |
| = 101d82acdd85e06871ebf95e49e1cfcd | ocamlx(Tacmach) |
| = 7cc37b9ff8bb8855cb6ff24c24bda981 | ocamlx(Tacred) |
| = c00a7a131ba49b34e8613e2a90c7d759 | ocamlx(Tacticals) |
| = cdf36c17278ee98abc35da9a3558a840 | ocamlx(Tactics) |
| = cd3e08f32efb46f5513e445ce3b11b98 | ocamlx(Tactypes) |
| = d55d35d5b26e5ec3becec780579cce59 | ocamlx(Tauto_plugin) |
| = 52ccb8b1e6432c3b4f7f3ecf552095fd | ocamlx(Tauto_plugin__Tauto) |
| = eadae04d27f5ddad7bb6ccc76bb352d3 | ocamlx(Term) |
| = 53854cd4c0abacca00fcc090e4d970ec | ocamlx(Term_dnet) |
| = 87d287d25cc554057e1bb43cf4d519e2 | ocamlx(Term_typing) |
| = 81f63cdaf7d35ef48f90f10ed6c59a85 | ocamlx(Terminal) |
| = ca673ac2040f99ea388187d17ba5f304 | ocamlx(Termops) |
| = b871221009598cad605fd07e06be272e | ocamlx(Tok) |
| = 6d6a13209e38af7a21060f7c63f22e1c | ocamlx(Top_printers) |
| = bf41ec1f4e06a1600c78c541fb488977 | ocamlx(Topfmt) |
| = 0716e15a07dacd059e85235c3fddbf6a | ocamlx(TransparentState) |
| = ddc1e27735051c2c77e65c252b920f90 | ocamlx(Trie) |
| = a2f134b77460546acf163172d57dce7a | ocamlx(Tuto0_plugin) |
| = ccea020c04676ddf0116ba0fc6c8bdf3 | ocamlx(Tuto0_plugin__G_tuto0) |
| = 8e471fee8caa411f10a171a708a3a897 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 5d2d81151850e812c46bbe4a059f934d | ocamlx(Tuto1_plugin) |
| = 50dbe932470e37f560f353c656374c84 | ocamlx(Tuto1_plugin__G_tuto1) |
| = 1679aae0d762f82fc0b57a30d251d757 | ocamlx(Tuto1_plugin__Inspector) |
| = ce03290ffe41ba6edd591b7007c2069a | ocamlx(Tuto1_plugin__Simple_check) |
| = 2817334cad4605a04593d55195d62817 | ocamlx(Tuto1_plugin__Simple_declare) |
| = 6dd1597def7e9c326e46d9e5783cbae1 | ocamlx(Tuto1_plugin__Simple_print) |
| = a9e4f57bc8a6ae1a059e2f8d19f57806 | ocamlx(Tuto2_plugin) |
| = 65bc59ec10fc134e9c5487806e2c1617 | ocamlx(Tuto2_plugin__Counter) |
| = 5c9a0d43db3b5bac84c956b4f31dac11 | ocamlx(Tuto2_plugin__Custom) |
| = e3007960a8a864f3cb4a80a2e1f6367b | ocamlx(Tuto2_plugin__G_tuto2) |
| = e6e06a2f44aeb6591d8894d98aea589e | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 42eb5843081a3eaea315024608810c34 | ocamlx(Tuto3_plugin) |
| = 121618b89ddc535ed1f2d70097114333 | ocamlx(Tuto3_plugin__Construction_game) |
| = 1d73a64318b549db090072aad2872a78 | ocamlx(Tuto3_plugin__G_tuto3) |
| = 4983dd9a8faff7a5ef6de34f30a2912d | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = c478068c81b44c0413345487e49ee93b | ocamlx(Type_errors) |
| = f248a7f00d68f170362c625e5a04bdfc | ocamlx(Typeclasses) |
| = 471501e39ec60fc096efdb487e063e04 | ocamlx(Typeclasses_errors) |
| = 2c322d21c3d063c6b89c6c05cef9fee6 | ocamlx(Typeops) |
| = 1a978a6554a8d1a1de4385496f28a033 | ocamlx(Typing) |
| = ced1d77790d545a6479436a4acf535a0 | ocamlx(UGraph) |
| = 2c62122ad178177fcda10e7afdd4c400 | ocamlx(UState) |
| = d22dec5116a443949657d62ccf13f19f | ocamlx(Uint63) |
| = 13b9068bc6c6836f8679f6672214f2bd | ocamlx(Unicode) |
| = 6748223bda90e6af1a749a6aaed25795 | ocamlx(Unicodetable) |
| = a903af62807ba798af784c83a4cd3392 | ocamlx(Unification) |
| = e775552d434f55fadaf618e4a7a96d07 | ocamlx(Unionfind) |
| = 51696dbb092bac5cde2346c361267918 | ocamlx(Univ) |
| = 8b7946a7e79214b9af3e7a16151ce8f2 | ocamlx(UnivGen) |
| = 289aa5b344839aa7741d2fbdbc618ecd | ocamlx(UnivMinim) |
| = b98c9c9ee4575226118d0161a402be25 | ocamlx(UnivNames) |
| = 6cbdbb8049964883d470a04b3088c3c0 | ocamlx(UnivProblem) |
| = 323f9c5ae7e62cf60bcbcc7cf3e752ec | ocamlx(UnivSubst) |
| = 19b4b81a3b0bdb1618506233bcac9410 | ocamlx(Util) |
| = df0447f472d2c84109ffc969ed82b5d8 | ocamlx(Vars) |
| = 9bb28618102df022e249c0fe1e10eb17 | ocamlx(Vconv) |
| = 5ba73bc3c293d48d0f1a100ce172b2da | ocamlx(Vcs) |
| = e0eb890ce7fe546cbe715e60e04af093 | ocamlx(Vernac) |
| = bc4d5105bfd899547c7bcb823b9c3c90 | ocamlx(Vernac_classifier) |
| = 8f2ec13b52e9ab9557dd0ff3404ba08e | ocamlx(Vernacentries) |
| = 3845695130d02faff0c50ca4eebcc232 | ocamlx(Vernacexpr) |
| = 25ad5cf64973f090c69e74bb1b8f97ec | ocamlx(Vernacextend) |
| = 366d900530cf3d60a21015e7bf835e39 | ocamlx(Vernacinterp) |
| = bcfabf9afb271abbcb1e2a7a99bfcd14 | ocamlx(Vernacprop) |
| = 8f518ef8da9a777f81e62486c8875afe | ocamlx(Vernacstate) |
| = 0e76ab5339f0b3e07139a37dd81f564b | ocamlx(Vio_checking) |
| = 8c209370042da742a8d08b7541ecd243 | ocamlx(Vm) |
| = e1c8829cbfb655876b8f6cf20216888d | ocamlx(Vmbytecodes) |
| = 8b83d05848af32634fb013b40377038a | ocamlx(Vmbytegen) |
| = 27709d5eef621e9b88a6a12684e45614 | ocamlx(Vmemitcodes) |
| = 88ca3ccf892f020f694bcea2c077ebd1 | ocamlx(Vmlambda) |
| = 0b3f25202f15b10c52b711d33ccce0f2 | ocamlx(Vmopcodes) |
| = 7605b80916ccd80818aaed59aa03f7f7 | ocamlx(Vmsymtable) |
| = e74efd8e75cfddbea4343cee11f4362b | ocamlx(Vmvalues) |
| = 81cec7f90502791c4a5ac0ed6de6463a | ocamlx(Vnorm) |
| = a0de5b180cb50c128e2a4013c8fb0072 | ocamlx(WorkerLoop) |
| = c329713e8a95f17efcdf2db2326fe92b | ocamlx(WorkerPool) |
| = d8332754f97a911218fea705c09fa2e4 | ocamlx(Zify_plugin) |
| = a3403171b70b9c9e529bd0e902e54ecd | ocamlx(Zify_plugin__G_zify) |
| = c12a78001de4ba3550eea985c7146702 | ocamlx(Zify_plugin__Zify) |
نحوه نصب
نصب پکیج rpm coq-core:
dnf install coq-core-8.16.0-1.fc37.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/coq-tex |
| /usr/bin/coq_makefile |
| /usr/bin/coqc |
| /usr/bin/coqc.byte |
| /usr/bin/coqchk |
| /usr/bin/coqdep |
| /usr/bin/coqdoc |
| /usr/bin/coqnative |
| /usr/bin/coqpp |
| /usr/bin/coqproofworker.opt |
| /usr/bin/coqqueryworker.opt |
| /usr/bin/coqtacticworker.opt |
| /usr/bin/coqtop |
| /usr/bin/coqtop.byte |
| /usr/bin/coqtop.opt |
| /usr/bin/coqwc |
| /usr/bin/coqworkmgr |
| /usr/bin/csdpcert |
| /usr/bin/ocamllibdep |
| /usr/bin/votour |
| /usr/lib/.build-id |
| /usr/lib/.build-id/0d/8ae6be8ae3f29562e09554fc1fff26526d98d0 |
| /usr/lib/.build-id/0d/aa0c5d11974d4d7eec9fcda08c4dc1062e7a22 |
| /usr/lib/.build-id/16/00464bac31007f3d6a93b14b6da84c7edbe969 |
| /usr/lib/.build-id/1f/0fbcb33f6fb0e34834bb49fc2f8df890863c87 |
| /usr/lib/.build-id/25/5222176f19f759bae68b44d63fcc7ed5de94d5 |
| /usr/lib/.build-id/2a/347500ea532eb3b057d89e96a5ab7917e1afca |
| /usr/lib/.build-id/33/7ba4e8bd9d41a2dceeca9f311ce8d6feefb9c3 |
| /usr/lib/.build-id/35/783e280f9775cc6654f3c68c7c013fc80838ef |
| /usr/lib/.build-id/3a/3712a5d75ff2082fda9ec8d210941bb2173b62 |
| /usr/lib/.build-id/3b/24ac8443bd6a106bc324d4dafe1cd8d91fd341 |
| /usr/lib/.build-id/3b/6346fe6476d8a3b3f76597dbfbaf3b56b2e425 |
| /usr/lib/.build-id/53/02a642a0124fd94a99a04c11882afe1561fe6c |
| /usr/lib/.build-id/54/11e3e028a69926800b62c1acff4ce9d89cba50 |
| /usr/lib/.build-id/56/27483e5e497bb49bedec912ed247e4e38d6615 |
| /usr/lib/.build-id/58/b586e63f5ebad610f8b1d4466f53f3b2280a47 |
| /usr/lib/.build-id/59/00dc9f3f81ee038cf4165c8121d23090f9813b |
| /usr/lib/.build-id/6a/a7ff48c38b21de91852da8f90ae95a0ab3d560 |
| /usr/lib/.build-id/75/4a964bf901aeb0664f41b39a4ab350b92825fe |
| /usr/lib/.build-id/75/f8f8a4ac5515cb88a12334019cfb6af60d65f6 |
| /usr/lib/.build-id/7a/8b769fe16f7235d4192b20cef8128bdd15226d |
| /usr/lib/.build-id/7a/a0384bc43f95613eaad8f114c5d93db410f7a0 |
| /usr/lib/.build-id/7e/1c43b5908e2bb555ef0b916ae4df8f7808dd50 |
| /usr/lib/.build-id/80/2794cc514ccb231d2494e626171e5e57f34a20 |
| /usr/lib/.build-id/83/4848b95423ad50ff18ce4f88c4010c75d27fb7 |
| /usr/lib/.build-id/89/a2df9855b1ed7435ed1397c58918c17f92e84a |
| /usr/lib/.build-id/89/e25e137c0e04783f07b5499cfce23dd91c79c9 |
| /usr/lib/.build-id/8b/800ca57d22b8e3f172420806389e0c2239f60a |
| /usr/lib/.build-id/8f/90dc8e259bf74b08cbb89ee0426b84ac8fca73 |
| /usr/lib/.build-id/91/2105f76930cdb89c407c45f0f25192d14c5e8c |
| ... and 3143 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 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
|
| 2021-11-30 |
Version 8.14.1
|
| 2021-10-21 |
Version 8.14.0
|
| 2021-10-05 |
OCaml 4.13.1 build
|
| 2021-10-04 |
Try to build on s390x with OCaml 4.13
|