معرفی شرکت ها
coq-core-8.16.1-1.fc37.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Core components of the coq proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 37 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | coq-core |
| نام فایل بسته | coq-core-8.16.1-1.fc37.aarch64.rpm |
| نسخه بسته | 8.16.1 |
| انتشار بسته | 1.fc37 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Sun 27 Nov 2022 06 |
| هاست سازنده | buildvm-a64-06.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 162M |
| حجم نصب | 559.709M |
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.aarch64.rpm | 8.16.0 | aarch64 | Fedora Everything |
| coq-core-8.16.0-1.fc37.x86_64.rpm | 8.16.0 | x86_64 | 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.1-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) |
| = f498938c3cd8c3c430d1ecb0bf0739f4 | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = fab86dce490de64d33c82242f0ebfc65 | ocaml(Boot__Util) |
| = 9009b76733276115709ad8eaf7608140 | ocaml(Btauto_plugin) |
| = 28e0bf9327ab99d94d58094c20908409 | ocaml(Btauto_plugin__Refl_btauto) |
| = d3ea095108ca95f312ef5da1c00ad3ba | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = b49a9e05558d074ce2420f1481d80d8a | ocaml(CAst) |
| = f4378b7e6756e2d51e034a1fb622833a | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = f3bfdbcb718358cbbdf7269ef0ccc70a | ocaml(CErrors) |
| = c60c1257bafd2caf16fc08cc8a89eba6 | ocaml(CLexer) |
| = a742212da585b925999bb1e9c57f8886 | ocaml(CList) |
| = cbcf10800400dde7f75cbc0cc6a0a739 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = 98ddda2b8661651d0ac1c4d2f3adc78a | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = f53fe8692b6d16ecf125c5433c67ee1d | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 5365fec4a58da3e2d8fa2186f77d9be4 | ocaml(CamlinternalLazy) |
| = 2004005091bc8a61fe26ab15e0fb28e4 | ocaml(CamlinternalMod) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = cf7a81ae736db3f2a37cc19662f4fef6 | ocaml(Cases) |
| = 84dad22fdc339ed0e7be089e4509b7c9 | ocaml(Cbn) |
| = 948ea102091b6a8e7c4b0e1b62a3976b | ocaml(Cbv) |
| = ceb46e8aedadbdd92158dcf60a3cd0fb | ocaml(Cc_plugin) |
| = b08a94e2e4c838268631e02b8f1131d2 | ocaml(Cc_plugin__Ccalgo) |
| = 47ef5c0a56fdbc0941ce73d0046719fb | ocaml(Cc_plugin__Ccproof) |
| = 3297962af6b7bee613be9662275b2efc | ocaml(Cc_plugin__Cctac) |
| = cbf7121ffe4a7d9642468cb05ab4fa7c | ocaml(Ccompile) |
| = 43714ab5d65b526f526983060b18773a | ocaml(Class_tactics) |
| = 0849bff350169976d6661ecf8c0a0d08 | ocaml(Classes) |
| = 7166460f08eb63080256e23e5fb5c167 | ocaml(Clenv) |
| = 56c8843825713a98c2731d70e4986d59 | ocaml(Coercion) |
| = 130ca2c374c3c95f2be07233a9fcfe6e | ocaml(Coercionops) |
| = d0f9844c2e2c3352cffae437250690f5 | ocaml(ComArguments) |
| = 20cdf574510ab9eb1308952312ff33eb | ocaml(ComAssumption) |
| = 6119173fad398a6e6a12b2b62329eae3 | ocaml(ComCoercion) |
| = 5fb0e71a6ec8f102fda4d4c6dbf643d7 | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 97358d4b231f95eb872fc52abc300d7f | ocaml(ComFixpoint) |
| = ad2c813f50a0b8eb05789c4dc928c592 | ocaml(ComHints) |
| = 39f85975b25aee1b8e535e0d1d2ce9b9 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = b4baeb08b384fb166b2e11345e1e6018 | ocaml(ComProgramFixpoint) |
| = be75ce7f6093f0fde2fe33724d2f8b0e | ocaml(ComSearch) |
| = a08901eb475fd5bd26c27679d799860c | ocaml(ComTactic) |
| = f0caf68e0fd94353b2fe68f24dc84c46 | ocaml(Condition) |
| = 9ca352bce78df900bce25f5e83b3e3ec | ocaml(Constr) |
| = bc3bc25e047804b0c2146f38c8baf57e | ocaml(Constr_matching) |
| = 0a1d3ceef956f29cc7dc137ca11d7f87 | ocaml(Constrexpr) |
| = 418e616a5df5c13bfb5ca9962193d077 | ocaml(Constrexpr_ops) |
| = 5af32acadc581f65a54da5afcd5b2c2f | ocaml(Constrextern) |
| = 97b95cdbaec7eb2886396200fc429e6d | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = 17710499fc288b647d485e984107779e | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = c511194cd3d1c75d0ec51fe57d5c4b93 | ocaml(Cooking) |
| = 1f9c810a032fb9a136e70b90280eb879 | ocaml(Coq_config) |
| = 831a6f58e41b064f9a4f9156af190952 | ocaml(Coqargs) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = 2c95a5e907cb1568e1a7c1a9d070b1aa | ocaml(Coqlib) |
| = b2d2792c476702243473dae407a9a210 | ocaml(Coqloadpath) |
| = 788867ecf0c71ce995da64a7ef7e22c4 | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = 7406aac3df43f6624ef3974b517db9e6 | ocaml(Coqtop) |
| = 3c5e42d0ebc9405514b419d4f2d94f54 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = dad4dc5e90d3a1f173b8fa9529571329 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = af077788df86ae3c100cb12d0e433100 | ocaml(Declarations) |
| = 50515d5655d9fdf56b819fa36790df68 | ocaml(Declare) |
| = 42984d348ae777b60959a2725b38e9e4 | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 2e832a7a087246de5bdee9de92899c73 | ocaml(DeclareUniv) |
| = feae46dd7f816faac5d3a1d9b6695f56 | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = 703781821a9f6fa92a858580f939bd9e | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 87ebc9f2679fc769364ed6fc35137bff | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = e1a2f4f4c8caaef8118ea6369f5fe10b | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 4ab1a6a815084682e460ae95ad5ab2b6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 082355c6056f963a71a1915a1ed0d49e | ocaml(Dnet) |
| = 20e9106c0a8efd454cf20e46cba32b6c | ocaml(Dumpglob) |
| = fa3daa324553247018623840358472b5 | ocaml(Dyn) |
| = b542e5672ad42f5b838f58913ba15456 | ocaml(Dynlink) |
| = aec1ab28ede64377d193d2fc15de5e09 | ocaml(EConstr) |
| = 6370d8a19b0c9a7718fba5842ec0fd65 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 5c1aff6aa29932ef61514e54a24530a1 | ocaml(Egramml) |
| = 151e3690a55c649c629325cc812d27ea | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 72a73ac1bcf2406fcb0568e0723e2452 | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 81958cbbb97b08eb74f21205ecbe734b | ocaml(Environ) |
| = d15dc70a0dfe3c76ab3cdd6012c93856 | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = 7a649f9b216dad739e837c87f77a3af8 | ocaml(Equality) |
| = 746f3c41caf469b8602bbc0673a9de61 | ocaml(Esubst) |
| = 156cdf64bb05c4ab0c4051f998dfab52 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = a2a426819a1c9723fdb2c2630901cd62 | ocaml(Evar_refiner) |
| = 9d0ed0c25581d922599355cb62e0515e | ocaml(Evarconv) |
| = fe8ca9cf716175388b4409c03e17658c | ocaml(Evardefine) |
| = 3428df78067bc43360db82565604d135 | ocaml(Evarsolve) |
| = e498f9d920d45be1f78891569f3d02e5 | ocaml(Evarutil) |
| = 7801c47db8f2d9004d9cee2602a72d51 | ocaml(Evd) |
| = 766d613c58c5e25783f49ff1e5b36922 | ocaml(Exninfo) |
| = 8f3d3aee03298d6f7ff2c8b208ad0498 | ocaml(Extend) |
| = fdd86db306fda87185be4fa90f2a0006 | ocaml(Extraction_plugin) |
| = 2677b4316cd66d0a80bf553e65ffbafb | ocaml(Extraction_plugin__Common) |
| = 557abedb34df632c626b3974b9d9a9ff | ocaml(Extraction_plugin__Extract_env) |
| = c81d28780c6e34232924dc640b522df0 | ocaml(Extraction_plugin__Extraction) |
| = b8ba73cb9d741ac5294ec364fc550a0d | ocaml(Extraction_plugin__Haskell) |
| = 730158f16e2ad36dee9a5e318946bd84 | ocaml(Extraction_plugin__Json) |
| = d2daf1f684cf83b41f09829d7f2b7552 | ocaml(Extraction_plugin__Miniml) |
| = 974499eaadc997249cfc96f0fbfdfabc | ocaml(Extraction_plugin__Mlutil) |
| = d3d8d69f12153e4555f4e315684e046f | ocaml(Extraction_plugin__Modutil) |
| = 6f522e0e8dfc7b74d2f1e7f7e8b615b7 | ocaml(Extraction_plugin__Ocaml) |
| = 87d11cbe8ff819f3e95934c271c893ff | ocaml(Extraction_plugin__Scheme) |
| = 8d6ab3ccf270a1b95c298e39cca5f08d | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = b8e1b1bcd1fe2af0f5efe4d42aae93db | ocaml(Find_subterm) |
| = d44b73d9d87aa8a2a740a3e7f738599b | ocaml(Findlib) |
| = 974870c1e0c3303435a343893f7444e8 | ocaml(Firstorder_plugin) |
| = 9f1ced998d2a291c9071511dcf3cf813 | ocaml(Firstorder_plugin__Formula) |
| = 6bc98d9a803eae552c0af502d9a77ff4 | ocaml(Firstorder_plugin__Ground) |
| = 31ff0deb1f4bca4450e5c7708e176ded | ocaml(Firstorder_plugin__Instances) |
| = 2622dc299784d74a128775b95ca6949f | ocaml(Firstorder_plugin__Rules) |
| = 33ecc3ab0d4d8cbb72e1caccadef5bd9 | ocaml(Firstorder_plugin__Sequent) |
| = 909821ef99c0034b33c6860accc7b6c6 | ocaml(Firstorder_plugin__Unify) |
| = 6fe04213bb7f649801e5f72ab6026eb0 | ocaml(Fl_dynload) |
| = e1b1d3fe0eca562f5e9dc0e0f04eee51 | ocaml(Fl_metascanner) |
| = 2ee80556b58c28796e5020152710a0dc | ocaml(Fl_metatoken) |
| = 04c54a48fe2e7875409d82f50323d9b9 | ocaml(Fl_package_base) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 712fa5d21be885f62f4afb0c1b2e620e | ocaml(Float64) |
| = c4fcfb496ea89ff8b1f8cf244b6d40f1 | ocaml(Float64_common) |
| = 235bc69fea943bef8593f9b00b9d5d50 | ocaml(Ftactic) |
| = ac7a138ea913bafeee82c6cde006e5c3 | ocaml(Funind_plugin) |
| = ee95702eb600cfc4bdfd2317a0ca6148 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 684a088e2420f57ea5e66b9e8671d8d6 | ocaml(Funind_plugin__Functional_principles_types) |
| = b8ea43ec8dc691348a547487ab1d5c4e | ocaml(Funind_plugin__Gen_principle) |
| = cff1256359ec492c5a18194d89770f02 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 49d76c46a1599bbef803337bcd20fb58 | ocaml(Funind_plugin__Glob_termops) |
| = 1e9ba2e96a1a96bdae8f432a67cec55e | ocaml(Funind_plugin__Indfun) |
| = 64ad5650d148ff12f77940f8887cb194 | ocaml(Funind_plugin__Indfun_common) |
| = 1efeb8db04eb63d1025e5bba98d4c414 | ocaml(Funind_plugin__Invfun) |
| = 8c390ac5f06d4db94222865a6ceb7c5c | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 92a3d7f9235e02802469398f948d5c3d | ocaml(G_proofs) |
| = e54acbe7e71d10bf02c8c46d44b80e28 | ocaml(G_toplevel) |
| = 9ea5b298211a2aa2e102c9660e5bbe90 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = f9c42c5b2c5681eaf7e0e49808e93ddd | ocaml(Genintern) |
| = 3425ad20575082d95c850c333be60921 | ocaml(Geninterp) |
| = 092559a8daae9547da5b338d63d62f84 | ocaml(Genprint) |
| = 626bb52775c1748e2c3bffbc6b812083 | ocaml(Genredexpr) |
| = d745ee6d77006ea2b750c1b41da66134 | ocaml(GlobEnv) |
| = 72974471aa15f3cca820654475d61f32 | ocaml(Glob_ops) |
| = 4533a1278fddf471cfcbda9e5b5232db | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 0cde525ff2938a030d830223839482ec | ocaml(Globnames) |
| = 6c36abc34e3c0219300bf334533445bf | ocaml(Goal) |
| = 5303e7040d3cbac08b6a3602be100ecd | ocaml(Goal_select) |
| = 532e5d7e6f0744645df21a2de260a413 | ocaml(Goptions) |
| = c4cb68462c40a1ed4d57b1221c3328b8 | ocaml(Gramlib) |
| = cceadee5ba8287671304df971ae88da1 | ocaml(Gramlib__Gramext) |
| = 5f1a768cb2e6988d339c385f733c0143 | ocaml(Gramlib__Grammar) |
| = b8133aac91b79d4ad41ed01ab52880da | ocaml(Gramlib__Plexing) |
| = 46d58cc9b563a841672729abe6d0cad1 | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = ae839d8ae1693169aceb1c2e64abd9c1 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 76a1b67e644044e04312020e7efed39d | ocaml(Himsg) |
| = 3a9a0ec6a732148db08f2b90c9dbe88e | ocaml(Hints) |
| = 7aa5f74eebdc7c41fdbb35877a0c8346 | ocaml(Hipattern) |
| = afc10af2a433f78a0df71272ef5bb0eb | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = df2b410f42f3aba42107bfd927a4c601 | ocaml(Impargs) |
| = 6e4f1428b681732de1c97c5a9b817d87 | ocaml(Implicit_quantifiers) |
| = 7fd0a95867733a6f1f332c3b6afe4c29 | ocaml(IndTyping) |
| = 4c7455db4b1d8ad88f5f4c8bf6402af2 | ocaml(Ind_tables) |
| = bee3595fe637a02a7d8e46aa6ba68294 | ocaml(Indrec) |
| = a3255fb7501d600a4ec4e32942189de5 | ocaml(Indschemes) |
| = dd582593e5a1ba206cddcf2923655798 | ocaml(Indtypes) |
| = b086ff05d829c607f8425835f6844df3 | ocaml(Inductive) |
| = 88feb584272b6994ff428b275bc6015c | ocaml(Inductiveops) |
| = b35aecd957a5d4de7423ee414afc357f | ocaml(InferCumulativity) |
| = c638a3a3a3350b9a3cd3aecfc1548b44 | ocaml(Int) |
| = 87df5e4766260236b23c453288e9777d | ocaml(Inv) |
| = 53b528fb167dd297bf9b2ad4fca98115 | ocaml(Keys) |
| = f9950e89686bd059defd6cda6a25c5d3 | ocaml(LStream) |
| = 64a196b7833437ec6921775c5de57961 | ocaml(Lib) |
| = 7e72e6b9f7e5a2d16c610b7149eb377c | ocaml(Libnames) |
| = 33613ae7ae8a9f294163246e5c7d4133 | ocaml(Libobject) |
| = 57e9260b34f664211989bcc3e99909b3 | ocaml(Library) |
| = 6605236b96c139e644909eb14686ccb8 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b91e1cdf8560a02599ec3b484a0faa53 | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = 13c4bebf9827283a2773b474406ee42b | ocaml(Logic) |
| = ad1c2d56a37c94474486c95b0b560584 | ocaml(Logic_monad) |
| = bb0c1877449e421d8427bb35611e5d33 | ocaml(Ltac2_plugin) |
| = ab0bb2879f762f640a390dfb5255d45e | ocaml(Ltac2_plugin__Tac2core) |
| = 32c9e1137345bb2448b1b4b2a83a6973 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 6cb71431b99a57fb690ec87a683ded3e | ocaml(Ltac2_plugin__Tac2entries) |
| = e15e0caddaaa677c501cc6483029efc7 | ocaml(Ltac2_plugin__Tac2env) |
| = b9f2befaaf66b5b7e605db0828027e76 | ocaml(Ltac2_plugin__Tac2expr) |
| = 07c71c50ed1cbf174f157a4da537d846 | ocaml(Ltac2_plugin__Tac2extffi) |
| = df35daa2225e1451b71cd0761e629d26 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 490bd474d7e72a9a8e1d9e13757c051d | ocaml(Ltac2_plugin__Tac2intern) |
| = cb36f759ba7bfa7e644f632a3fcb7fb9 | ocaml(Ltac2_plugin__Tac2interp) |
| = 54284665a2f5748fb8ac5964831cc333 | ocaml(Ltac2_plugin__Tac2match) |
| = ace63425ac98abb66d981e13a615a445 | ocaml(Ltac2_plugin__Tac2print) |
| = fd905b6c2d8af1f39001d10020d4c407 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 781aef67dfe9c5b964ef22cec74ff0a8 | ocaml(Ltac2_plugin__Tac2quote) |
| = 1c1f4a87d8754387d20e8e7c3a689127 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 3ee5b6d9a8221cdaa5271b349f0b9d65 | ocaml(Ltac2_plugin__Tac2types) |
| = bb15dbe4f28c600db9de476703ea1b94 | ocaml(Ltac_plugin) |
| = 7862b3c490d66084278f856a9a696610 | ocaml(Ltac_plugin__ComRewrite) |
| = ac7649bacfc54217b3726abd8ba2eefd | ocaml(Ltac_plugin__Evar_tactics) |
| = 32802bb44cebd4d7aa11496d2a7b89d9 | ocaml(Ltac_plugin__Extraargs) |
| = cb95f6bdce7de27f6c1dbab18b84d725 | ocaml(Ltac_plugin__G_ltac) |
| = 830affcc256498d0d01910df2b1e78d3 | ocaml(Ltac_plugin__Internals) |
| = 7d5c31c53498df384e9cf33699c13a97 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 107f9608b253eb0c2c03dd51a5c31ebd | ocaml(Ltac_plugin__Pptactic) |
| = 5f42700b3739e74db8f0006aeb46a0ec | ocaml(Ltac_plugin__Profile_ltac) |
| = 914c6f680894df96a08d1605def5b5a9 | ocaml(Ltac_plugin__Tacarg) |
| = 7843e413a27cc23687cf19b04f6d88bb | ocaml(Ltac_plugin__Taccoerce) |
| = d79565bb0bdf241fe57ffff29b9f05b5 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = db03a7b8c07c50868303ed8334ed82e0 | ocaml(Ltac_plugin__Tacexpr) |
| = 4b53cc9dcbcf64616b1cb9d81e04b5c2 | ocaml(Ltac_plugin__Tacintern) |
| = f057a4f45fb07340e0e8844b2c99392e | ocaml(Ltac_plugin__Tacinterp) |
| = f7b4e760d6387d3a44aa62f54dbb1013 | ocaml(Ltac_plugin__Tacsubst) |
| = f4e8deb826de3c96b31b19a548f1249e | ocaml(Ltac_plugin__Tactic_debug) |
| = 85267e743f7289c9af9f6e32135d91ab | ocaml(Ltac_plugin__Tactic_matching) |
| = c107412336e1c51d1f30c37e887d6b79 | ocaml(Ltac_plugin__Tactic_option) |
| = 1a5459876be0aa010ebe6bdd23c6fd37 | ocaml(Ltac_pretype) |
| = 47a92a3248e359a421627ee6c43007a1 | ocaml(Metasyntax) |
| = 477e4d683c0b40afe138ea0fb8efd814 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = 800ea6574a0deacabdc4a26c1b68d9c8 | ocaml(Micromega_plugin__Coq_micromega) |
| = f887ba302ad57cfd74ecceb54f93ca0c | ocaml(Micromega_plugin__Linsolve) |
| = f92b4cac9f443839b1fd033e90bd94b1 | ocaml(Micromega_plugin__Micromega) |
| = 124f7df6a43d90c1a1501bbf817733fa | ocaml(Micromega_plugin__Mutils) |
| = 129cfa827358628f55c4b6833ec95dba | ocaml(Micromega_plugin__NumCompat) |
| = b4ae1739c93ce13857ec58f928b2d932 | ocaml(Micromega_plugin__Persistent_cache) |
| = e8848d938f6e46de93d27011521c11d9 | ocaml(Micromega_plugin__Polynomial) |
| = 9b2002802ddabd5c4c388477615d1498 | ocaml(Micromega_plugin__Simplex) |
| = 2ec98bbf51e7cecd1ac269c30d783704 | ocaml(Micromega_plugin__Sos_lib) |
| = e78ffadbd99b0415f9ef68ce9bc030ae | ocaml(Micromega_plugin__Sos_types) |
| = 06b1789ffca7853552bd33a0e16f27d7 | ocaml(Micromega_plugin__Vect) |
| = dead541e824ffaa9f6b36a443ebdf101 | ocaml(Miscprint) |
| = 04b802c6f617661d63eb8adfe76b0100 | ocaml(Mltop) |
| = b56a185b9f7bb6f0f0f519c06bf981db | ocaml(Mod_subst) |
| = 326e1f8d63d788f9830f3d1770478bfa | ocaml(Mod_typing) |
| = 8c9ef6e6ad38e46d6187cebd47dab344 | ocaml(Modintern) |
| = 2f5106a546728c8a9dc308a95876078e | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = e7b4c98d68b9b84b256d9650ac063dab | ocaml(Mutex) |
| = 0a8addd4f715e43f63deeddff67666bc | ocaml(Namegen) |
| = 0370e4e902f299a0a716b28375cf67fb | ocaml(Nameops) |
| = 0b6c349e44c595f40356f60ca49fa766 | ocaml(Names) |
| = 939eb1b5d6f3dab8fc7aa53d76f8cd46 | ocaml(Nametab) |
| = 02dbeca2f7bfac8ee80f221d7d1bcb8a | ocaml(Nativecode) |
| = 60d8b9f9f4561c30226973b77f29c919 | ocaml(Nativeconv) |
| = 219578857e7b319faa4d145a4fa5ff68 | ocaml(Nativelambda) |
| = 7b23ee7251439aa612f59354c020ea67 | ocaml(Nativelib) |
| = 0f113430f9645d3876eba86e526ed5ea | ocaml(Nativelibrary) |
| = b6141c50b88274d770d746174ed6a19a | ocaml(Nativenorm) |
| = 151356e5f71c48ba131e257d7b5d6b0e | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = 6687290488ca913493273e35ec9140c4 | ocaml(Notation) |
| = 26cc7b8a624df72d8a961e49bbd4c685 | ocaml(Notation_gram) |
| = d0e23d53b27691b62480a8ce4af6f3da | ocaml(Notation_ops) |
| = ba7e10bd6c980ba842674b92c4fd32b8 | ocaml(Notation_term) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 1b6976b6917d803cbdf8de5f54fee594 | ocaml(Nsatz_plugin) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 1d1447b63f4059613156940faf20e246 | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 919d150c66ab68cf4c64598cc40be9c3 | ocaml(NumTok) |
| = 51ac4a03513f6ae660fff42d91271831 | ocaml(Number_string_notation_plugin) |
| = d560cc4cf07ff534da923f83caddc52d | ocaml(Number_string_notation_plugin__Number) |
| = 123d97c5745d0c1fef510f3fbdfdc3e7 | ocaml(Number_string_notation_plugin__String_notation) |
| = bf14320ff736e5a8a90a032f530c117b | ocaml(ObjFile) |
| = b1745fe14cd37c212d34eea094f1b8df | ocaml(Opaqueproof) |
| = 8abed5317fc879dbf8d6ab6b78ee9461 | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = bf0feb2b99812624585018290a94c3e7 | ocaml(Pattern) |
| = 8f99781c06995f38b81f348e933ef80a | ocaml(Patternops) |
| = 30a4ee789831680c39f99302f3402899 | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = ad5c40eeffb62d378e92846c773ae25e | ocaml(Ppconstr) |
| = c66b14a7d4dd58e29bf6b63c5c4a043a | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 701b29514a3f59ab6ac3da555ee1bbdd | ocaml(Pputils) |
| = 40d9095fab82ed95c204afc030f8ce39 | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = da011f47db15648d1921b7ee98e96149 | ocaml(Prettyp) |
| = 4f0e6bee2956221e0d19c7a4d6232f5b | ocaml(Pretype_errors) |
| = a6903cb3010cce9b1b538151878854dc | ocaml(Pretyping) |
| = 97ca1d481f50c1c9701babd2fd24fa01 | ocaml(Primred) |
| = 1508d255db0d0f15754cef32e692257a | ocaml(Printer) |
| = a149b8d341f58a9ed12d0b9640d7e7bc | ocaml(Printmod) |
| = 2624aeedf972f229030473e90e66f802 | ocaml(Program) |
| = e0acf16fbe54fc07c8509cc29dd691af | ocaml(Proof) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 5b4a14e9ee97f49f21641d79a760a9fe | ocaml(Proof_diffs) |
| = 0e6b867bb35f79d409de49d232158d61 | ocaml(Proof_using) |
| = 3d6152dfc2a51be0829e6bb46552105f | ocaml(Proofview) |
| = 7f12467494a6d7b1e7a1ad7c434aea2d | ocaml(Proofview_monad) |
| = 1851fe26b4a9ac0a8bc026b857dc4b3e | ocaml(Pvernac) |
| = 95ed12df5d619f4cf43c3f5256a0f97b | ocaml(Q) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 7c37241cff05db7ac0a1329193879e09 | ocaml(RecLemmas) |
| = 395d7268652e7b9d171d02c26be239ba | ocaml(Record) |
| = 358ce56fbaf02036c310a0dc80dceee1 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 3523f631320a31383fd961d753a8e437 | ocaml(Reduction) |
| = 589f659dcd35d95083d18864277f803b | ocaml(Reductionops) |
| = 38cbc3a1c87f430244465ba02a3f670e | ocaml(Refine) |
| = 0dc4460587e822b7317f3d06ba93ac1a | ocaml(Relevanceops) |
| = 5c7a8afa4a7a2efc34a56915ea56d9f8 | ocaml(Reserve) |
| = 25482df7bf0c95ee7a7420fdc7b077ff | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 903d124e51a22bd2a47af1c46401859f | ocaml(Retyping) |
| = 053c386ec826f0c3cc95bbc663b2e66a | ocaml(Rewrite) |
| = 59777bc023dc2f779226cc57a4f18948 | ocaml(Ring_plugin) |
| = 8dec7d911b8640ad844c40a9506a5a62 | ocaml(Ring_plugin__Ring) |
| = 8bf8f13d56dd035d227a563725c6b9ba | ocaml(Ring_plugin__Ring_ast) |
| = 1ccac922ee6c453c5b78275edf751850 | ocaml(Rtauto_plugin) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 592092c6dc6e41e93c33f1a93a254861 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 2cfd62ffab10a60ce3b0d9eae3e38881 | ocaml(Safe_typing) |
| = 663f18873ffa3dc0d069b7fe4d96b45b | ocaml(Search) |
| = 68f3c3d655a9890cf3b21f6b34e3160c | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = c896fb1b0fea255b7a392a0203129c74 | ocaml(Ssreflect_plugin) |
| = c59335353fd407813ec94554fd1fd19d | ocaml(Ssreflect_plugin__Ssrast) |
| = 5f05e161434831370e9fffc618b053aa | ocaml(Ssreflect_plugin__Ssrbwd) |
| = cf646a48644671d515aa1bbe3d475ba2 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 4338e5d8944055936152bb3409cb07ca | ocaml(Ssreflect_plugin__Ssrelim) |
| = d8020755c5f13cd69ada8eca975bd6db | ocaml(Ssreflect_plugin__Ssrequality) |
| = c6a7de212a82cc05b53088967e27e0f9 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 0b6c89ea25f6dd09c0ef8a7be169a231 | ocaml(Ssreflect_plugin__Ssripats) |
| = c0673d4b90ef445ee20b5ae714eb5517 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = a94e7c266a7691e87b41093cc36ac4ae | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = 77c8815cedf7167ec319e5ff21e1fa81 | ocaml(Ssreflect_plugin__Ssrview) |
| = c3e1af22ac2aa8657b01523f06b2d5e9 | ocaml(Ssrmatching_plugin) |
| = 0d321e02e50644ef5eb6303576045830 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 668a23919be6745b246370aecd65f2cc | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 9919abd709603092de7b5aa43fa0e8ff | ocaml(Stdarg) |
| = 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) |
| = aa8f4685317ce8dff797fb032be373f3 | ocaml(Tauto_plugin) |
| = c1500a859572f47c5adeb740fbcebf6b | ocaml(Term) |
| = d122216f951f7e463242ade7ce397ab5 | ocaml(Term_dnet) |
| = 99f9b52aa6e2484189d2e8df6b349e8e | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = ca7a782d91f103df7414424beacad2e6 | ocaml(Termops) |
| = cbab14f62eb893a73913c276298141c9 | ocaml(Thread) |
| = d7f575ffa78825bb266417e4b337bcdb | ocaml(Tok) |
| = 9bd1f1603123496f4fab7218e670d476 | ocaml(Topfmt) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = dbaec1601de88187931d58b1545e2bc7 | ocaml(Trie) |
| = 812cf3340836e621be63fa9aa920f56c | ocaml(Tuto0_plugin) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 9cb6b709539dbad0cbe61a556c4bbd59 | ocaml(Tuto1_plugin) |
| = 9f92f909f667ba2f13875ff30e150cf3 | ocaml(Tuto1_plugin__Inspector) |
| = 13267d5660158f59c566c74059f967fa | ocaml(Tuto1_plugin__Simple_check) |
| = a268bc8964d4db75e3cae5cc1981b7f0 | ocaml(Tuto1_plugin__Simple_declare) |
| = bef62b8d37aa21dd32ec1a82174483a6 | ocaml(Tuto1_plugin__Simple_print) |
| = 117dad8dfb3fbf1d4f7967854193338f | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 0c73a52fe51cfe8d55f24c9edcd2421d | ocaml(Tuto3_plugin) |
| = d7a881140435372c64e3efa917b9cf6b | ocaml(Tuto3_plugin__Construction_game) |
| = c067205f4e2a065d2434ef90fdd94a4e | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 0c0828c2a9ff92cc716465e0013a0769 | ocaml(Type_errors) |
| = c82cf14a959ab2a132030ef8b5b5bb4c | ocaml(Typeclasses) |
| = 91fcea315f9e707674cdae735a2c33cc | ocaml(Typeclasses_errors) |
| = 44ed108471c7a7400a5fcc850ba1e0be | ocaml(Typeops) |
| = 696857366a11b930eea9840e47c39d4e | ocaml(Typing) |
| = bd28bddd5c33ca5c1a5f9f43f907e5da | ocaml(UGraph) |
| = 3ec987d0c982616ff943f71f05e2c111 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 3e22c9e8fc6924cded99cdc50b4dde0b | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = bb08182b91ec85ec72551ce13bfed01f | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = 6feb5ec642e4daf30a0944e888214cea | ocaml(Univ) |
| = c08393c720001d4601ab69c764edae38 | ocaml(UnivGen) |
| = a14b8f2bfb556a067a30c7c3edf09375 | ocaml(UnivMinim) |
| = 9f0af4e2cd7c9a6a04f181684ebd75df | ocaml(UnivNames) |
| = 0bf19edcf4c9ada1dd5cdb51d579b1fc | ocaml(UnivProblem) |
| = 2c793a58009dea74a325c5082597d844 | ocaml(UnivSubst) |
| = 84bb8ec8ae50f70acba86f5b72088b1c | ocaml(Unix) |
| = 46a1f0249bfbf29202e10de25200d4ea | ocaml(Util) |
| = 73a674179608a349a8f3d001ee037f1d | ocaml(Vars) |
| = 7cee5a6c0faacb4e9ebf86fb667ad05e | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 43ddad20b726927bcb491b9dad99dfee | ocaml(Vernac) |
| = c52eee082c33aa6b03c24069065d6b43 | ocaml(Vernac_classifier) |
| = ddcaab825bd3b96146a0d4b0ad10fd37 | ocaml(Vernacentries) |
| = 31bf27dcb0e938a20d1797f40b7144ae | ocaml(Vernacexpr) |
| = b507ea2d1a0f49d7fb3939c2f335eebe | ocaml(Vernacextend) |
| = dae6e02ea3bae9b78083a74bd7388512 | ocaml(Vernacinterp) |
| = 9b0ca758b7fe1839325d927a5994eebb | ocaml(Vernacprop) |
| = 365874fe1588a2549b04049dea924707 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = f75880ed7df49928430f842fc3ba82ae | ocaml(Vm) |
| = 88733f1084158f9273bb318495213675 | ocaml(Vmbytecodes) |
| = 76fa264acca66b07c1485aeec8bd1117 | ocaml(Vmbytegen) |
| = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 | ocaml(Vmemitcodes) |
| = 9a79aee1037366c0f07196ba545e75f5 | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = bd114711d566fec5fadf3e8314768f6b | ocaml(Vmsymtable) |
| = 6cfd8f0d13168b127ebed3d4375b15c3 | ocaml(Vmvalues) |
| = bd874b0b0dce77d32e4d24ddb2379d1c | ocaml(Vnorm) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = a71ac4a535434978287848841376388e | ocaml(Z) |
| = 61512478af51fb18cb17e36ae0122e4b | ocaml(Zify_plugin) |
| = c0c1d4967746ed66dfb1a7d6dd2730c9 | ocaml(Zify_plugin__Zify) |
| = 1e303a1cd63f686cc45a02ab6e54d33a | ocamlx(Abbreviation) |
| = a736251e1e284151714154a8d2ea006e | ocamlx(Abstract) |
| = 4968464ee67a63aa5b086d91e652cc60 | ocamlx(AcyclicGraph) |
| = da0d5df86bfa0d38b51c26996e0f7363 | ocamlx(Arguments_renaming) |
| = 011a6a5dac7b6c3d37bf3d3ed50c6d1c | ocamlx(Assumptions) |
| = def651f105a53b7c5c09741ea1ebd1f9 | ocamlx(AsyncTaskQueue) |
| = 8ae27b0bd5b430dc23f2f82e1f993758 | ocamlx(Attributes) |
| = 623a5cfbfa7ca4787920a2f8f4239d56 | ocamlx(Auto) |
| = 4dccea1cf7371f00dc95ce98f9e0a6d2 | ocamlx(Auto_ind_decl) |
| = 26e203529c063cd454257c84a4ba3319 | ocamlx(Autorewrite) |
| = 0af5198bd2ee15bd52ac9391adde987c | ocamlx(Aux_file) |
| = 60ab8080e198343ac2d798bc4b98d698 | ocamlx(Big_int_Z) |
| = f65db59808a730d8171b552916e04e68 | ocamlx(Boot__Env) |
| = 3283bdb02fa7226af39ef26213a7ea3f | ocamlx(Boot__Path) |
| = 7f85b96cf7e58f20280fe3b3e7ebac5d | ocamlx(Boot__Usage) |
| = 4808840948928023f2afa8fd13d2fe70 | ocamlx(Boot__Util) |
| = c32ca9a3c326aad251dfb8fd70e7b4ff | ocamlx(Btauto_plugin__Refl_btauto) |
| = c825e35b9f33c7dcae08d8f7dca8318b | ocamlx(Btermdn) |
| = 1741e90e662685e4be92495cd83bccb0 | ocamlx(CArray) |
| = b30391fb50300289b7bc8af1542762db | ocamlx(CAst) |
| = 7e8a992548fc536596d966bb81ba2a23 | ocamlx(CClosure) |
| = 44830911f66398d4b7ec6a56f069820f | ocamlx(CDebug) |
| = e163db81eefed9a295d459c237c00578 | ocamlx(CEphemeron) |
| = c154465daad33d0f00f7f16d653a8a7d | ocamlx(CErrors) |
| = be7fcc53f362dc100fdd820994e76579 | ocamlx(CLexer) |
| = 8d59eb9210256be316adc1aa298f7fd3 | ocamlx(CList) |
| = c6592721cdb29f28c0cefbfa45d01b2b | ocamlx(CMap) |
| = 98481053170e3f276a6ddf5318462727 | ocamlx(CObj) |
| = 03785bc3e6d764df17dd6dcfecf9fcbf | ocamlx(CPrimitives) |
| = 317fcf9870e50b8d078b590d24127681 | ocamlx(CProfile) |
| = e75c55fcbfefa0b19511110d76862870 | ocamlx(CSet) |
| = 2c83e6da57716e19b8ed3547c7af15ed | ocamlx(CString) |
| = 30829016d61cd0518b39dce14e9b2ba2 | ocamlx(CThread) |
| = 214cac943b8d89ce693166200e0fa894 | ocamlx(CUnix) |
| = a1059694c66fc9e67d334edb767f9f67 | ocamlx(CWarnings) |
| = 162669b09093ea11100da3962b876e9b | ocamlx(CamlinternalLazy) |
| = b1cf5908bd32decae56ba9dbb3154081 | ocamlx(CamlinternalMod) |
| = f261dea28051539bf960516fd91878fc | ocamlx(Canonical) |
| = 99e081e53d7f6db0f2c370fc8b9df573 | ocamlx(Cases) |
| = d4bccfd87de7d3c03bd31b39dd3a973c | ocamlx(Cbn) |
| = 5faa76031794806be9a517b503fc5d55 | ocamlx(Cbv) |
| = 95c9a789f4b92db07cd58dea69416c99 | ocamlx(Cc_plugin__Ccalgo) |
| = e3c89318db4dc0fd74a633d7b169a4c9 | ocamlx(Cc_plugin__Ccproof) |
| = 22ec7d3a6d78f6ecb9e501ed9527875b | ocamlx(Cc_plugin__Cctac) |
| = 66af54f4c4ce29f8c67c67683f7d0df3 | ocamlx(Ccompile) |
| = 1609e8bb0e3dc029fbb3584eaa6cff5e | ocamlx(Class_tactics) |
| = 5ff8684665072373a1a29bfc6e8c5a9b | ocamlx(Classes) |
| = 73b4d46c4f2720666e5addb22183d53a | ocamlx(Clenv) |
| = e3ab8dee11f4c61a2e7de1c4930767c8 | ocamlx(Coercion) |
| = 4a262c68f086470f29ab08b31c768889 | ocamlx(Coercionops) |
| = 157f47b63b0cb3e69d220416c73b464f | ocamlx(ComArguments) |
| = d935754b4d08568c3c1e90d6d79076a7 | ocamlx(ComAssumption) |
| = 64b56ba25692d67aa858408f9772b3aa | ocamlx(ComCoercion) |
| = 38808eab12de1419dc01cfa3510df510 | ocamlx(ComDefinition) |
| = ae49c7cda3bb85bbb220a81567dbbbfd | ocamlx(ComExtraDeps) |
| = 2071adf6a72b1c2ab0bb83fb25d1f5ff | ocamlx(ComFixpoint) |
| = ac2b23d9da8e9753b81413de1060c0b5 | ocamlx(ComHints) |
| = 0e93ebdb0dd980446cc10e46574934c2 | ocamlx(ComInductive) |
| = a889e5c42bfeab697b2c7934f77d127c | ocamlx(ComPrimitive) |
| = b9453992b3591dafbaa624bca455d9c9 | ocamlx(ComProgramFixpoint) |
| = 80611cdf3b4ab73076bc51963447e85e | ocamlx(ComSearch) |
| = 8ff3ebc74b1c3b5cc43ea4c7e3a92503 | ocamlx(ComTactic) |
| = 7735c6a072870e7ee10962d798a00540 | ocamlx(Condition) |
| = 6954b216526939692b26b43c369ae556 | ocamlx(Constr) |
| = 7de27dfc19ed06492bcd81d5d9b3cf4e | ocamlx(Constr_matching) |
| = 39d04b2581031ea594bd2c12a114cda8 | ocamlx(Constrexpr_ops) |
| = 346985530b02b478cd62f4370a2f175f | ocamlx(Constrextern) |
| = 7b1e773adac1120c32d3eb9fd43395d2 | ocamlx(Constrintern) |
| = 91e3d09bc7fe18e20f7894c364aa4893 | ocamlx(Context) |
| = 8af814f682c9b453078b759c50edc175 | ocamlx(Contradiction) |
| = e9ff5e3c67ea45e66a70549c121b490f | ocamlx(Control) |
| = b4c1d148150aa14a6e0751c6c4106aae | ocamlx(Conv_oracle) |
| = abf6a9ac75a3b443c9b7c2b4abad3913 | ocamlx(Cooking) |
| = 77531b2a2e5c550276c2948a7d124efe | ocamlx(Coq_config) |
| = b79f68b6dab7c1f8f0c1a8215e908767 | ocamlx(Coqargs) |
| = 9943018835fbe8da75e9e04f2fa2d9d0 | ocamlx(Coqcargs) |
| = f5db563c228ae5f6f18ccba1546a4f61 | ocamlx(Coqinit) |
| = bf308f6bfabd6a73ee5001489f30f33e | ocamlx(Coqlib) |
| = 6db1ed66a7ae873120d9a2582e135110 | ocamlx(Coqloadpath) |
| = 920f67b69e12d218aea0a66796e1f8e1 | ocamlx(Coqloop) |
| = 3ca739833422b3e9a3f6467c7a47406c | ocamlx(Coqrc) |
| = d6ebaf48e8b9c67d9a256d3d57f62ee2 | ocamlx(Coqtop) |
| = cb286ebf5dc6220ce137c013e214d62c | ocamlx(CoqworkmgrApi) |
| = 8b4ed79bbefcf12aeddf5a6b532dabde | ocamlx(Core_plugins_findlib_compat) |
| = 8cc9155f354d23e70c565a638695c9bb | ocamlx(DAst) |
| = e110282756728444bbbc26e3b826ebc4 | ocamlx(Dag) |
| = ccc204dc8070ce4415a02df9d502758a | ocamlx(DebugHook) |
| = fa0a0b21bf2946f7c1df9c3c021087c2 | ocamlx(Declare) |
| = 2e05aeab038d9a3ba3f9dde94f282dbe | ocamlx(DeclareInd) |
| = c22d7380656f85661231f1d4f39f3861 | ocamlx(DeclareScheme) |
| = 5e19e48a70a14bd49220be94edaabe62 | ocamlx(DeclareUctx) |
| = a54e83996a1ff3b58ad8275fc88b97cb | ocamlx(DeclareUniv) |
| = 779f6d53b67c8e0b17cd41d628f1e12b | ocamlx(Declaremods) |
| = c9db1ce7a3d7ce7e9d3cc5ffdda825e1 | ocamlx(Declareops) |
| = 2407c53f85c57b9bb40adcbf3913f471 | ocamlx(Decls) |
| = e2204daf59cec4dc201ab81430a8c8d5 | ocamlx(Deprecation) |
| = 28d37059e3802061e46938af49e3cfd8 | ocamlx(Derive_plugin__Derive) |
| = 6e242a15630a545829d9a32c8e60cd21 | ocamlx(Detyping) |
| = 4979ae884701eb5b2fff201840600410 | ocamlx(Diff2) |
| = 7fa206d1f9d029b8d312500314ad1e1c | ocamlx(Discharge) |
| = 98dec2f40a7e30bda20d6da8ddcb1cbb | ocamlx(Dn) |
| = 00249208fa23e6d0e5a9bc167e8d6e2d | ocamlx(Dnet) |
| = 7d9bd76aa29204851c4f4782be8f3d4e | ocamlx(Dumpglob) |
| = 6b6a5f9af639456b1ba81d1b75ee3392 | ocamlx(Dyn) |
| = 87eac7abf0f83647a923f873595d0102 | ocamlx(Dynlink) |
| = 4c012df2d9422ec7f515363d7b6c71a8 | ocamlx(EConstr) |
| = 9484cb47e2a4d33f4c310d9aa9cab3de | ocamlx(Eauto) |
| = ca302d1dff91c35a66693e2a8846f81a | ocamlx(Egramcoq) |
| = 163e9df3c0abd0d453c18e66d14db493 | ocamlx(Egramml) |
| = 433a4b4956f0f6f235fd73734debc7a6 | ocamlx(Elim) |
| = c378264f379b4a49f3c32f8d6b68bbf3 | ocamlx(Elimschemes) |
| = 21e931f65edf084fdb248f2fba914814 | ocamlx(Envars) |
| = a3974bc98eacefe4df6c01f4bba611c8 | ocamlx(Environ) |
| = 6e5f8b6515885de2b8ee99634016ad28 | ocamlx(Eqdecide) |
| = 1cee000905580be77b39a2021ca97d94 | ocamlx(Eqschemes) |
| = 056c261eecdcc7ec71886125272ef1ae | ocamlx(Equality) |
| = 6479c94bea0d9118bb2243bb7461d539 | ocamlx(Esubst) |
| = 7880d8fea85ace6cc913925e904ac047 | ocamlx(Evar) |
| = 385ab61189c1f4ccf6df72fe046eafed | ocamlx(Evar_kinds) |
| = 632e3e1db41e93c8498db4b84ccacb08 | ocamlx(Evar_refiner) |
| = 6067b5a85c6dd60272b8625bc09972b7 | ocamlx(Evarconv) |
| = 7eb906ab8c2bd5efd5cdbaf5a86e06af | ocamlx(Evardefine) |
| = 3c9bc84f61bf98f54bc28c13ebf78d93 | ocamlx(Evarsolve) |
| = aaf3e1d861e231c5964e3c71c03bf146 | ocamlx(Evarutil) |
| = 88a329f1d5f48e5cc1b8427a3ad65170 | ocamlx(Evd) |
| = cf89b09c6ac1379986d9b016943c7cac | ocamlx(Exninfo) |
| = 30e8feba80cadb3f419b4026941b3ea1 | ocamlx(Extend) |
| = 4d439f2048736c00551876c920637f45 | ocamlx(Extraction_plugin__Common) |
| = 3eb56428e85845197e11e6f9c9c2a9ce | ocamlx(Extraction_plugin__Extract_env) |
| = cd7924188c0faa8f7cd372faac51526d | ocamlx(Extraction_plugin__Extraction) |
| = 58374be7e40b7de49a4d4af7bc4edfb7 | ocamlx(Extraction_plugin__Haskell) |
| = 9b07c953400f2c418d39d4ed96b2323f | ocamlx(Extraction_plugin__Json) |
| = 45785bf3be41885edea3dcb2302f1869 | ocamlx(Extraction_plugin__Mlutil) |
| = 29a780620fc9e2e066e7d97973f2477f | ocamlx(Extraction_plugin__Modutil) |
| = 8f11a32c9611c6a2c2d929019571a335 | ocamlx(Extraction_plugin__Ocaml) |
| = 0ec3bd69ab2250c44c689b05440e8ae2 | ocamlx(Extraction_plugin__Scheme) |
| = eebcc7c4047dbddae082f425b8d19626 | ocamlx(Extraction_plugin__Table) |
| = 5970675e7ed1136bb865fba772909207 | ocamlx(Feedback) |
| = 38dbad683db330c996541b6b66917d46 | ocamlx(Find_subterm) |
| = 93ee915b8637f56f43e7bab90402504e | ocamlx(Firstorder_plugin__Formula) |
| = 924bcb51416f8fd1edc03294fed81977 | ocamlx(Firstorder_plugin__Ground) |
| = 510767b00cc0fd4a56d4f744d28a41e5 | ocamlx(Firstorder_plugin__Instances) |
| = debb85d40eff4e999481592835354305 | ocamlx(Firstorder_plugin__Rules) |
| = 2fd1d54a0be25c8ead675f5a450f9f80 | ocamlx(Firstorder_plugin__Sequent) |
| = d2f6a866d8db90de22275907996624eb | ocamlx(Firstorder_plugin__Unify) |
| = 77000c95cf7e77e33925267b3d29708c | ocamlx(Flags) |
| = 1c48b0b9848a98b78b325019b188fb6c | ocamlx(Float64) |
| = 7bef336d2fb84d009c213331c0491c18 | ocamlx(Float64_common) |
| = 7171998e7b7391a0366c6bb6e8728b03 | ocamlx(Ftactic) |
| = f6050ee3f7a03ab9a9debc3930fc3e00 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 94e3b017b922ddd64dd0aed6b4e8c1af | ocamlx(Funind_plugin__Functional_principles_types) |
| = 2b3e706d64eb0a65b9577bb2bc5ca127 | ocamlx(Funind_plugin__Gen_principle) |
| = 6196adc5cfbbdbf5cedccb01cf6917f1 | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = a84b0d9731bd9b34e74d01d1b64f3587 | ocamlx(Funind_plugin__Glob_termops) |
| = 29e7c5a9f73a370b5f1ec8e79ae182e1 | ocamlx(Funind_plugin__Indfun) |
| = 258e7bb46b40b553096b6e85b57d862f | ocamlx(Funind_plugin__Indfun_common) |
| = 0af69df12519a318c171d187eaba4313 | ocamlx(Funind_plugin__Invfun) |
| = 119e4dc18d413d47f08991175fb13429 | ocamlx(Funind_plugin__Recdef) |
| = 7b4845bd979fb6b41d0ee3025679206b | ocamlx(Future) |
| = 264f053c78b46659d65577ce642a172a | ocamlx(G_proofs) |
| = 50a19576920028b54f638c89ab959378 | ocamlx(G_toplevel) |
| = 3130a5bf0aef0a370fd32dcfceb043ab | ocamlx(G_vernac) |
| = 09a972dec937d95f342a3b496e40a911 | ocamlx(Genarg) |
| = dd3554a349df320e6852346d6b963d85 | ocamlx(Genintern) |
| = cbc7d5b08d88a997d23a3d48bbbeb738 | ocamlx(Geninterp) |
| = 685a6dbed26fbceb6f3b907471b4d9e3 | ocamlx(Genprint) |
| = f6d6c79714a9455664473c1b3f31ff9f | ocamlx(Genredexpr) |
| = 5c33d3659c7b7026e17729062cafe78b | ocamlx(GlobEnv) |
| = 419327eb7693ca2fe74ade11733213be | ocamlx(Glob_ops) |
| = b72a12040d13359db52691c385c283eb | ocamlx(Global) |
| = 5c34985a214caa28ce127da1661aeb5a | ocamlx(Globnames) |
| = 86c846cca11e6dde741809709c1202c5 | ocamlx(Goal_select) |
| = b187740fb4fdf5dfccec2a0ff90359c7 | ocamlx(Goptions) |
| = d585d8651352131aafd1529f9d857356 | ocamlx(Gramlib__Gramext) |
| = c567e2123eb288f31ddffe358e669aa8 | ocamlx(Gramlib__Grammar) |
| = 04d3b289570108ca395b03cb7f725a56 | ocamlx(HMap) |
| = 4da722afb771165037ca64b134650d21 | ocamlx(Hashcons) |
| = ec54211bbb0c8aeb40dabc5cc4cfaf15 | ocamlx(Hashset) |
| = 8be9cde4aa0b44588cf53a47b5412166 | ocamlx(Heads) |
| = 9a3b88713a00fad0e8fb1db460c6d7c2 | ocamlx(Heap) |
| = 65c54c6b20f9fe31116aa6c5c5ab5778 | ocamlx(Himsg) |
| = 25aa966530e1c64cbc5164664948df4f | ocamlx(Hints) |
| = f977fc69a951bfc1d13d308c189c7e72 | ocamlx(Hipattern) |
| = 20a7a6fc084a1fcaba807cf8d8b55632 | ocamlx(Hook) |
| = 234e0b4c31072a6ff516e206c4d419eb | ocamlx(IStream) |
| = 478fa0f9c5bab7d813b4bd06049810f8 | ocamlx(Impargs) |
| = 134c21497a8f2a39f9406bc0a9d876f6 | ocamlx(Implicit_quantifiers) |
| = 33d0bea24fa7c95dd81a65bcebd1df5f | ocamlx(IndTyping) |
| = 0aa8f806829855f9fb9b261e55edd319 | ocamlx(Ind_tables) |
| = adc454b9ff0acade00cdfb08ee55c59f | ocamlx(Indrec) |
| = f520f5a23a8b848041a4e27e37a4da92 | ocamlx(Indschemes) |
| = 56fe8291418f23be7a5a25ebb13e3870 | ocamlx(Indtypes) |
| = 5a3b0222a84e831db18b8443242af85f | ocamlx(Inductive) |
| = 406ece6fdf4bc4c279ef661704062ba6 | ocamlx(Inductiveops) |
| = 302b96dfa64986bd51975802925d090b | ocamlx(InferCumulativity) |
| = 4ecd8a9f8926ea4fd30c3ec4122cedda | ocamlx(Int) |
| = ace368320864c42363921c85d1442788 | ocamlx(Inv) |
| = bda4631117230f4846bc865e931abc8a | ocamlx(Keys) |
| = cf7cccc733c5ae2de311128dda7fb8d4 | ocamlx(LStream) |
| = d351a934790d9e01c85519d6573d82f5 | ocamlx(Lib) |
| = 6d0b658750284b157a5584c5d1fa3b45 | ocamlx(Libnames) |
| = 7ff465b8b9318202ae13bdc8cc6df94f | ocamlx(Libobject) |
| = 3a4d39d3c82ba31bc5cfc10693c8c587 | ocamlx(Library) |
| = b1b376deb08d1fe08eae64439a6b3495 | ocamlx(Loadpath) |
| = 2c97260dd31fb8e11ad0c5e45f95bc6c | ocamlx(Loc) |
| = d59cf11b54c09cf9d64207a175bce957 | ocamlx(Locality) |
| = f616b012564b0e6ad8537382e411a1d3 | ocamlx(Locusops) |
| = 9d8a28fed2e7ec28d6995ab07cd707e0 | ocamlx(Logic) |
| = 7e0f343d399d7374a7e8dd19c479d62b | ocamlx(Logic_monad) |
| = aa1a60a45e572cf5ad2cd862cd5bf1f8 | ocamlx(Ltac2_plugin__Tac2core) |
| = 33a8769f5f87e89adc9f0e97b4c0cc90 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = 38f60614dff972bd17ce51bff49ef1e5 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 1fb7981f36b8603a314e4d9c308cecd6 | ocamlx(Ltac2_plugin__Tac2env) |
| = 5ea22331ae99c1145d7555cb21702a76 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = dfc14b2c060ce2c9531bf6b004d3dd10 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = 2dac3e8714914006f92da65834702f62 | ocamlx(Ltac2_plugin__Tac2intern) |
| = 7fa8c253720934b44c126c38d6489e5e | ocamlx(Ltac2_plugin__Tac2interp) |
| = 203bb0a01008dba41e1a4480acf68011 | ocamlx(Ltac2_plugin__Tac2match) |
| = 292d501827f4b74f36f38e317ebec3cf | ocamlx(Ltac2_plugin__Tac2print) |
| = 88980fd8617782dfacd4afe6118716a7 | ocamlx(Ltac2_plugin__Tac2quote) |
| = 82ed3aa0397d1ccb0b2f3c7752b0aab8 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 69aecd9396c952bb9dd067a6f2f55f74 | ocamlx(Ltac_plugin__ComRewrite) |
| = c43e98b782e3e7f4d14a96667c6b91da | ocamlx(Ltac_plugin__Evar_tactics) |
| = 8e68ef46ba872fe176b89a4564150c98 | ocamlx(Ltac_plugin__Extraargs) |
| = 4d8cdb7fac6f6cba8bf1e6509981b749 | ocamlx(Ltac_plugin__G_ltac) |
| = dbc52363f34448a50586e472c13ae5b7 | ocamlx(Ltac_plugin__Internals) |
| = 7ad078df71a269e2bc78df4bf2466887 | ocamlx(Ltac_plugin__Leminv) |
| = 3210395dfc809ebeb9745695b1336c02 | ocamlx(Ltac_plugin__Pltac) |
| = 0475f879c0729556a82e2c7a944d26c4 | ocamlx(Ltac_plugin__Pptactic) |
| = 87f32c1b68596bba2c779e9e7c9540f0 | ocamlx(Ltac_plugin__Profile_ltac) |
| = 975b93d5c89b5646c886bcfa38cfbb34 | ocamlx(Ltac_plugin__Tacarg) |
| = 53d3632f824b9c4ebc1827b752eafce0 | ocamlx(Ltac_plugin__Taccoerce) |
| = 0ede28950c081117899f92a307017cf6 | ocamlx(Ltac_plugin__Tacentries) |
| = cde90c6ddfe1c1fb5c78fb3994f69a46 | ocamlx(Ltac_plugin__Tacenv) |
| = c25939ab66ab9d63579b80d36a9a951d | ocamlx(Ltac_plugin__Tacintern) |
| = 3a4134f5548c226b1ca41c302bbfb072 | ocamlx(Ltac_plugin__Tacinterp) |
| = 66499f8b12a7ef3a681fb2c0f37f199d | ocamlx(Ltac_plugin__Tacsubst) |
| = 5bf38224d3eb06624ff853d12a80a0f2 | ocamlx(Ltac_plugin__Tactic_debug) |
| = f6a9e4ad0c14df16f69c76756058ee35 | ocamlx(Ltac_plugin__Tactic_matching) |
| = 3a4a0614ea5d456f96eac70bc8e58a66 | ocamlx(Ltac_plugin__Tactic_option) |
| = ff5703d16a9d49936c129d0e7886bd67 | ocamlx(Metasyntax) |
| = 6cfaf387a1de6d6d71d6fee0183e28c6 | ocamlx(Micromega_plugin__Certificate) |
| = c81a100e09f26864067866986749b7d5 | ocamlx(Micromega_plugin__Coq_micromega) |
| = 17529e5fed3bcfc0e7ee44b8e25ee498 | ocamlx(Micromega_plugin__Linsolve) |
| = 38c4826a75a45e37136962ea89519166 | ocamlx(Micromega_plugin__Micromega) |
| = 204808b973c684a294f3b3d1712f1b05 | ocamlx(Micromega_plugin__Mutils) |
| = d509d24e88893307b9f7602197525f29 | ocamlx(Micromega_plugin__NumCompat) |
| = c45b3eb8979f8e3ef21e2ae68ea2e082 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 64d2efcb3f97b46789b7aea04c6e9717 | ocamlx(Micromega_plugin__Polynomial) |
| = 756bfde86410af02dc8056b0599176d3 | ocamlx(Micromega_plugin__Simplex) |
| = 707f04ee07364ac2592a8ef0564d65c5 | ocamlx(Micromega_plugin__Sos_lib) |
| = 43e02a11d2bfa7ed04362a5c84a5fb85 | ocamlx(Micromega_plugin__Vect) |
| = 16bdcb07a12df63d756533908ac0836d | ocamlx(Miscprint) |
| = 8d3144cbd1888e0fb2bd4c4bb06a1308 | ocamlx(Mltop) |
| = 2f01122efca1cfa1f5961ef2c40e8769 | ocamlx(Mod_subst) |
| = 9987577c5b0eb299766a3e3534897006 | ocamlx(Mod_typing) |
| = 0056ab486dbb5d2f656f34302f3b38f0 | ocamlx(Modintern) |
| = 9edc2d362326186161bbeb7ab77d4416 | ocamlx(Modops) |
| = 98265463065bf6c58ac85a7d52ba4f75 | ocamlx(Monad) |
| = bcb90f32e1d0663edfa23f9b0f06493a | ocamlx(Mutex) |
| = 1b1cec06a5382091f56074f1f17e185a | ocamlx(Namegen) |
| = 901ba7f9949ff6e9b129b1ebd6099ba4 | ocamlx(Nameops) |
| = 5743a290f81ad4670e2f6954bdfc2d78 | ocamlx(Names) |
| = 81107216596c68a21d195268ac1de800 | ocamlx(Nametab) |
| = 25dd46105be7e78ba71f11e778374924 | ocamlx(Nativecode) |
| = 5d8e79ec2e05acd74fcc4d7149fad560 | ocamlx(Nativeconv) |
| = e19ade7e376cc7ca86992ddff84ceeea | ocamlx(Nativelambda) |
| = 28c395028488e8f67b70fdd8ed09b2b5 | ocamlx(Nativelib) |
| = 376bfe4d7a46cacc02f25c5cac930e4b | ocamlx(Nativelibrary) |
| = 2059c116dc7aaa2f7427ca3ba167511d | ocamlx(Nativenorm) |
| = c6cb05a1550531a6790b95fa67b03342 | ocamlx(Nativevalues) |
| = 4dd80e23704a757c1753bb7194fcd0bd | ocamlx(NeList) |
| = 5125a6488f8f55fc23f9002907196eda | ocamlx(Notation) |
| = 390061dfd8a7421bfb760ac549bb72c9 | ocamlx(Notation_ops) |
| = ab570c65c77d45b2f41a28b687af7bfa | ocamlx(Notgram_ops) |
| = 0f3c58af91f78bfcccb2d5a3137e3b29 | ocamlx(Nsatz_plugin__Ideal) |
| = 13a8b40b2740f40de13fd0ec6495fb9c | ocamlx(Nsatz_plugin__Nsatz) |
| = e061ba75629de9c485c4fd37d0dff5f7 | ocamlx(Nsatz_plugin__Polynom) |
| = 2813815ebe47cecaa44c96148755e371 | ocamlx(Nsatz_plugin__Utile) |
| = c83060faef0b6e5d770835504b77c9bb | ocamlx(NumTok) |
| = 83f6c4ffc069556652b69ba22ff35296 | ocamlx(Number_string_notation_plugin__Number) |
| = c1f047c2aeeb1a0776a09cdf820434b3 | ocamlx(Number_string_notation_plugin__String_notation) |
| = 6dbdd4650c2d804b92f77323d303ff25 | ocamlx(ObjFile) |
| = d40319e8831d0239875ac4f7b42f8dbe | ocamlx(Opaqueproof) |
| = a06c7b23642ca3d09d2d958d83d7f582 | ocamlx(Opaques) |
| = 3d469b81e472024e47962f901f721f6e | ocamlx(Option) |
| = 95afc34014b4741ffc9a8fd611a81a26 | ocamlx(OrderedType) |
| = 5183408898c42af18ebaa3fed7c1252e | ocamlx(Parray) |
| = 7a8d1d306391f968e3912de47255f310 | ocamlx(Partac) |
| = b324cbf4184fe75b3921f97d8590a6cb | ocamlx(Patternops) |
| = 15e50e72870631df4b256fcca4f31d4a | ocamlx(Pcoq) |
| = 3a80561a26a756e8146e053a12c94633 | ocamlx(Pp) |
| = 00d0f6b931b411574e0e3e3f026644f5 | ocamlx(Pp_diff) |
| = ce59fd2b86ebf48c93ced92b0f82ae49 | ocamlx(Ppconstr) |
| = 7976ecb5d18ec8a916b20f20568fd67a | ocamlx(Ppextend) |
| = fa3854abd4fe10e459b2ffd14f5a4973 | ocamlx(Ppred) |
| = 4cfe639e3f6a99d6ed40bfb9b16314ba | ocamlx(Pputils) |
| = 7db039d0d42692ede1c0e8c0b641c6b9 | ocamlx(Ppvernac) |
| = 759261dd5abb712e25614a040b1886b9 | ocamlx(Predicate) |
| = d2ac0d90c1d1e73ac5ea67e8ceba9695 | ocamlx(Prettyp) |
| = 1609ec869059acd9b777197ae7dd2dd4 | ocamlx(Pretype_errors) |
| = fd64325fce1d8bc886016c297b3ff1c6 | ocamlx(Pretyping) |
| = f000985eb431879ad458f83f8de06327 | ocamlx(Primred) |
| = 4d04034f22ec457a8b571d2eead092ca | ocamlx(Printer) |
| = 3070243d41f9edf6d590fd99116270ec | ocamlx(Printmod) |
| = 1f68543768d2a317b0b6ff15f1a6cb9c | ocamlx(Program) |
| = c713f82e76ccb1a910a4c0143fc4d4fe | ocamlx(Proof) |
| = 7872ad9f1e5eed10841f47cf7daa3aaf | ocamlx(Proof_bullet) |
| = 4696928e501f24230dcec9baff096321 | ocamlx(Proof_diffs) |
| = 7a39c3b2ab58ce0985351ebe6addc1ec | ocamlx(Proof_using) |
| = 4c54dff70d9789839a7e5bb95f809469 | ocamlx(Proofview) |
| = 73edf6ea1f8c15ca2f6b095093201789 | ocamlx(Proofview_monad) |
| = e57b3c4984d188abd0cbe8c248038e8a | ocamlx(Pvernac) |
| = a713b639811e122e801cef65d324234e | ocamlx(Q) |
| = 793e08286a9972ee669096a403cd03d7 | ocamlx(Range) |
| = d6c17f871cd7bba75278d78f7138d972 | ocamlx(RecLemmas) |
| = fbc1e3a3d83c3414c3f75ba3b7730e45 | ocamlx(Record) |
| = 8c04a0a2f7c6a04021b626410fd3ca0b | ocamlx(Redexpr) |
| = 2807966eccb6d26f91c4adfb69b0a755 | ocamlx(Redops) |
| = dbe930053835afd0cd5c129454ec32f0 | ocamlx(Reduction) |
| = eeb6f439af14fa8568dc42d9981aa674 | ocamlx(Reductionops) |
| = daeb87c1c51bbe91bf28fe2953c74703 | ocamlx(Refine) |
| = c59087820bbeeab70311428ec68c2e80 | ocamlx(Relevanceops) |
| = 7ed4e6ecdf1da821ea5b76bacaeea812 | ocamlx(Reserve) |
| = a28ab1fcdedfe979a3b7817022c7e43e | ocamlx(RetrieveObl) |
| = 4edb280a26facd9d5bf288e733e1fd46 | ocamlx(Retroknowledge) |
| = 4c62bcc8644395c73b49c059ec886257 | ocamlx(Retyping) |
| = 74645ebfeeabd44d690e7b92d05168b6 | ocamlx(Rewrite) |
| = d4f818bbe9f4797e8889d2fd042e4c6d | ocamlx(Ring_plugin__Ring) |
| = a98fb94073fb1c1ad620959467ab8e19 | ocamlx(Rtauto_plugin__Proof_search) |
| = 88ee8f92e18395bf27e18e0088bd03e5 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 274e7a3f88dad440a0cf9d4918554b52 | ocamlx(Rtree) |
| = f94ccf538630b2e5780cc0335ca85fce | ocamlx(Safe_typing) |
| = f1f92b7caabc6ef8bf736f30a35321b9 | ocamlx(Search) |
| = d5929ac91b2f724062b4b15d6f5f3809 | ocamlx(Section) |
| = be00be8470c4c0b98c4b87c86da8cff4 | ocamlx(Segmenttree) |
| = 360340b6350c2d9338de1104ec684bc2 | ocamlx(Smartlocate) |
| = 2eb00e32d1150f40e41c1ea19ea6ab10 | ocamlx(Sorts) |
| = 18d05196468b0ff94746e8cd06f0a1ec | ocamlx(Spawn) |
| = c760f65750c4605b63b9d781ec8784ca | ocamlx(Spawned) |
| = 1689fbb0de2688df4663e57669de8198 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 74fb44e14c0c3d63773835d5a965c3ba | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 955e189537e8b04252a1e1046fff23bb | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 403f59dd1529249e382deee3ea88b46d | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 6019e6ddfb378200e3895edd104d415b | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 71bc00ec2aafb9b3e49d8d678437e2ae | ocamlx(Ssreflect_plugin__Ssripats) |
| = 6e6288276b86b282d0a3121e2db750f6 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 0825eb76c397fbae4b76ff607c7512b0 | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = ba66f07642d0c50c66fd3cfc8f1fdda2 | ocamlx(Ssreflect_plugin__Ssrview) |
| = c9ac16839da47eb79b5d5b12be7c610c | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = dfcd92052d25d9f38f6bb89c83f38b13 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = cfb111336607f6ed1098217f92ab3c85 | ocamlx(Stateid) |
| = 812cb6e3ea58ba3d214687009ca7866b | 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) |
| = d82d8e49391bae3eab09b8e800f15456 | ocamlx(Stm) |
| = 2e9a601b78fbc5febe8556d63f75bdfd | ocamlx(Stmargs) |
| = 79c8fc2b2d91071ca25189f6d498ac98 | ocamlx(Store) |
| = 88040aadd5ce239c39603ad24fe18862 | ocamlx(Str) |
| = 450f01541b34c95ecd577ed3fd459467 | ocamlx(Structures) |
| = 44610da1f1145e3cbdadf7bc9b08e6f9 | ocamlx(Subtyping) |
| = c19edf6c762851cbbab3dd883ce0baf6 | ocamlx(Summary) |
| = 47ef8a8c40d14ddd04f8cbb0fc2027c1 | ocamlx(System) |
| = 9f97760f7e5d2ed1a3176cebdfe3bc11 | ocamlx(TQueue) |
| = 5952ce8a3a827583371b7ab50c8bbeca | ocamlx(Tacmach) |
| = 1727bf53232ea3d440740789cbb592ba | ocamlx(Tacred) |
| = 97e51d7e04ae797b3fc1a6284148f211 | ocamlx(Tacticals) |
| = 3b234c7f8df0465d32754014d8955c75 | ocamlx(Tactics) |
| = b598b1d5c2c8c00d8c41e4f96c3751e4 | ocamlx(Term) |
| = cca89e9761d61bb19d429842fdce4a48 | ocamlx(Term_dnet) |
| = c5adc7e84586cd9c56f347ec1b698dab | ocamlx(Term_typing) |
| = 81f63cdaf7d35ef48f90f10ed6c59a85 | ocamlx(Terminal) |
| = bf0e047a6dfcc84089128ff8fef5abfa | ocamlx(Termops) |
| = fa7df88b05f340906ceabd019abbbbe2 | ocamlx(Thread) |
| = b871221009598cad605fd07e06be272e | ocamlx(Tok) |
| = 6153aa1de9d21f17c87b4b6a73e16329 | ocamlx(Topfmt) |
| = 8124f1fd8b96370b7ba033fb2276c693 | ocamlx(TransparentState) |
| = ddc1e27735051c2c77e65c252b920f90 | ocamlx(Trie) |
| = 173b874cf2d5d96a41aa890b2292bfbe | ocamlx(Tuto0_plugin__Tuto0_main) |
| = c257de912d62dcb30ddba8cfad0b2976 | ocamlx(Tuto1_plugin__Inspector) |
| = afa0d10be635ef1b13877554ca5fcd90 | ocamlx(Tuto1_plugin__Simple_check) |
| = b26c4af3edcb89979812f5b1de02bcb7 | ocamlx(Tuto1_plugin__Simple_declare) |
| = 16ff8b5b412669cad05d3d48184cbc9c | ocamlx(Tuto1_plugin__Simple_print) |
| = e82b03b707cadefa16c3131d495056bc | ocamlx(Tuto2_plugin__Counter) |
| = 5bd99c12fa6904c5afadcc52c7c6cb23 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = c33b187a0fc8f381fadbb4537f43e52b | ocamlx(Tuto3_plugin__Construction_game) |
| = 5c6b5914e471622e99bc206c4fd7919d | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = 368364dfaf37e4aa7549fc6afd1c818c | ocamlx(Type_errors) |
| = 01fcca614f74b669e2bb527dd7e4675f | ocamlx(Typeclasses) |
| = 471501e39ec60fc096efdb487e063e04 | ocamlx(Typeclasses_errors) |
| = ac8bda2ff067bbdb1cb61862946a4b2f | ocamlx(Typeops) |
| = 1892c78c8836e6f45d1be9bdb34b33f0 | ocamlx(Typing) |
| = cfbe26b87ed59892a9f5e81f64559012 | ocamlx(UGraph) |
| = a87f3cfe0fa7c41b09e939bb178164ab | ocamlx(UState) |
| = d22dec5116a443949657d62ccf13f19f | ocamlx(Uint63) |
| = 13b9068bc6c6836f8679f6672214f2bd | ocamlx(Unicode) |
| = 6748223bda90e6af1a749a6aaed25795 | ocamlx(Unicodetable) |
| = cf296af3734d8b973ed04220f849c0f7 | ocamlx(Unification) |
| = e775552d434f55fadaf618e4a7a96d07 | ocamlx(Unionfind) |
| = 94bbd5c0ec5452df8bc8aabad8145492 | ocamlx(Univ) |
| = e2e14c4d2d7ceb7fcd1be160917e1324 | ocamlx(UnivGen) |
| = fb74977119a12e0cc72642f7d30b130b | ocamlx(UnivMinim) |
| = b6194c5f0c864cce945bc1a8d879d0ad | ocamlx(UnivNames) |
| = 2d529451d6544354f8b34be8d46cc0ec | ocamlx(UnivProblem) |
| = cdac83e74cfd4bcdc9a1889db2c170ef | ocamlx(UnivSubst) |
| = 7ab988a5f1bc8761aa80f04fc8c5580e | ocamlx(Unix) |
| = 19b4b81a3b0bdb1618506233bcac9410 | ocamlx(Util) |
| = b0e01d9fa21e64cefb5e9f1de34772fb | ocamlx(Vars) |
| = 12ea50f4132d58dac43255b559d51646 | ocamlx(Vconv) |
| = f5723fb022ba0430119e65925da26d2e | ocamlx(Vcs) |
| = 59076bd5fd16b1ad3b5847daa7db3dd2 | ocamlx(Vernac) |
| = eb84c4f5366abd93a38bd04864b9685b | ocamlx(Vernac_classifier) |
| = 3617fc06e6ac333d0b33cc1ea57afd5b | ocamlx(Vernacentries) |
| = 711b3f966135864dc1d724d5a8a255ff | ocamlx(Vernacextend) |
| = 52fe7337a78cbe26e251cfdf80b25b12 | ocamlx(Vernacinterp) |
| = c0cc0de5a14906f0e4fb630d36b52c4a | ocamlx(Vernacprop) |
| = 9fb69b6c02d53ba3b12d68e499fe7e41 | ocamlx(Vernacstate) |
| = 68c848c415676b5c3226546fc7b62edb | ocamlx(Vio_checking) |
| = d69b88730db5d8b6bb16236ad3c199b7 | ocamlx(Vm) |
| = f878814b0a94da1f41b842f7a4b3226a | ocamlx(Vmbytecodes) |
| = 767fe71ac5235b27fbc263b3960670b8 | ocamlx(Vmbytegen) |
| = 91b5412015b491886814329ce5cd3b6f | ocamlx(Vmemitcodes) |
| = c0641a80f9aaf55ba86f6a351b65b35a | ocamlx(Vmlambda) |
| = 0b3f25202f15b10c52b711d33ccce0f2 | ocamlx(Vmopcodes) |
| = 9e119415a69bc3c059a2deb34e3f08d6 | ocamlx(Vmsymtable) |
| = 58d2b5d145834a288cac0e4e79a1c5e8 | ocamlx(Vmvalues) |
| = 17e06ce7dcc7e21547ce0ace469efc16 | ocamlx(Vnorm) |
| = 1b648ba1620358ebf68e76aadbe9558c | ocamlx(WorkerPool) |
| = e7f7461dc7287f7895b00fdb33dca6df | ocamlx(Z) |
| = 445bec8658411c11b463f2c35f1d0115 | ocamlx(Zify_plugin__Zify) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.16.1-1.fc37 | coq-core |
| = 8.16.1-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) |
| = f498938c3cd8c3c430d1ecb0bf0739f4 | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = fab86dce490de64d33c82242f0ebfc65 | ocaml(Boot__Util) |
| = 9009b76733276115709ad8eaf7608140 | ocaml(Btauto_plugin) |
| = 29d4880693a67a1f0e1b46f4a9bff412 | ocaml(Btauto_plugin__G_btauto) |
| = 28e0bf9327ab99d94d58094c20908409 | ocaml(Btauto_plugin__Refl_btauto) |
| = d3ea095108ca95f312ef5da1c00ad3ba | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = b49a9e05558d074ce2420f1481d80d8a | ocaml(CAst) |
| = f4378b7e6756e2d51e034a1fb622833a | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = f3bfdbcb718358cbbdf7269ef0ccc70a | ocaml(CErrors) |
| = c60c1257bafd2caf16fc08cc8a89eba6 | ocaml(CLexer) |
| = a742212da585b925999bb1e9c57f8886 | ocaml(CList) |
| = cbcf10800400dde7f75cbc0cc6a0a739 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = 98ddda2b8661651d0ac1c4d2f3adc78a | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = f53fe8692b6d16ecf125c5433c67ee1d | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = cf7a81ae736db3f2a37cc19662f4fef6 | ocaml(Cases) |
| = 84dad22fdc339ed0e7be089e4509b7c9 | ocaml(Cbn) |
| = 948ea102091b6a8e7c4b0e1b62a3976b | ocaml(Cbv) |
| = ceb46e8aedadbdd92158dcf60a3cd0fb | ocaml(Cc_plugin) |
| = b08a94e2e4c838268631e02b8f1131d2 | ocaml(Cc_plugin__Ccalgo) |
| = 47ef5c0a56fdbc0941ce73d0046719fb | ocaml(Cc_plugin__Ccproof) |
| = 3297962af6b7bee613be9662275b2efc | ocaml(Cc_plugin__Cctac) |
| = 03e27f8e2a9649c70cd9fbc67cce309d | ocaml(Cc_plugin__G_congruence) |
| = cbf7121ffe4a7d9642468cb05ab4fa7c | ocaml(Ccompile) |
| = 43714ab5d65b526f526983060b18773a | ocaml(Class_tactics) |
| = 0849bff350169976d6661ecf8c0a0d08 | ocaml(Classes) |
| = 7166460f08eb63080256e23e5fb5c167 | ocaml(Clenv) |
| = 56c8843825713a98c2731d70e4986d59 | ocaml(Coercion) |
| = 130ca2c374c3c95f2be07233a9fcfe6e | ocaml(Coercionops) |
| = d0f9844c2e2c3352cffae437250690f5 | ocaml(ComArguments) |
| = 20cdf574510ab9eb1308952312ff33eb | ocaml(ComAssumption) |
| = 6119173fad398a6e6a12b2b62329eae3 | ocaml(ComCoercion) |
| = 5fb0e71a6ec8f102fda4d4c6dbf643d7 | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 97358d4b231f95eb872fc52abc300d7f | ocaml(ComFixpoint) |
| = ad2c813f50a0b8eb05789c4dc928c592 | ocaml(ComHints) |
| = 39f85975b25aee1b8e535e0d1d2ce9b9 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = b4baeb08b384fb166b2e11345e1e6018 | ocaml(ComProgramFixpoint) |
| = be75ce7f6093f0fde2fe33724d2f8b0e | ocaml(ComSearch) |
| = a08901eb475fd5bd26c27679d799860c | ocaml(ComTactic) |
| = 9ca352bce78df900bce25f5e83b3e3ec | ocaml(Constr) |
| = bc3bc25e047804b0c2146f38c8baf57e | ocaml(Constr_matching) |
| = 0a1d3ceef956f29cc7dc137ca11d7f87 | ocaml(Constrexpr) |
| = 418e616a5df5c13bfb5ca9962193d077 | ocaml(Constrexpr_ops) |
| = 5af32acadc581f65a54da5afcd5b2c2f | ocaml(Constrextern) |
| = 97b95cdbaec7eb2886396200fc429e6d | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = 17710499fc288b647d485e984107779e | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = c511194cd3d1c75d0ec51fe57d5c4b93 | ocaml(Cooking) |
| = 8d4ce5876520fb1b857ce0b66885c9f0 | ocaml(CoqProject_file) |
| = 1f9c810a032fb9a136e70b90280eb879 | ocaml(Coq_config) |
| = 831a6f58e41b064f9a4f9156af190952 | ocaml(Coqargs) |
| = ae9cdc97fc7c07c638b81cae3fb1f043 | ocaml(Coqc) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = 2c95a5e907cb1568e1a7c1a9d070b1aa | ocaml(Coqlib) |
| = b2d2792c476702243473dae407a9a210 | ocaml(Coqloadpath) |
| = 788867ecf0c71ce995da64a7ef7e22c4 | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = fc0bcbda58d2f416905b23bfcb7dc570 | ocaml(Coqrun) |
| = 7406aac3df43f6624ef3974b517db9e6 | ocaml(Coqtop) |
| = 3c5e42d0ebc9405514b419d4f2d94f54 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = dad4dc5e90d3a1f173b8fa9529571329 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = af077788df86ae3c100cb12d0e433100 | ocaml(Declarations) |
| = 50515d5655d9fdf56b819fa36790df68 | ocaml(Declare) |
| = 42984d348ae777b60959a2725b38e9e4 | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 2e832a7a087246de5bdee9de92899c73 | ocaml(DeclareUniv) |
| = feae46dd7f816faac5d3a1d9b6695f56 | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = 703781821a9f6fa92a858580f939bd9e | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 87ebc9f2679fc769364ed6fc35137bff | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = 4651f4597c9b6eb0b541950e161cf0d5 | ocaml(Derive_plugin__G_derive) |
| = e1a2f4f4c8caaef8118ea6369f5fe10b | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 4ab1a6a815084682e460ae95ad5ab2b6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 082355c6056f963a71a1915a1ed0d49e | ocaml(Dnet) |
| = 20e9106c0a8efd454cf20e46cba32b6c | ocaml(Dumpglob) |
| = fa3daa324553247018623840358472b5 | ocaml(Dyn) |
| = aec1ab28ede64377d193d2fc15de5e09 | ocaml(EConstr) |
| = 6370d8a19b0c9a7718fba5842ec0fd65 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 5c1aff6aa29932ef61514e54a24530a1 | ocaml(Egramml) |
| = 151e3690a55c649c629325cc812d27ea | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 72a73ac1bcf2406fcb0568e0723e2452 | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 81958cbbb97b08eb74f21205ecbe734b | ocaml(Environ) |
| = d15dc70a0dfe3c76ab3cdd6012c93856 | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = 7a649f9b216dad739e837c87f77a3af8 | ocaml(Equality) |
| = 746f3c41caf469b8602bbc0673a9de61 | ocaml(Esubst) |
| = 156cdf64bb05c4ab0c4051f998dfab52 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = a2a426819a1c9723fdb2c2630901cd62 | ocaml(Evar_refiner) |
| = 9d0ed0c25581d922599355cb62e0515e | ocaml(Evarconv) |
| = fe8ca9cf716175388b4409c03e17658c | ocaml(Evardefine) |
| = 3428df78067bc43360db82565604d135 | ocaml(Evarsolve) |
| = e498f9d920d45be1f78891569f3d02e5 | ocaml(Evarutil) |
| = 7801c47db8f2d9004d9cee2602a72d51 | ocaml(Evd) |
| = 766d613c58c5e25783f49ff1e5b36922 | ocaml(Exninfo) |
| = 8f3d3aee03298d6f7ff2c8b208ad0498 | ocaml(Extend) |
| = fdd86db306fda87185be4fa90f2a0006 | ocaml(Extraction_plugin) |
| = 2677b4316cd66d0a80bf553e65ffbafb | ocaml(Extraction_plugin__Common) |
| = 557abedb34df632c626b3974b9d9a9ff | ocaml(Extraction_plugin__Extract_env) |
| = c81d28780c6e34232924dc640b522df0 | ocaml(Extraction_plugin__Extraction) |
| = ef4e75fef750c81d3010d5205c8c6733 | ocaml(Extraction_plugin__G_extraction) |
| = b8ba73cb9d741ac5294ec364fc550a0d | ocaml(Extraction_plugin__Haskell) |
| = 730158f16e2ad36dee9a5e318946bd84 | ocaml(Extraction_plugin__Json) |
| = d2daf1f684cf83b41f09829d7f2b7552 | ocaml(Extraction_plugin__Miniml) |
| = 974499eaadc997249cfc96f0fbfdfabc | ocaml(Extraction_plugin__Mlutil) |
| = d3d8d69f12153e4555f4e315684e046f | ocaml(Extraction_plugin__Modutil) |
| = 6f522e0e8dfc7b74d2f1e7f7e8b615b7 | ocaml(Extraction_plugin__Ocaml) |
| = 87d11cbe8ff819f3e95934c271c893ff | ocaml(Extraction_plugin__Scheme) |
| = 8d6ab3ccf270a1b95c298e39cca5f08d | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = b8e1b1bcd1fe2af0f5efe4d42aae93db | ocaml(Find_subterm) |
| = 974870c1e0c3303435a343893f7444e8 | ocaml(Firstorder_plugin) |
| = 9f1ced998d2a291c9071511dcf3cf813 | ocaml(Firstorder_plugin__Formula) |
| = 5ed577e2043be537ba24396334d0424e | ocaml(Firstorder_plugin__G_ground) |
| = 6bc98d9a803eae552c0af502d9a77ff4 | ocaml(Firstorder_plugin__Ground) |
| = 31ff0deb1f4bca4450e5c7708e176ded | ocaml(Firstorder_plugin__Instances) |
| = 2622dc299784d74a128775b95ca6949f | ocaml(Firstorder_plugin__Rules) |
| = 33ecc3ab0d4d8cbb72e1caccadef5bd9 | ocaml(Firstorder_plugin__Sequent) |
| = 909821ef99c0034b33c6860accc7b6c6 | ocaml(Firstorder_plugin__Unify) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 712fa5d21be885f62f4afb0c1b2e620e | ocaml(Float64) |
| = c4fcfb496ea89ff8b1f8cf244b6d40f1 | ocaml(Float64_common) |
| = 235bc69fea943bef8593f9b00b9d5d50 | ocaml(Ftactic) |
| = ac7a138ea913bafeee82c6cde006e5c3 | ocaml(Funind_plugin) |
| = ee95702eb600cfc4bdfd2317a0ca6148 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 684a088e2420f57ea5e66b9e8671d8d6 | ocaml(Funind_plugin__Functional_principles_types) |
| = 328c9d6869718ba584a18a28c5131232 | ocaml(Funind_plugin__G_indfun) |
| = b8ea43ec8dc691348a547487ab1d5c4e | ocaml(Funind_plugin__Gen_principle) |
| = cff1256359ec492c5a18194d89770f02 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 49d76c46a1599bbef803337bcd20fb58 | ocaml(Funind_plugin__Glob_termops) |
| = 1e9ba2e96a1a96bdae8f432a67cec55e | ocaml(Funind_plugin__Indfun) |
| = 64ad5650d148ff12f77940f8887cb194 | ocaml(Funind_plugin__Indfun_common) |
| = 1efeb8db04eb63d1025e5bba98d4c414 | ocaml(Funind_plugin__Invfun) |
| = 8c390ac5f06d4db94222865a6ceb7c5c | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 7a0613286b0065912d96d128cf376bee | ocaml(G_constr) |
| = f1151d6f8a63f69543ae1b0a6d1b2544 | ocaml(G_prim) |
| = 92a3d7f9235e02802469398f948d5c3d | ocaml(G_proofs) |
| = e54acbe7e71d10bf02c8c46d44b80e28 | ocaml(G_toplevel) |
| = 9ea5b298211a2aa2e102c9660e5bbe90 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = f9c42c5b2c5681eaf7e0e49808e93ddd | ocaml(Genintern) |
| = 3425ad20575082d95c850c333be60921 | ocaml(Geninterp) |
| = 092559a8daae9547da5b338d63d62f84 | ocaml(Genprint) |
| = 626bb52775c1748e2c3bffbc6b812083 | ocaml(Genredexpr) |
| = d745ee6d77006ea2b750c1b41da66134 | ocaml(GlobEnv) |
| = 72974471aa15f3cca820654475d61f32 | ocaml(Glob_ops) |
| = 4533a1278fddf471cfcbda9e5b5232db | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 0cde525ff2938a030d830223839482ec | ocaml(Globnames) |
| = 6c36abc34e3c0219300bf334533445bf | ocaml(Goal) |
| = 5303e7040d3cbac08b6a3602be100ecd | ocaml(Goal_select) |
| = 532e5d7e6f0744645df21a2de260a413 | ocaml(Goptions) |
| = c4cb68462c40a1ed4d57b1221c3328b8 | ocaml(Gramlib) |
| = cceadee5ba8287671304df971ae88da1 | ocaml(Gramlib__Gramext) |
| = 5f1a768cb2e6988d339c385f733c0143 | ocaml(Gramlib__Grammar) |
| = b8133aac91b79d4ad41ed01ab52880da | ocaml(Gramlib__Plexing) |
| = 46d58cc9b563a841672729abe6d0cad1 | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = ae839d8ae1693169aceb1c2e64abd9c1 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 76a1b67e644044e04312020e7efed39d | ocaml(Himsg) |
| = 3a9a0ec6a732148db08f2b90c9dbe88e | ocaml(Hints) |
| = 7aa5f74eebdc7c41fdbb35877a0c8346 | ocaml(Hipattern) |
| = afc10af2a433f78a0df71272ef5bb0eb | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = df2b410f42f3aba42107bfd927a4c601 | ocaml(Impargs) |
| = 6e4f1428b681732de1c97c5a9b817d87 | ocaml(Implicit_quantifiers) |
| = 7fd0a95867733a6f1f332c3b6afe4c29 | ocaml(IndTyping) |
| = 4c7455db4b1d8ad88f5f4c8bf6402af2 | ocaml(Ind_tables) |
| = bee3595fe637a02a7d8e46aa6ba68294 | ocaml(Indrec) |
| = a3255fb7501d600a4ec4e32942189de5 | ocaml(Indschemes) |
| = dd582593e5a1ba206cddcf2923655798 | ocaml(Indtypes) |
| = b086ff05d829c607f8425835f6844df3 | ocaml(Inductive) |
| = 88feb584272b6994ff428b275bc6015c | ocaml(Inductiveops) |
| = b35aecd957a5d4de7423ee414afc357f | ocaml(InferCumulativity) |
| = c638a3a3a3350b9a3cd3aecfc1548b44 | ocaml(Int) |
| = 87df5e4766260236b23c453288e9777d | ocaml(Inv) |
| = 53b528fb167dd297bf9b2ad4fca98115 | ocaml(Keys) |
| = f9950e89686bd059defd6cda6a25c5d3 | ocaml(LStream) |
| = 64a196b7833437ec6921775c5de57961 | ocaml(Lib) |
| = 7e72e6b9f7e5a2d16c610b7149eb377c | ocaml(Libnames) |
| = 33613ae7ae8a9f294163246e5c7d4133 | ocaml(Libobject) |
| = 57e9260b34f664211989bcc3e99909b3 | ocaml(Library) |
| = 6605236b96c139e644909eb14686ccb8 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b91e1cdf8560a02599ec3b484a0faa53 | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = 13c4bebf9827283a2773b474406ee42b | ocaml(Logic) |
| = ad1c2d56a37c94474486c95b0b560584 | ocaml(Logic_monad) |
| = bb0c1877449e421d8427bb35611e5d33 | ocaml(Ltac2_plugin) |
| = 7441004ffc5703c49c7e8c5827170e33 | ocaml(Ltac2_plugin__G_ltac2) |
| = ab0bb2879f762f640a390dfb5255d45e | ocaml(Ltac2_plugin__Tac2core) |
| = 32c9e1137345bb2448b1b4b2a83a6973 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 6cb71431b99a57fb690ec87a683ded3e | ocaml(Ltac2_plugin__Tac2entries) |
| = e15e0caddaaa677c501cc6483029efc7 | ocaml(Ltac2_plugin__Tac2env) |
| = b9f2befaaf66b5b7e605db0828027e76 | ocaml(Ltac2_plugin__Tac2expr) |
| = 07c71c50ed1cbf174f157a4da537d846 | ocaml(Ltac2_plugin__Tac2extffi) |
| = df35daa2225e1451b71cd0761e629d26 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 490bd474d7e72a9a8e1d9e13757c051d | ocaml(Ltac2_plugin__Tac2intern) |
| = cb36f759ba7bfa7e644f632a3fcb7fb9 | ocaml(Ltac2_plugin__Tac2interp) |
| = 54284665a2f5748fb8ac5964831cc333 | ocaml(Ltac2_plugin__Tac2match) |
| = ace63425ac98abb66d981e13a615a445 | ocaml(Ltac2_plugin__Tac2print) |
| = fd905b6c2d8af1f39001d10020d4c407 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 781aef67dfe9c5b964ef22cec74ff0a8 | ocaml(Ltac2_plugin__Tac2quote) |
| = bafb212b7cc5620b3cbd2f55c7a087f3 | ocaml(Ltac2_plugin__Tac2stdlib) |
| = 1c1f4a87d8754387d20e8e7c3a689127 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 3ee5b6d9a8221cdaa5271b349f0b9d65 | ocaml(Ltac2_plugin__Tac2types) |
| = bb15dbe4f28c600db9de476703ea1b94 | ocaml(Ltac_plugin) |
| = 7862b3c490d66084278f856a9a696610 | ocaml(Ltac_plugin__ComRewrite) |
| = 8319d4ecdfa85afd87fff24d4b79955b | ocaml(Ltac_plugin__Coretactics) |
| = ac7649bacfc54217b3726abd8ba2eefd | ocaml(Ltac_plugin__Evar_tactics) |
| = 32802bb44cebd4d7aa11496d2a7b89d9 | ocaml(Ltac_plugin__Extraargs) |
| = d4451ecdf7fd6c8c477701b85c23f75e | ocaml(Ltac_plugin__Extratactics) |
| = 90f731840d5ddf80bcd2188509656dee | ocaml(Ltac_plugin__G_auto) |
| = 88f18a0438a36762379fcbd83e4a0f04 | ocaml(Ltac_plugin__G_class) |
| = 5b73db2704b2108fe7c90113f0c3ed94 | ocaml(Ltac_plugin__G_eqdecide) |
| = cb95f6bdce7de27f6c1dbab18b84d725 | ocaml(Ltac_plugin__G_ltac) |
| = 1348e02c46652af41a2cac3ffb89efe2 | ocaml(Ltac_plugin__G_obligations) |
| = eca154a94717992413547a3b4afdd68b | ocaml(Ltac_plugin__G_rewrite) |
| = 1c5415495d0d0d922502c47274659fbf | ocaml(Ltac_plugin__G_tactic) |
| = 830affcc256498d0d01910df2b1e78d3 | ocaml(Ltac_plugin__Internals) |
| = 7d5c31c53498df384e9cf33699c13a97 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 107f9608b253eb0c2c03dd51a5c31ebd | ocaml(Ltac_plugin__Pptactic) |
| = 5f42700b3739e74db8f0006aeb46a0ec | ocaml(Ltac_plugin__Profile_ltac) |
| = ecb7c15c9b3c1b3c4f27b52dd04505b8 | ocaml(Ltac_plugin__Profile_ltac_tactics) |
| = 914c6f680894df96a08d1605def5b5a9 | ocaml(Ltac_plugin__Tacarg) |
| = 7843e413a27cc23687cf19b04f6d88bb | ocaml(Ltac_plugin__Taccoerce) |
| = d79565bb0bdf241fe57ffff29b9f05b5 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = db03a7b8c07c50868303ed8334ed82e0 | ocaml(Ltac_plugin__Tacexpr) |
| = 4b53cc9dcbcf64616b1cb9d81e04b5c2 | ocaml(Ltac_plugin__Tacintern) |
| = f057a4f45fb07340e0e8844b2c99392e | ocaml(Ltac_plugin__Tacinterp) |
| = f7b4e760d6387d3a44aa62f54dbb1013 | ocaml(Ltac_plugin__Tacsubst) |
| = f4e8deb826de3c96b31b19a548f1249e | ocaml(Ltac_plugin__Tactic_debug) |
| = 85267e743f7289c9af9f6e32135d91ab | ocaml(Ltac_plugin__Tactic_matching) |
| = c107412336e1c51d1f30c37e887d6b79 | ocaml(Ltac_plugin__Tactic_option) |
| = 1a5459876be0aa010ebe6bdd23c6fd37 | ocaml(Ltac_pretype) |
| = 47a92a3248e359a421627ee6c43007a1 | ocaml(Metasyntax) |
| = 477e4d683c0b40afe138ea0fb8efd814 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = 800ea6574a0deacabdc4a26c1b68d9c8 | ocaml(Micromega_plugin__Coq_micromega) |
| = 5eae51a15e6b9a469ddcd827bcaf8fcf | ocaml(Micromega_plugin__G_micromega) |
| = c1ba79e6d489268738330e0d9ebe3803 | ocaml(Micromega_plugin__Itv) |
| = f887ba302ad57cfd74ecceb54f93ca0c | ocaml(Micromega_plugin__Linsolve) |
| = f92b4cac9f443839b1fd033e90bd94b1 | ocaml(Micromega_plugin__Micromega) |
| = 124f7df6a43d90c1a1501bbf817733fa | ocaml(Micromega_plugin__Mutils) |
| = 129cfa827358628f55c4b6833ec95dba | ocaml(Micromega_plugin__NumCompat) |
| = b4ae1739c93ce13857ec58f928b2d932 | ocaml(Micromega_plugin__Persistent_cache) |
| = e8848d938f6e46de93d27011521c11d9 | ocaml(Micromega_plugin__Polynomial) |
| = 9b2002802ddabd5c4c388477615d1498 | ocaml(Micromega_plugin__Simplex) |
| = 13dcf98dbb95973cee2d78186501169d | ocaml(Micromega_plugin__Sos) |
| = 2ec98bbf51e7cecd1ac269c30d783704 | ocaml(Micromega_plugin__Sos_lib) |
| = e78ffadbd99b0415f9ef68ce9bc030ae | ocaml(Micromega_plugin__Sos_types) |
| = 06b1789ffca7853552bd33a0e16f27d7 | ocaml(Micromega_plugin__Vect) |
| = dead541e824ffaa9f6b36a443ebdf101 | ocaml(Miscprint) |
| = 04b802c6f617661d63eb8adfe76b0100 | ocaml(Mltop) |
| = b56a185b9f7bb6f0f0f519c06bf981db | ocaml(Mod_subst) |
| = 326e1f8d63d788f9830f3d1770478bfa | ocaml(Mod_typing) |
| = 8c9ef6e6ad38e46d6187cebd47dab344 | ocaml(Modintern) |
| = 2f5106a546728c8a9dc308a95876078e | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = 0a8addd4f715e43f63deeddff67666bc | ocaml(Namegen) |
| = 0370e4e902f299a0a716b28375cf67fb | ocaml(Nameops) |
| = 0b6c349e44c595f40356f60ca49fa766 | ocaml(Names) |
| = 939eb1b5d6f3dab8fc7aa53d76f8cd46 | ocaml(Nametab) |
| = 02dbeca2f7bfac8ee80f221d7d1bcb8a | ocaml(Nativecode) |
| = 60d8b9f9f4561c30226973b77f29c919 | ocaml(Nativeconv) |
| = 219578857e7b319faa4d145a4fa5ff68 | ocaml(Nativelambda) |
| = 7b23ee7251439aa612f59354c020ea67 | ocaml(Nativelib) |
| = 0f113430f9645d3876eba86e526ed5ea | ocaml(Nativelibrary) |
| = b6141c50b88274d770d746174ed6a19a | ocaml(Nativenorm) |
| = 151356e5f71c48ba131e257d7b5d6b0e | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = 6687290488ca913493273e35ec9140c4 | ocaml(Notation) |
| = 26cc7b8a624df72d8a961e49bbd4c685 | ocaml(Notation_gram) |
| = d0e23d53b27691b62480a8ce4af6f3da | ocaml(Notation_ops) |
| = ba7e10bd6c980ba842674b92c4fd32b8 | ocaml(Notation_term) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 1b6976b6917d803cbdf8de5f54fee594 | ocaml(Nsatz_plugin) |
| = a9ba8b3e58d4af8de146202a4585770c | ocaml(Nsatz_plugin__G_nsatz) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 1d1447b63f4059613156940faf20e246 | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 919d150c66ab68cf4c64598cc40be9c3 | ocaml(NumTok) |
| = 51ac4a03513f6ae660fff42d91271831 | ocaml(Number_string_notation_plugin) |
| = 669bed50f043b66917f473e6cc270163 | ocaml(Number_string_notation_plugin__G_number_string) |
| = d560cc4cf07ff534da923f83caddc52d | ocaml(Number_string_notation_plugin__Number) |
| = 123d97c5745d0c1fef510f3fbdfdc3e7 | ocaml(Number_string_notation_plugin__String_notation) |
| = bf14320ff736e5a8a90a032f530c117b | ocaml(ObjFile) |
| = b1745fe14cd37c212d34eea094f1b8df | ocaml(Opaqueproof) |
| = 8abed5317fc879dbf8d6ab6b78ee9461 | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = bf0feb2b99812624585018290a94c3e7 | ocaml(Pattern) |
| = 8f99781c06995f38b81f348e933ef80a | ocaml(Patternops) |
| = 30a4ee789831680c39f99302f3402899 | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = ad5c40eeffb62d378e92846c773ae25e | ocaml(Ppconstr) |
| = c66b14a7d4dd58e29bf6b63c5c4a043a | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 701b29514a3f59ab6ac3da555ee1bbdd | ocaml(Pputils) |
| = 40d9095fab82ed95c204afc030f8ce39 | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = da011f47db15648d1921b7ee98e96149 | ocaml(Prettyp) |
| = 4f0e6bee2956221e0d19c7a4d6232f5b | ocaml(Pretype_errors) |
| = a6903cb3010cce9b1b538151878854dc | ocaml(Pretyping) |
| = 97ca1d481f50c1c9701babd2fd24fa01 | ocaml(Primred) |
| = 1508d255db0d0f15754cef32e692257a | ocaml(Printer) |
| = a149b8d341f58a9ed12d0b9640d7e7bc | ocaml(Printmod) |
| = 2624aeedf972f229030473e90e66f802 | ocaml(Program) |
| = e0acf16fbe54fc07c8509cc29dd691af | ocaml(Proof) |
| = d4231cd59ef7cdd50eb3b6ada466095c | ocaml(ProofBlockDelimiter) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 5b4a14e9ee97f49f21641d79a760a9fe | ocaml(Proof_diffs) |
| = 0e6b867bb35f79d409de49d232158d61 | ocaml(Proof_using) |
| = 3d6152dfc2a51be0829e6bb46552105f | ocaml(Proofview) |
| = 7f12467494a6d7b1e7a1ad7c434aea2d | ocaml(Proofview_monad) |
| = 1851fe26b4a9ac0a8bc026b857dc4b3e | ocaml(Pvernac) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 7c37241cff05db7ac0a1329193879e09 | ocaml(RecLemmas) |
| = 395d7268652e7b9d171d02c26be239ba | ocaml(Record) |
| = 358ce56fbaf02036c310a0dc80dceee1 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 3523f631320a31383fd961d753a8e437 | ocaml(Reduction) |
| = 589f659dcd35d95083d18864277f803b | ocaml(Reductionops) |
| = 38cbc3a1c87f430244465ba02a3f670e | ocaml(Refine) |
| = 0dc4460587e822b7317f3d06ba93ac1a | ocaml(Relevanceops) |
| = 5c7a8afa4a7a2efc34a56915ea56d9f8 | ocaml(Reserve) |
| = 25482df7bf0c95ee7a7420fdc7b077ff | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 903d124e51a22bd2a47af1c46401859f | ocaml(Retyping) |
| = 053c386ec826f0c3cc95bbc663b2e66a | ocaml(Rewrite) |
| = 59777bc023dc2f779226cc57a4f18948 | ocaml(Ring_plugin) |
| = 897965d8515e7a19e237acabe4ab85b4 | ocaml(Ring_plugin__G_ring) |
| = 8dec7d911b8640ad844c40a9506a5a62 | ocaml(Ring_plugin__Ring) |
| = 8bf8f13d56dd035d227a563725c6b9ba | ocaml(Ring_plugin__Ring_ast) |
| = 1ccac922ee6c453c5b78275edf751850 | ocaml(Rtauto_plugin) |
| = c83d11d4fb01d6bbb66b6a2d4dc42bc5 | ocaml(Rtauto_plugin__G_rtauto) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 592092c6dc6e41e93c33f1a93a254861 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 2cfd62ffab10a60ce3b0d9eae3e38881 | ocaml(Safe_typing) |
| = 663f18873ffa3dc0d069b7fe4d96b45b | ocaml(Search) |
| = 68f3c3d655a9890cf3b21f6b34e3160c | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = c896fb1b0fea255b7a392a0203129c74 | ocaml(Ssreflect_plugin) |
| = c59335353fd407813ec94554fd1fd19d | ocaml(Ssreflect_plugin__Ssrast) |
| = 5f05e161434831370e9fffc618b053aa | ocaml(Ssreflect_plugin__Ssrbwd) |
| = cf646a48644671d515aa1bbe3d475ba2 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 4338e5d8944055936152bb3409cb07ca | ocaml(Ssreflect_plugin__Ssrelim) |
| = d8020755c5f13cd69ada8eca975bd6db | ocaml(Ssreflect_plugin__Ssrequality) |
| = c6a7de212a82cc05b53088967e27e0f9 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 0b6c89ea25f6dd09c0ef8a7be169a231 | ocaml(Ssreflect_plugin__Ssripats) |
| = 3a2558fcb2a3791cbb93a45b46ed40cb | ocaml(Ssreflect_plugin__Ssrparser) |
| = c0673d4b90ef445ee20b5ae714eb5517 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = a94e7c266a7691e87b41093cc36ac4ae | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = ee60bc5e1a384c959b2d04b4ea6b3296 | ocaml(Ssreflect_plugin__Ssrvernac) |
| = 77c8815cedf7167ec319e5ff21e1fa81 | ocaml(Ssreflect_plugin__Ssrview) |
| = c3e1af22ac2aa8657b01523f06b2d5e9 | ocaml(Ssrmatching_plugin) |
| = 0d321e02e50644ef5eb6303576045830 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 668a23919be6745b246370aecd65f2cc | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 9919abd709603092de7b5aa43fa0e8ff | ocaml(Stdarg) |
| = e9771057e3147fe83744d71535a360c6 | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 349c9a69e789e6bd020acecb69ee10be | ocaml(Structures) |
| = d6a8dcb20483df9e8e3c73cbdee5b45f | ocaml(Subtyping) |
| = c563d6bd180e6b78f0f0ca461607f4bd | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = f589b85b22b5f00627cf4d9f6681e407 | ocaml(Tacmach) |
| = 1bcf5d6b2d87bb2d7696492a83cd30ea | ocaml(Tacred) |
| = 87cde9a3ed05f21524a5e0190cfd0bb7 | ocaml(Tacticals) |
| = 34eb6eacaec827fb614cac476b2bafa9 | ocaml(Tactics) |
| = b9e19e5a5f9b5b90dd92fc062230a5cb | ocaml(Tactypes) |
| = aa8f4685317ce8dff797fb032be373f3 | ocaml(Tauto_plugin) |
| = 349c1525b6f814ab8fa0af79099ba65b | ocaml(Tauto_plugin__Tauto) |
| = c1500a859572f47c5adeb740fbcebf6b | ocaml(Term) |
| = d122216f951f7e463242ade7ce397ab5 | ocaml(Term_dnet) |
| = 99f9b52aa6e2484189d2e8df6b349e8e | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = ca7a782d91f103df7414424beacad2e6 | ocaml(Termops) |
| = d7f575ffa78825bb266417e4b337bcdb | ocaml(Tok) |
| = 56f2d8bb0d193f24f48315c6f79a80a2 | ocaml(Top_printers) |
| = 9bd1f1603123496f4fab7218e670d476 | ocaml(Topfmt) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = dbaec1601de88187931d58b1545e2bc7 | ocaml(Trie) |
| = 812cf3340836e621be63fa9aa920f56c | ocaml(Tuto0_plugin) |
| = 3f1b217a49ed2f0273a81b19da082891 | ocaml(Tuto0_plugin__G_tuto0) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 9cb6b709539dbad0cbe61a556c4bbd59 | ocaml(Tuto1_plugin) |
| = 58094dcfcc10cdeec52578fef301f327 | ocaml(Tuto1_plugin__G_tuto1) |
| = 9f92f909f667ba2f13875ff30e150cf3 | ocaml(Tuto1_plugin__Inspector) |
| = 13267d5660158f59c566c74059f967fa | ocaml(Tuto1_plugin__Simple_check) |
| = a268bc8964d4db75e3cae5cc1981b7f0 | ocaml(Tuto1_plugin__Simple_declare) |
| = bef62b8d37aa21dd32ec1a82174483a6 | ocaml(Tuto1_plugin__Simple_print) |
| = 117dad8dfb3fbf1d4f7967854193338f | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = 73d6fd2ad4dde2ad26a79654cac26d40 | ocaml(Tuto2_plugin__G_tuto2) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 0c73a52fe51cfe8d55f24c9edcd2421d | ocaml(Tuto3_plugin) |
| = d7a881140435372c64e3efa917b9cf6b | ocaml(Tuto3_plugin__Construction_game) |
| = f6bc20d3b2a1cd7cbcb8cbf00c546e3c | ocaml(Tuto3_plugin__G_tuto3) |
| = c067205f4e2a065d2434ef90fdd94a4e | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 0c0828c2a9ff92cc716465e0013a0769 | ocaml(Type_errors) |
| = c82cf14a959ab2a132030ef8b5b5bb4c | ocaml(Typeclasses) |
| = 91fcea315f9e707674cdae735a2c33cc | ocaml(Typeclasses_errors) |
| = 44ed108471c7a7400a5fcc850ba1e0be | ocaml(Typeops) |
| = 696857366a11b930eea9840e47c39d4e | ocaml(Typing) |
| = bd28bddd5c33ca5c1a5f9f43f907e5da | ocaml(UGraph) |
| = 3ec987d0c982616ff943f71f05e2c111 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 3e22c9e8fc6924cded99cdc50b4dde0b | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = bb08182b91ec85ec72551ce13bfed01f | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = 6feb5ec642e4daf30a0944e888214cea | ocaml(Univ) |
| = c08393c720001d4601ab69c764edae38 | ocaml(UnivGen) |
| = a14b8f2bfb556a067a30c7c3edf09375 | ocaml(UnivMinim) |
| = 9f0af4e2cd7c9a6a04f181684ebd75df | ocaml(UnivNames) |
| = 0bf19edcf4c9ada1dd5cdb51d579b1fc | ocaml(UnivProblem) |
| = 2c793a58009dea74a325c5082597d844 | ocaml(UnivSubst) |
| = 46a1f0249bfbf29202e10de25200d4ea | ocaml(Util) |
| = 73a674179608a349a8f3d001ee037f1d | ocaml(Vars) |
| = 7cee5a6c0faacb4e9ebf86fb667ad05e | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 43ddad20b726927bcb491b9dad99dfee | ocaml(Vernac) |
| = c52eee082c33aa6b03c24069065d6b43 | ocaml(Vernac_classifier) |
| = ddcaab825bd3b96146a0d4b0ad10fd37 | ocaml(Vernacentries) |
| = 31bf27dcb0e938a20d1797f40b7144ae | ocaml(Vernacexpr) |
| = b507ea2d1a0f49d7fb3939c2f335eebe | ocaml(Vernacextend) |
| = dae6e02ea3bae9b78083a74bd7388512 | ocaml(Vernacinterp) |
| = 9b0ca758b7fe1839325d927a5994eebb | ocaml(Vernacprop) |
| = 365874fe1588a2549b04049dea924707 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = f75880ed7df49928430f842fc3ba82ae | ocaml(Vm) |
| = 88733f1084158f9273bb318495213675 | ocaml(Vmbytecodes) |
| = 76fa264acca66b07c1485aeec8bd1117 | ocaml(Vmbytegen) |
| = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 | ocaml(Vmemitcodes) |
| = 9a79aee1037366c0f07196ba545e75f5 | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = bd114711d566fec5fadf3e8314768f6b | ocaml(Vmsymtable) |
| = 6cfd8f0d13168b127ebed3d4375b15c3 | ocaml(Vmvalues) |
| = bd874b0b0dce77d32e4d24ddb2379d1c | ocaml(Vnorm) |
| = ea846ec7f2e66cbc8acf115cc9dea909 | ocaml(WorkerLoop) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = 61512478af51fb18cb17e36ae0122e4b | ocaml(Zify_plugin) |
| = e123953b94a927241402faa568d57b31 | ocaml(Zify_plugin__G_zify) |
| = c0c1d4967746ed66dfb1a7d6dd2730c9 | ocaml(Zify_plugin__Zify) |
| = 1e303a1cd63f686cc45a02ab6e54d33a | ocamlx(Abbreviation) |
| = a736251e1e284151714154a8d2ea006e | ocamlx(Abstract) |
| = 4968464ee67a63aa5b086d91e652cc60 | ocamlx(AcyclicGraph) |
| = da0d5df86bfa0d38b51c26996e0f7363 | ocamlx(Arguments_renaming) |
| = 011a6a5dac7b6c3d37bf3d3ed50c6d1c | ocamlx(Assumptions) |
| = def651f105a53b7c5c09741ea1ebd1f9 | ocamlx(AsyncTaskQueue) |
| = 8ae27b0bd5b430dc23f2f82e1f993758 | ocamlx(Attributes) |
| = 623a5cfbfa7ca4787920a2f8f4239d56 | ocamlx(Auto) |
| = 4dccea1cf7371f00dc95ce98f9e0a6d2 | ocamlx(Auto_ind_decl) |
| = 26e203529c063cd454257c84a4ba3319 | ocamlx(Autorewrite) |
| = 0af5198bd2ee15bd52ac9391adde987c | ocamlx(Aux_file) |
| = bc1d5fdc1e51ac3821e54c2aca07ba9f | ocamlx(Boot) |
| = f65db59808a730d8171b552916e04e68 | ocamlx(Boot__Env) |
| = 3283bdb02fa7226af39ef26213a7ea3f | ocamlx(Boot__Path) |
| = 7f85b96cf7e58f20280fe3b3e7ebac5d | ocamlx(Boot__Usage) |
| = 4808840948928023f2afa8fd13d2fe70 | ocamlx(Boot__Util) |
| = 341420e31c0382d9f68dcca9cf6866ee | ocamlx(Btauto_plugin) |
| = 23031f082622fe8b9d419ac0799ccd02 | ocamlx(Btauto_plugin__G_btauto) |
| = c32ca9a3c326aad251dfb8fd70e7b4ff | ocamlx(Btauto_plugin__Refl_btauto) |
| = c825e35b9f33c7dcae08d8f7dca8318b | ocamlx(Btermdn) |
| = 1741e90e662685e4be92495cd83bccb0 | ocamlx(CArray) |
| = b30391fb50300289b7bc8af1542762db | ocamlx(CAst) |
| = 7e8a992548fc536596d966bb81ba2a23 | ocamlx(CClosure) |
| = 44830911f66398d4b7ec6a56f069820f | ocamlx(CDebug) |
| = e163db81eefed9a295d459c237c00578 | ocamlx(CEphemeron) |
| = c154465daad33d0f00f7f16d653a8a7d | ocamlx(CErrors) |
| = be7fcc53f362dc100fdd820994e76579 | ocamlx(CLexer) |
| = 8d59eb9210256be316adc1aa298f7fd3 | ocamlx(CList) |
| = c6592721cdb29f28c0cefbfa45d01b2b | ocamlx(CMap) |
| = 98481053170e3f276a6ddf5318462727 | ocamlx(CObj) |
| = 03785bc3e6d764df17dd6dcfecf9fcbf | ocamlx(CPrimitives) |
| = 317fcf9870e50b8d078b590d24127681 | ocamlx(CProfile) |
| = e75c55fcbfefa0b19511110d76862870 | ocamlx(CSet) |
| = 2c83e6da57716e19b8ed3547c7af15ed | ocamlx(CString) |
| = 30829016d61cd0518b39dce14e9b2ba2 | ocamlx(CThread) |
| = 214cac943b8d89ce693166200e0fa894 | ocamlx(CUnix) |
| = a1059694c66fc9e67d334edb767f9f67 | ocamlx(CWarnings) |
| = f261dea28051539bf960516fd91878fc | ocamlx(Canonical) |
| = 99e081e53d7f6db0f2c370fc8b9df573 | ocamlx(Cases) |
| = d4bccfd87de7d3c03bd31b39dd3a973c | ocamlx(Cbn) |
| = 5faa76031794806be9a517b503fc5d55 | ocamlx(Cbv) |
| = 2f23cf69bae81a2ebb250c91ad9cc184 | ocamlx(Cc_plugin) |
| = 95c9a789f4b92db07cd58dea69416c99 | ocamlx(Cc_plugin__Ccalgo) |
| = e3c89318db4dc0fd74a633d7b169a4c9 | ocamlx(Cc_plugin__Ccproof) |
| = 22ec7d3a6d78f6ecb9e501ed9527875b | ocamlx(Cc_plugin__Cctac) |
| = 48142cb982e65619a76df9840b875dbf | ocamlx(Cc_plugin__G_congruence) |
| = 66af54f4c4ce29f8c67c67683f7d0df3 | ocamlx(Ccompile) |
| = 1609e8bb0e3dc029fbb3584eaa6cff5e | ocamlx(Class_tactics) |
| = 5ff8684665072373a1a29bfc6e8c5a9b | ocamlx(Classes) |
| = 73b4d46c4f2720666e5addb22183d53a | ocamlx(Clenv) |
| = e3ab8dee11f4c61a2e7de1c4930767c8 | ocamlx(Coercion) |
| = 4a262c68f086470f29ab08b31c768889 | ocamlx(Coercionops) |
| = 157f47b63b0cb3e69d220416c73b464f | ocamlx(ComArguments) |
| = d935754b4d08568c3c1e90d6d79076a7 | ocamlx(ComAssumption) |
| = 64b56ba25692d67aa858408f9772b3aa | ocamlx(ComCoercion) |
| = 38808eab12de1419dc01cfa3510df510 | ocamlx(ComDefinition) |
| = ae49c7cda3bb85bbb220a81567dbbbfd | ocamlx(ComExtraDeps) |
| = 2071adf6a72b1c2ab0bb83fb25d1f5ff | ocamlx(ComFixpoint) |
| = ac2b23d9da8e9753b81413de1060c0b5 | ocamlx(ComHints) |
| = 0e93ebdb0dd980446cc10e46574934c2 | ocamlx(ComInductive) |
| = a889e5c42bfeab697b2c7934f77d127c | ocamlx(ComPrimitive) |
| = b9453992b3591dafbaa624bca455d9c9 | ocamlx(ComProgramFixpoint) |
| = 80611cdf3b4ab73076bc51963447e85e | ocamlx(ComSearch) |
| = 8ff3ebc74b1c3b5cc43ea4c7e3a92503 | ocamlx(ComTactic) |
| = 6954b216526939692b26b43c369ae556 | ocamlx(Constr) |
| = 7de27dfc19ed06492bcd81d5d9b3cf4e | ocamlx(Constr_matching) |
| = 51dbb6f6fbf8aa1ed9bbe9d72dd8982d | ocamlx(Constrexpr) |
| = 39d04b2581031ea594bd2c12a114cda8 | ocamlx(Constrexpr_ops) |
| = 346985530b02b478cd62f4370a2f175f | ocamlx(Constrextern) |
| = 7b1e773adac1120c32d3eb9fd43395d2 | ocamlx(Constrintern) |
| = 91e3d09bc7fe18e20f7894c364aa4893 | ocamlx(Context) |
| = 8af814f682c9b453078b759c50edc175 | ocamlx(Contradiction) |
| = e9ff5e3c67ea45e66a70549c121b490f | ocamlx(Control) |
| = b4c1d148150aa14a6e0751c6c4106aae | ocamlx(Conv_oracle) |
| = abf6a9ac75a3b443c9b7c2b4abad3913 | ocamlx(Cooking) |
| = 52a96bfecb4e410a8941455f3ba55807 | ocamlx(CoqProject_file) |
| = 77531b2a2e5c550276c2948a7d124efe | ocamlx(Coq_config) |
| = b79f68b6dab7c1f8f0c1a8215e908767 | ocamlx(Coqargs) |
| = 208244d13710b3500fdee1689b295ae5 | ocamlx(Coqc) |
| = 9943018835fbe8da75e9e04f2fa2d9d0 | ocamlx(Coqcargs) |
| = f5db563c228ae5f6f18ccba1546a4f61 | ocamlx(Coqinit) |
| = bf308f6bfabd6a73ee5001489f30f33e | ocamlx(Coqlib) |
| = 6db1ed66a7ae873120d9a2582e135110 | ocamlx(Coqloadpath) |
| = 920f67b69e12d218aea0a66796e1f8e1 | ocamlx(Coqloop) |
| = 3ca739833422b3e9a3f6467c7a47406c | ocamlx(Coqrc) |
| = ec0dd3dfefdd99d69f5da2c44ef655f3 | ocamlx(Coqrun) |
| = d6ebaf48e8b9c67d9a256d3d57f62ee2 | ocamlx(Coqtop) |
| = cb286ebf5dc6220ce137c013e214d62c | ocamlx(CoqworkmgrApi) |
| = 8b4ed79bbefcf12aeddf5a6b532dabde | ocamlx(Core_plugins_findlib_compat) |
| = 8cc9155f354d23e70c565a638695c9bb | ocamlx(DAst) |
| = e110282756728444bbbc26e3b826ebc4 | ocamlx(Dag) |
| = ccc204dc8070ce4415a02df9d502758a | ocamlx(DebugHook) |
| = 608834d7dba1d275262eaa4111a7ba87 | ocamlx(Declarations) |
| = fa0a0b21bf2946f7c1df9c3c021087c2 | ocamlx(Declare) |
| = 2e05aeab038d9a3ba3f9dde94f282dbe | ocamlx(DeclareInd) |
| = c22d7380656f85661231f1d4f39f3861 | ocamlx(DeclareScheme) |
| = 5e19e48a70a14bd49220be94edaabe62 | ocamlx(DeclareUctx) |
| = a54e83996a1ff3b58ad8275fc88b97cb | ocamlx(DeclareUniv) |
| = 779f6d53b67c8e0b17cd41d628f1e12b | ocamlx(Declaremods) |
| = c9db1ce7a3d7ce7e9d3cc5ffdda825e1 | ocamlx(Declareops) |
| = 2407c53f85c57b9bb40adcbf3913f471 | ocamlx(Decls) |
| = e2204daf59cec4dc201ab81430a8c8d5 | ocamlx(Deprecation) |
| = 4bfed4f9c4227d7e97f0f9359969e727 | ocamlx(Derive_plugin) |
| = 28d37059e3802061e46938af49e3cfd8 | ocamlx(Derive_plugin__Derive) |
| = 9e62d95b35839896b5a377081ad56e14 | ocamlx(Derive_plugin__G_derive) |
| = 6e242a15630a545829d9a32c8e60cd21 | ocamlx(Detyping) |
| = 4979ae884701eb5b2fff201840600410 | ocamlx(Diff2) |
| = 7fa206d1f9d029b8d312500314ad1e1c | ocamlx(Discharge) |
| = 98dec2f40a7e30bda20d6da8ddcb1cbb | ocamlx(Dn) |
| = 00249208fa23e6d0e5a9bc167e8d6e2d | ocamlx(Dnet) |
| = 7d9bd76aa29204851c4f4782be8f3d4e | ocamlx(Dumpglob) |
| = 6b6a5f9af639456b1ba81d1b75ee3392 | ocamlx(Dyn) |
| = 4c012df2d9422ec7f515363d7b6c71a8 | ocamlx(EConstr) |
| = 9484cb47e2a4d33f4c310d9aa9cab3de | ocamlx(Eauto) |
| = ca302d1dff91c35a66693e2a8846f81a | ocamlx(Egramcoq) |
| = 163e9df3c0abd0d453c18e66d14db493 | ocamlx(Egramml) |
| = 433a4b4956f0f6f235fd73734debc7a6 | ocamlx(Elim) |
| = c378264f379b4a49f3c32f8d6b68bbf3 | ocamlx(Elimschemes) |
| = a70d6426512a40135187bb14e8635ed7 | ocamlx(Entries) |
| = 21e931f65edf084fdb248f2fba914814 | ocamlx(Envars) |
| = a3974bc98eacefe4df6c01f4bba611c8 | ocamlx(Environ) |
| = 6e5f8b6515885de2b8ee99634016ad28 | ocamlx(Eqdecide) |
| = 1cee000905580be77b39a2021ca97d94 | ocamlx(Eqschemes) |
| = 056c261eecdcc7ec71886125272ef1ae | ocamlx(Equality) |
| = 6479c94bea0d9118bb2243bb7461d539 | ocamlx(Esubst) |
| = 7880d8fea85ace6cc913925e904ac047 | ocamlx(Evar) |
| = 385ab61189c1f4ccf6df72fe046eafed | ocamlx(Evar_kinds) |
| = 632e3e1db41e93c8498db4b84ccacb08 | ocamlx(Evar_refiner) |
| = 6067b5a85c6dd60272b8625bc09972b7 | ocamlx(Evarconv) |
| = 7eb906ab8c2bd5efd5cdbaf5a86e06af | ocamlx(Evardefine) |
| = 3c9bc84f61bf98f54bc28c13ebf78d93 | ocamlx(Evarsolve) |
| = aaf3e1d861e231c5964e3c71c03bf146 | ocamlx(Evarutil) |
| = 88a329f1d5f48e5cc1b8427a3ad65170 | ocamlx(Evd) |
| = cf89b09c6ac1379986d9b016943c7cac | ocamlx(Exninfo) |
| = 30e8feba80cadb3f419b4026941b3ea1 | ocamlx(Extend) |
| = 6fcff5b02a9436ef0b637c2d29e353c1 | ocamlx(Extraction_plugin) |
| = 4d439f2048736c00551876c920637f45 | ocamlx(Extraction_plugin__Common) |
| = 3eb56428e85845197e11e6f9c9c2a9ce | ocamlx(Extraction_plugin__Extract_env) |
| = cd7924188c0faa8f7cd372faac51526d | ocamlx(Extraction_plugin__Extraction) |
| = d2940cecd3896c48b060202d319d25c6 | ocamlx(Extraction_plugin__G_extraction) |
| = 58374be7e40b7de49a4d4af7bc4edfb7 | ocamlx(Extraction_plugin__Haskell) |
| = 9b07c953400f2c418d39d4ed96b2323f | ocamlx(Extraction_plugin__Json) |
| = c046efa78806571765723901567fd148 | ocamlx(Extraction_plugin__Miniml) |
| = 45785bf3be41885edea3dcb2302f1869 | ocamlx(Extraction_plugin__Mlutil) |
| = 29a780620fc9e2e066e7d97973f2477f | ocamlx(Extraction_plugin__Modutil) |
| = 8f11a32c9611c6a2c2d929019571a335 | ocamlx(Extraction_plugin__Ocaml) |
| = 0ec3bd69ab2250c44c689b05440e8ae2 | ocamlx(Extraction_plugin__Scheme) |
| = eebcc7c4047dbddae082f425b8d19626 | ocamlx(Extraction_plugin__Table) |
| = 5970675e7ed1136bb865fba772909207 | ocamlx(Feedback) |
| = 38dbad683db330c996541b6b66917d46 | ocamlx(Find_subterm) |
| = f846c99dbaa260cbe0e19175997ef3d1 | ocamlx(Firstorder_plugin) |
| = 93ee915b8637f56f43e7bab90402504e | ocamlx(Firstorder_plugin__Formula) |
| = 94f9ccdac551e1c2455df753ac4d5f08 | ocamlx(Firstorder_plugin__G_ground) |
| = 924bcb51416f8fd1edc03294fed81977 | ocamlx(Firstorder_plugin__Ground) |
| = 510767b00cc0fd4a56d4f744d28a41e5 | ocamlx(Firstorder_plugin__Instances) |
| = debb85d40eff4e999481592835354305 | ocamlx(Firstorder_plugin__Rules) |
| = 2fd1d54a0be25c8ead675f5a450f9f80 | ocamlx(Firstorder_plugin__Sequent) |
| = d2f6a866d8db90de22275907996624eb | ocamlx(Firstorder_plugin__Unify) |
| = 77000c95cf7e77e33925267b3d29708c | ocamlx(Flags) |
| = 1c48b0b9848a98b78b325019b188fb6c | ocamlx(Float64) |
| = 7bef336d2fb84d009c213331c0491c18 | ocamlx(Float64_common) |
| = 7171998e7b7391a0366c6bb6e8728b03 | ocamlx(Ftactic) |
| = 5dd7066c0be80e4ff9bda91f46d9e967 | ocamlx(Funind_plugin) |
| = f6050ee3f7a03ab9a9debc3930fc3e00 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 94e3b017b922ddd64dd0aed6b4e8c1af | ocamlx(Funind_plugin__Functional_principles_types) |
| = f4ee188e14860abcacc0b4ccaf787906 | ocamlx(Funind_plugin__G_indfun) |
| = 2b3e706d64eb0a65b9577bb2bc5ca127 | ocamlx(Funind_plugin__Gen_principle) |
| = 6196adc5cfbbdbf5cedccb01cf6917f1 | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = a84b0d9731bd9b34e74d01d1b64f3587 | ocamlx(Funind_plugin__Glob_termops) |
| = 29e7c5a9f73a370b5f1ec8e79ae182e1 | ocamlx(Funind_plugin__Indfun) |
| = 258e7bb46b40b553096b6e85b57d862f | ocamlx(Funind_plugin__Indfun_common) |
| = 0af69df12519a318c171d187eaba4313 | ocamlx(Funind_plugin__Invfun) |
| = 119e4dc18d413d47f08991175fb13429 | ocamlx(Funind_plugin__Recdef) |
| = 7b4845bd979fb6b41d0ee3025679206b | ocamlx(Future) |
| = 688eb257e1907af42184daa95fc72fdd | ocamlx(G_constr) |
| = 8811fdc9ca259fd430d6b80a8551ef2d | ocamlx(G_prim) |
| = 264f053c78b46659d65577ce642a172a | ocamlx(G_proofs) |
| = 50a19576920028b54f638c89ab959378 | ocamlx(G_toplevel) |
| = 3130a5bf0aef0a370fd32dcfceb043ab | ocamlx(G_vernac) |
| = 09a972dec937d95f342a3b496e40a911 | ocamlx(Genarg) |
| = dd3554a349df320e6852346d6b963d85 | ocamlx(Genintern) |
| = cbc7d5b08d88a997d23a3d48bbbeb738 | ocamlx(Geninterp) |
| = 685a6dbed26fbceb6f3b907471b4d9e3 | ocamlx(Genprint) |
| = f6d6c79714a9455664473c1b3f31ff9f | ocamlx(Genredexpr) |
| = 5c33d3659c7b7026e17729062cafe78b | ocamlx(GlobEnv) |
| = 419327eb7693ca2fe74ade11733213be | ocamlx(Glob_ops) |
| = 23c3029811a5c1ac31eeebfa3c47efe2 | ocamlx(Glob_term) |
| = b72a12040d13359db52691c385c283eb | ocamlx(Global) |
| = 5c34985a214caa28ce127da1661aeb5a | ocamlx(Globnames) |
| = 2d9f34b8c246b54a82e8524cf9338949 | ocamlx(Goal) |
| = 86c846cca11e6dde741809709c1202c5 | ocamlx(Goal_select) |
| = b187740fb4fdf5dfccec2a0ff90359c7 | ocamlx(Goptions) |
| = 7c7f7e5e486fb70585b3002c1a477e8c | ocamlx(Gramlib) |
| = d585d8651352131aafd1529f9d857356 | ocamlx(Gramlib__Gramext) |
| = c567e2123eb288f31ddffe358e669aa8 | ocamlx(Gramlib__Grammar) |
| = b80c1034604f8f4a1d9a6facbdb27f4f | ocamlx(Gramlib__Plexing) |
| = 04d3b289570108ca395b03cb7f725a56 | ocamlx(HMap) |
| = 4da722afb771165037ca64b134650d21 | ocamlx(Hashcons) |
| = ec54211bbb0c8aeb40dabc5cc4cfaf15 | ocamlx(Hashset) |
| = 8be9cde4aa0b44588cf53a47b5412166 | ocamlx(Heads) |
| = 9a3b88713a00fad0e8fb1db460c6d7c2 | ocamlx(Heap) |
| = 65c54c6b20f9fe31116aa6c5c5ab5778 | ocamlx(Himsg) |
| = 25aa966530e1c64cbc5164664948df4f | ocamlx(Hints) |
| = f977fc69a951bfc1d13d308c189c7e72 | ocamlx(Hipattern) |
| = 20a7a6fc084a1fcaba807cf8d8b55632 | ocamlx(Hook) |
| = 234e0b4c31072a6ff516e206c4d419eb | ocamlx(IStream) |
| = 478fa0f9c5bab7d813b4bd06049810f8 | ocamlx(Impargs) |
| = 134c21497a8f2a39f9406bc0a9d876f6 | ocamlx(Implicit_quantifiers) |
| = 33d0bea24fa7c95dd81a65bcebd1df5f | ocamlx(IndTyping) |
| = 0aa8f806829855f9fb9b261e55edd319 | ocamlx(Ind_tables) |
| = adc454b9ff0acade00cdfb08ee55c59f | ocamlx(Indrec) |
| = f520f5a23a8b848041a4e27e37a4da92 | ocamlx(Indschemes) |
| = 56fe8291418f23be7a5a25ebb13e3870 | ocamlx(Indtypes) |
| = 5a3b0222a84e831db18b8443242af85f | ocamlx(Inductive) |
| = 406ece6fdf4bc4c279ef661704062ba6 | ocamlx(Inductiveops) |
| = 302b96dfa64986bd51975802925d090b | ocamlx(InferCumulativity) |
| = 4ecd8a9f8926ea4fd30c3ec4122cedda | ocamlx(Int) |
| = ace368320864c42363921c85d1442788 | ocamlx(Inv) |
| = bda4631117230f4846bc865e931abc8a | ocamlx(Keys) |
| = cf7cccc733c5ae2de311128dda7fb8d4 | ocamlx(LStream) |
| = d351a934790d9e01c85519d6573d82f5 | ocamlx(Lib) |
| = 6d0b658750284b157a5584c5d1fa3b45 | ocamlx(Libnames) |
| = 7ff465b8b9318202ae13bdc8cc6df94f | ocamlx(Libobject) |
| = 3a4d39d3c82ba31bc5cfc10693c8c587 | ocamlx(Library) |
| = b1b376deb08d1fe08eae64439a6b3495 | ocamlx(Loadpath) |
| = 2c97260dd31fb8e11ad0c5e45f95bc6c | ocamlx(Loc) |
| = d59cf11b54c09cf9d64207a175bce957 | ocamlx(Locality) |
| = ed638fddde11bbfbbe5541f0d8af5e13 | ocamlx(Locus) |
| = f616b012564b0e6ad8537382e411a1d3 | ocamlx(Locusops) |
| = 9d8a28fed2e7ec28d6995ab07cd707e0 | ocamlx(Logic) |
| = 7e0f343d399d7374a7e8dd19c479d62b | ocamlx(Logic_monad) |
| = 6edff32a03b33e9a8ba621fd9d33f753 | ocamlx(Ltac2_plugin) |
| = 2d5ffc79186ecde484204d79b7e046de | ocamlx(Ltac2_plugin__G_ltac2) |
| = aa1a60a45e572cf5ad2cd862cd5bf1f8 | ocamlx(Ltac2_plugin__Tac2core) |
| = 33a8769f5f87e89adc9f0e97b4c0cc90 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = 38f60614dff972bd17ce51bff49ef1e5 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 1fb7981f36b8603a314e4d9c308cecd6 | ocamlx(Ltac2_plugin__Tac2env) |
| = 5ea22331ae99c1145d7555cb21702a76 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = dfc14b2c060ce2c9531bf6b004d3dd10 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = 2dac3e8714914006f92da65834702f62 | ocamlx(Ltac2_plugin__Tac2intern) |
| = 7fa8c253720934b44c126c38d6489e5e | ocamlx(Ltac2_plugin__Tac2interp) |
| = 203bb0a01008dba41e1a4480acf68011 | ocamlx(Ltac2_plugin__Tac2match) |
| = 292d501827f4b74f36f38e317ebec3cf | ocamlx(Ltac2_plugin__Tac2print) |
| = 88980fd8617782dfacd4afe6118716a7 | ocamlx(Ltac2_plugin__Tac2quote) |
| = bd0b8b526270d3c653881481c727ce4f | ocamlx(Ltac2_plugin__Tac2stdlib) |
| = 82ed3aa0397d1ccb0b2f3c7752b0aab8 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 54a52168ddd14ccb2e7bac9d5656ea65 | ocamlx(Ltac_plugin) |
| = 69aecd9396c952bb9dd067a6f2f55f74 | ocamlx(Ltac_plugin__ComRewrite) |
| = f517f460b75dbb4fc0c04cdc37be54fb | ocamlx(Ltac_plugin__Coretactics) |
| = c43e98b782e3e7f4d14a96667c6b91da | ocamlx(Ltac_plugin__Evar_tactics) |
| = 8e68ef46ba872fe176b89a4564150c98 | ocamlx(Ltac_plugin__Extraargs) |
| = e9fe8592f703e447a0737136cc4f5d2f | ocamlx(Ltac_plugin__Extratactics) |
| = e2e2def65fed5e526d3a730e1f38433f | ocamlx(Ltac_plugin__G_auto) |
| = 63c94671a42a8fd511efa9ecc8e7e97e | ocamlx(Ltac_plugin__G_class) |
| = eeb1596cb3d32b0fd0d77f9e8492615c | ocamlx(Ltac_plugin__G_eqdecide) |
| = 4d8cdb7fac6f6cba8bf1e6509981b749 | ocamlx(Ltac_plugin__G_ltac) |
| = 760fff4fdd45cc7ed1659421babf5ea6 | ocamlx(Ltac_plugin__G_obligations) |
| = 9068ae52c546b96658fadef3c757b19c | ocamlx(Ltac_plugin__G_rewrite) |
| = 40d4e1501e7256717f48a3b5943a64cf | ocamlx(Ltac_plugin__G_tactic) |
| = dbc52363f34448a50586e472c13ae5b7 | ocamlx(Ltac_plugin__Internals) |
| = 7ad078df71a269e2bc78df4bf2466887 | ocamlx(Ltac_plugin__Leminv) |
| = 3210395dfc809ebeb9745695b1336c02 | ocamlx(Ltac_plugin__Pltac) |
| = 0475f879c0729556a82e2c7a944d26c4 | ocamlx(Ltac_plugin__Pptactic) |
| = 87f32c1b68596bba2c779e9e7c9540f0 | ocamlx(Ltac_plugin__Profile_ltac) |
| = c13f219073e2105186e6ac23ad6fe1c9 | ocamlx(Ltac_plugin__Profile_ltac_tactics) |
| = 975b93d5c89b5646c886bcfa38cfbb34 | ocamlx(Ltac_plugin__Tacarg) |
| = 53d3632f824b9c4ebc1827b752eafce0 | ocamlx(Ltac_plugin__Taccoerce) |
| = 0ede28950c081117899f92a307017cf6 | ocamlx(Ltac_plugin__Tacentries) |
| = cde90c6ddfe1c1fb5c78fb3994f69a46 | ocamlx(Ltac_plugin__Tacenv) |
| = c809999bf8ad261049eaa41534d481a1 | ocamlx(Ltac_plugin__Tacexpr) |
| = c25939ab66ab9d63579b80d36a9a951d | ocamlx(Ltac_plugin__Tacintern) |
| = 3a4134f5548c226b1ca41c302bbfb072 | ocamlx(Ltac_plugin__Tacinterp) |
| = 66499f8b12a7ef3a681fb2c0f37f199d | ocamlx(Ltac_plugin__Tacsubst) |
| = 5bf38224d3eb06624ff853d12a80a0f2 | ocamlx(Ltac_plugin__Tactic_debug) |
| = f6a9e4ad0c14df16f69c76756058ee35 | ocamlx(Ltac_plugin__Tactic_matching) |
| = 3a4a0614ea5d456f96eac70bc8e58a66 | ocamlx(Ltac_plugin__Tactic_option) |
| = 79728da2d8858eb89576f366abc38adb | ocamlx(Ltac_pretype) |
| = ff5703d16a9d49936c129d0e7886bd67 | ocamlx(Metasyntax) |
| = 05d03f2585d55e86e2e179b5963eaa34 | ocamlx(Micromega_plugin) |
| = 6cfaf387a1de6d6d71d6fee0183e28c6 | ocamlx(Micromega_plugin__Certificate) |
| = c81a100e09f26864067866986749b7d5 | ocamlx(Micromega_plugin__Coq_micromega) |
| = 71a8f0a38c5bef299865af478be7e4b8 | ocamlx(Micromega_plugin__G_micromega) |
| = 449d52d46f96b64cda78076ff6c083cc | ocamlx(Micromega_plugin__Itv) |
| = 17529e5fed3bcfc0e7ee44b8e25ee498 | ocamlx(Micromega_plugin__Linsolve) |
| = 38c4826a75a45e37136962ea89519166 | ocamlx(Micromega_plugin__Micromega) |
| = 204808b973c684a294f3b3d1712f1b05 | ocamlx(Micromega_plugin__Mutils) |
| = d509d24e88893307b9f7602197525f29 | ocamlx(Micromega_plugin__NumCompat) |
| = c45b3eb8979f8e3ef21e2ae68ea2e082 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 64d2efcb3f97b46789b7aea04c6e9717 | ocamlx(Micromega_plugin__Polynomial) |
| = 756bfde86410af02dc8056b0599176d3 | ocamlx(Micromega_plugin__Simplex) |
| = 375efebb43ffa5975bb252e5a8046e4e | ocamlx(Micromega_plugin__Sos) |
| = 707f04ee07364ac2592a8ef0564d65c5 | ocamlx(Micromega_plugin__Sos_lib) |
| = bc85287dee5bc8fc3f88eeeb1b0ecb32 | ocamlx(Micromega_plugin__Sos_types) |
| = 43e02a11d2bfa7ed04362a5c84a5fb85 | ocamlx(Micromega_plugin__Vect) |
| = 16bdcb07a12df63d756533908ac0836d | ocamlx(Miscprint) |
| = 8d3144cbd1888e0fb2bd4c4bb06a1308 | ocamlx(Mltop) |
| = 2f01122efca1cfa1f5961ef2c40e8769 | ocamlx(Mod_subst) |
| = 9987577c5b0eb299766a3e3534897006 | ocamlx(Mod_typing) |
| = 0056ab486dbb5d2f656f34302f3b38f0 | ocamlx(Modintern) |
| = 9edc2d362326186161bbeb7ab77d4416 | ocamlx(Modops) |
| = 98265463065bf6c58ac85a7d52ba4f75 | ocamlx(Monad) |
| = 1b1cec06a5382091f56074f1f17e185a | ocamlx(Namegen) |
| = 901ba7f9949ff6e9b129b1ebd6099ba4 | ocamlx(Nameops) |
| = 5743a290f81ad4670e2f6954bdfc2d78 | ocamlx(Names) |
| = 81107216596c68a21d195268ac1de800 | ocamlx(Nametab) |
| = 25dd46105be7e78ba71f11e778374924 | ocamlx(Nativecode) |
| = 5d8e79ec2e05acd74fcc4d7149fad560 | ocamlx(Nativeconv) |
| = e19ade7e376cc7ca86992ddff84ceeea | ocamlx(Nativelambda) |
| = 28c395028488e8f67b70fdd8ed09b2b5 | ocamlx(Nativelib) |
| = 376bfe4d7a46cacc02f25c5cac930e4b | ocamlx(Nativelibrary) |
| = 2059c116dc7aaa2f7427ca3ba167511d | ocamlx(Nativenorm) |
| = c6cb05a1550531a6790b95fa67b03342 | ocamlx(Nativevalues) |
| = 4dd80e23704a757c1753bb7194fcd0bd | ocamlx(NeList) |
| = 5125a6488f8f55fc23f9002907196eda | ocamlx(Notation) |
| = aa7b03d4d219d9eda63e95d84b2ec3fb | ocamlx(Notation_gram) |
| = 390061dfd8a7421bfb760ac549bb72c9 | ocamlx(Notation_ops) |
| = 9c55fe3916c7a1ad6ba7e275e085d9e9 | ocamlx(Notation_term) |
| = ab570c65c77d45b2f41a28b687af7bfa | ocamlx(Notgram_ops) |
| = 4e857bdf8e913ae9d0f035d77f052690 | ocamlx(Nsatz_plugin) |
| = 63d3019ca8d37ecc851ab788e3890eca | ocamlx(Nsatz_plugin__G_nsatz) |
| = 0f3c58af91f78bfcccb2d5a3137e3b29 | ocamlx(Nsatz_plugin__Ideal) |
| = 13a8b40b2740f40de13fd0ec6495fb9c | ocamlx(Nsatz_plugin__Nsatz) |
| = e061ba75629de9c485c4fd37d0dff5f7 | ocamlx(Nsatz_plugin__Polynom) |
| = 2813815ebe47cecaa44c96148755e371 | ocamlx(Nsatz_plugin__Utile) |
| = c83060faef0b6e5d770835504b77c9bb | ocamlx(NumTok) |
| = 3e3a4c17480be0bad0664ef539d1862d | ocamlx(Number_string_notation_plugin) |
| = 6e32f3006096ce758779d334986d4734 | ocamlx(Number_string_notation_plugin__G_number_string) |
| = 83f6c4ffc069556652b69ba22ff35296 | ocamlx(Number_string_notation_plugin__Number) |
| = c1f047c2aeeb1a0776a09cdf820434b3 | ocamlx(Number_string_notation_plugin__String_notation) |
| = 6dbdd4650c2d804b92f77323d303ff25 | ocamlx(ObjFile) |
| = d40319e8831d0239875ac4f7b42f8dbe | ocamlx(Opaqueproof) |
| = a06c7b23642ca3d09d2d958d83d7f582 | ocamlx(Opaques) |
| = 3d469b81e472024e47962f901f721f6e | ocamlx(Option) |
| = 95afc34014b4741ffc9a8fd611a81a26 | ocamlx(OrderedType) |
| = 5183408898c42af18ebaa3fed7c1252e | ocamlx(Parray) |
| = 7a8d1d306391f968e3912de47255f310 | ocamlx(Partac) |
| = 7e49d478b7f658cbc9b094cc0fd516d3 | ocamlx(Pattern) |
| = b324cbf4184fe75b3921f97d8590a6cb | ocamlx(Patternops) |
| = 15e50e72870631df4b256fcca4f31d4a | ocamlx(Pcoq) |
| = 3a80561a26a756e8146e053a12c94633 | ocamlx(Pp) |
| = 00d0f6b931b411574e0e3e3f026644f5 | ocamlx(Pp_diff) |
| = ce59fd2b86ebf48c93ced92b0f82ae49 | ocamlx(Ppconstr) |
| = 7976ecb5d18ec8a916b20f20568fd67a | ocamlx(Ppextend) |
| = fa3854abd4fe10e459b2ffd14f5a4973 | ocamlx(Ppred) |
| = 4cfe639e3f6a99d6ed40bfb9b16314ba | ocamlx(Pputils) |
| = 7db039d0d42692ede1c0e8c0b641c6b9 | ocamlx(Ppvernac) |
| = 759261dd5abb712e25614a040b1886b9 | ocamlx(Predicate) |
| = d2ac0d90c1d1e73ac5ea67e8ceba9695 | ocamlx(Prettyp) |
| = 1609ec869059acd9b777197ae7dd2dd4 | ocamlx(Pretype_errors) |
| = fd64325fce1d8bc886016c297b3ff1c6 | ocamlx(Pretyping) |
| = f000985eb431879ad458f83f8de06327 | ocamlx(Primred) |
| = 4d04034f22ec457a8b571d2eead092ca | ocamlx(Printer) |
| = 3070243d41f9edf6d590fd99116270ec | ocamlx(Printmod) |
| = 1f68543768d2a317b0b6ff15f1a6cb9c | ocamlx(Program) |
| = c713f82e76ccb1a910a4c0143fc4d4fe | ocamlx(Proof) |
| = 81274106f381c9d23da873d8fa80009f | ocamlx(ProofBlockDelimiter) |
| = 7872ad9f1e5eed10841f47cf7daa3aaf | ocamlx(Proof_bullet) |
| = 4696928e501f24230dcec9baff096321 | ocamlx(Proof_diffs) |
| = 7a39c3b2ab58ce0985351ebe6addc1ec | ocamlx(Proof_using) |
| = 4c54dff70d9789839a7e5bb95f809469 | ocamlx(Proofview) |
| = 73edf6ea1f8c15ca2f6b095093201789 | ocamlx(Proofview_monad) |
| = e57b3c4984d188abd0cbe8c248038e8a | ocamlx(Pvernac) |
| = 793e08286a9972ee669096a403cd03d7 | ocamlx(Range) |
| = d6c17f871cd7bba75278d78f7138d972 | ocamlx(RecLemmas) |
| = fbc1e3a3d83c3414c3f75ba3b7730e45 | ocamlx(Record) |
| = 8c04a0a2f7c6a04021b626410fd3ca0b | ocamlx(Redexpr) |
| = 2807966eccb6d26f91c4adfb69b0a755 | ocamlx(Redops) |
| = dbe930053835afd0cd5c129454ec32f0 | ocamlx(Reduction) |
| = eeb6f439af14fa8568dc42d9981aa674 | ocamlx(Reductionops) |
| = daeb87c1c51bbe91bf28fe2953c74703 | ocamlx(Refine) |
| = c59087820bbeeab70311428ec68c2e80 | ocamlx(Relevanceops) |
| = 7ed4e6ecdf1da821ea5b76bacaeea812 | ocamlx(Reserve) |
| = a28ab1fcdedfe979a3b7817022c7e43e | ocamlx(RetrieveObl) |
| = 4edb280a26facd9d5bf288e733e1fd46 | ocamlx(Retroknowledge) |
| = 4c62bcc8644395c73b49c059ec886257 | ocamlx(Retyping) |
| = 74645ebfeeabd44d690e7b92d05168b6 | ocamlx(Rewrite) |
| = 06f75f5c463f76eff0336c58718710b5 | ocamlx(Ring_plugin) |
| = da6836f5ad3baa29e2df2cf0537fc1ca | ocamlx(Ring_plugin__G_ring) |
| = d4f818bbe9f4797e8889d2fd042e4c6d | ocamlx(Ring_plugin__Ring) |
| = 79b0d9cef25d30510bb70f69fc8561ac | ocamlx(Ring_plugin__Ring_ast) |
| = 09de2c948f4a19da444201c7e861b6cc | ocamlx(Rtauto_plugin) |
| = e3ecdea40b7f1768dc374eba02487b6a | ocamlx(Rtauto_plugin__G_rtauto) |
| = a98fb94073fb1c1ad620959467ab8e19 | ocamlx(Rtauto_plugin__Proof_search) |
| = 88ee8f92e18395bf27e18e0088bd03e5 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 274e7a3f88dad440a0cf9d4918554b52 | ocamlx(Rtree) |
| = f94ccf538630b2e5780cc0335ca85fce | ocamlx(Safe_typing) |
| = f1f92b7caabc6ef8bf736f30a35321b9 | ocamlx(Search) |
| = d5929ac91b2f724062b4b15d6f5f3809 | ocamlx(Section) |
| = be00be8470c4c0b98c4b87c86da8cff4 | ocamlx(Segmenttree) |
| = 360340b6350c2d9338de1104ec684bc2 | ocamlx(Smartlocate) |
| = 2eb00e32d1150f40e41c1ea19ea6ab10 | ocamlx(Sorts) |
| = 18d05196468b0ff94746e8cd06f0a1ec | ocamlx(Spawn) |
| = c760f65750c4605b63b9d781ec8784ca | ocamlx(Spawned) |
| = 4dec0a06a96ded3bfca5c26efa1f526c | ocamlx(Ssreflect_plugin) |
| = 1689fbb0de2688df4663e57669de8198 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 74fb44e14c0c3d63773835d5a965c3ba | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 955e189537e8b04252a1e1046fff23bb | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 403f59dd1529249e382deee3ea88b46d | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 6019e6ddfb378200e3895edd104d415b | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 71bc00ec2aafb9b3e49d8d678437e2ae | ocamlx(Ssreflect_plugin__Ssripats) |
| = 5f43ebd94e8f1a7805e4d2df25f03652 | ocamlx(Ssreflect_plugin__Ssrparser) |
| = 6e6288276b86b282d0a3121e2db750f6 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 0825eb76c397fbae4b76ff607c7512b0 | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = b38459c8a478738ad2ab9753db50a47d | ocamlx(Ssreflect_plugin__Ssrvernac) |
| = ba66f07642d0c50c66fd3cfc8f1fdda2 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 5b76aa8a5d0de67cc96c51d3b3604ff3 | ocamlx(Ssrmatching_plugin) |
| = c9ac16839da47eb79b5d5b12be7c610c | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = dfcd92052d25d9f38f6bb89c83f38b13 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = cfb111336607f6ed1098217f92ab3c85 | ocamlx(Stateid) |
| = 812cb6e3ea58ba3d214687009ca7866b | ocamlx(Stdarg) |
| = d82d8e49391bae3eab09b8e800f15456 | ocamlx(Stm) |
| = 2e9a601b78fbc5febe8556d63f75bdfd | ocamlx(Stmargs) |
| = 79c8fc2b2d91071ca25189f6d498ac98 | ocamlx(Store) |
| = 450f01541b34c95ecd577ed3fd459467 | ocamlx(Structures) |
| = 44610da1f1145e3cbdadf7bc9b08e6f9 | ocamlx(Subtyping) |
| = c19edf6c762851cbbab3dd883ce0baf6 | ocamlx(Summary) |
| = 47ef8a8c40d14ddd04f8cbb0fc2027c1 | ocamlx(System) |
| = 9f97760f7e5d2ed1a3176cebdfe3bc11 | ocamlx(TQueue) |
| = 5952ce8a3a827583371b7ab50c8bbeca | ocamlx(Tacmach) |
| = 1727bf53232ea3d440740789cbb592ba | ocamlx(Tacred) |
| = 97e51d7e04ae797b3fc1a6284148f211 | ocamlx(Tacticals) |
| = 3b234c7f8df0465d32754014d8955c75 | ocamlx(Tactics) |
| = cd3e08f32efb46f5513e445ce3b11b98 | ocamlx(Tactypes) |
| = f88b82da2114b493d0deb578f8dd4ba9 | ocamlx(Tauto_plugin) |
| = fb4805b15d332186ef06e9cf866163c7 | ocamlx(Tauto_plugin__Tauto) |
| = b598b1d5c2c8c00d8c41e4f96c3751e4 | ocamlx(Term) |
| = cca89e9761d61bb19d429842fdce4a48 | ocamlx(Term_dnet) |
| = c5adc7e84586cd9c56f347ec1b698dab | ocamlx(Term_typing) |
| = 81f63cdaf7d35ef48f90f10ed6c59a85 | ocamlx(Terminal) |
| = bf0e047a6dfcc84089128ff8fef5abfa | ocamlx(Termops) |
| = b871221009598cad605fd07e06be272e | ocamlx(Tok) |
| = 255da4e44fe9b0fec6ec0ce900ae8d63 | ocamlx(Top_printers) |
| = 6153aa1de9d21f17c87b4b6a73e16329 | ocamlx(Topfmt) |
| = 8124f1fd8b96370b7ba033fb2276c693 | ocamlx(TransparentState) |
| = ddc1e27735051c2c77e65c252b920f90 | ocamlx(Trie) |
| = 421b6edf2af8dc3142bbcfb353ce80a1 | ocamlx(Tuto0_plugin) |
| = 1d0f1d83671ceb8b2465551f20ca5247 | ocamlx(Tuto0_plugin__G_tuto0) |
| = 173b874cf2d5d96a41aa890b2292bfbe | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 1182c5b9212dab8eeed6f04fdc2cb779 | ocamlx(Tuto1_plugin) |
| = 3275930a052fe30b1dd1765bde63d905 | ocamlx(Tuto1_plugin__G_tuto1) |
| = c257de912d62dcb30ddba8cfad0b2976 | ocamlx(Tuto1_plugin__Inspector) |
| = afa0d10be635ef1b13877554ca5fcd90 | ocamlx(Tuto1_plugin__Simple_check) |
| = b26c4af3edcb89979812f5b1de02bcb7 | ocamlx(Tuto1_plugin__Simple_declare) |
| = 16ff8b5b412669cad05d3d48184cbc9c | ocamlx(Tuto1_plugin__Simple_print) |
| = 7badc8faa38b1ee75426ee806ac46034 | ocamlx(Tuto2_plugin) |
| = e82b03b707cadefa16c3131d495056bc | ocamlx(Tuto2_plugin__Counter) |
| = c9e349367c595bedb98b98d8c1c0e9dd | ocamlx(Tuto2_plugin__Custom) |
| = c5701d3875cf6c1f74d6b0389d708bec | ocamlx(Tuto2_plugin__G_tuto2) |
| = 5bd99c12fa6904c5afadcc52c7c6cb23 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 599b2c4aa1bac417a089758f57f7415c | ocamlx(Tuto3_plugin) |
| = c33b187a0fc8f381fadbb4537f43e52b | ocamlx(Tuto3_plugin__Construction_game) |
| = 6e945bc4d87a99370b10d84501854241 | ocamlx(Tuto3_plugin__G_tuto3) |
| = 5c6b5914e471622e99bc206c4fd7919d | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = 368364dfaf37e4aa7549fc6afd1c818c | ocamlx(Type_errors) |
| = 01fcca614f74b669e2bb527dd7e4675f | ocamlx(Typeclasses) |
| = 471501e39ec60fc096efdb487e063e04 | ocamlx(Typeclasses_errors) |
| = ac8bda2ff067bbdb1cb61862946a4b2f | ocamlx(Typeops) |
| = 1892c78c8836e6f45d1be9bdb34b33f0 | ocamlx(Typing) |
| = cfbe26b87ed59892a9f5e81f64559012 | ocamlx(UGraph) |
| = a87f3cfe0fa7c41b09e939bb178164ab | ocamlx(UState) |
| = d22dec5116a443949657d62ccf13f19f | ocamlx(Uint63) |
| = 13b9068bc6c6836f8679f6672214f2bd | ocamlx(Unicode) |
| = 6748223bda90e6af1a749a6aaed25795 | ocamlx(Unicodetable) |
| = cf296af3734d8b973ed04220f849c0f7 | ocamlx(Unification) |
| = e775552d434f55fadaf618e4a7a96d07 | ocamlx(Unionfind) |
| = 94bbd5c0ec5452df8bc8aabad8145492 | ocamlx(Univ) |
| = e2e14c4d2d7ceb7fcd1be160917e1324 | ocamlx(UnivGen) |
| = fb74977119a12e0cc72642f7d30b130b | ocamlx(UnivMinim) |
| = b6194c5f0c864cce945bc1a8d879d0ad | ocamlx(UnivNames) |
| = 2d529451d6544354f8b34be8d46cc0ec | ocamlx(UnivProblem) |
| = cdac83e74cfd4bcdc9a1889db2c170ef | ocamlx(UnivSubst) |
| = 19b4b81a3b0bdb1618506233bcac9410 | ocamlx(Util) |
| = b0e01d9fa21e64cefb5e9f1de34772fb | ocamlx(Vars) |
| = 12ea50f4132d58dac43255b559d51646 | ocamlx(Vconv) |
| = f5723fb022ba0430119e65925da26d2e | ocamlx(Vcs) |
| = 59076bd5fd16b1ad3b5847daa7db3dd2 | ocamlx(Vernac) |
| = eb84c4f5366abd93a38bd04864b9685b | ocamlx(Vernac_classifier) |
| = 3617fc06e6ac333d0b33cc1ea57afd5b | ocamlx(Vernacentries) |
| = 2cdf3148c5f3d7a77b3ab51c423a2c17 | ocamlx(Vernacexpr) |
| = 711b3f966135864dc1d724d5a8a255ff | ocamlx(Vernacextend) |
| = 52fe7337a78cbe26e251cfdf80b25b12 | ocamlx(Vernacinterp) |
| = c0cc0de5a14906f0e4fb630d36b52c4a | ocamlx(Vernacprop) |
| = 9fb69b6c02d53ba3b12d68e499fe7e41 | ocamlx(Vernacstate) |
| = 68c848c415676b5c3226546fc7b62edb | ocamlx(Vio_checking) |
| = d69b88730db5d8b6bb16236ad3c199b7 | ocamlx(Vm) |
| = f878814b0a94da1f41b842f7a4b3226a | ocamlx(Vmbytecodes) |
| = 767fe71ac5235b27fbc263b3960670b8 | ocamlx(Vmbytegen) |
| = 91b5412015b491886814329ce5cd3b6f | ocamlx(Vmemitcodes) |
| = c0641a80f9aaf55ba86f6a351b65b35a | ocamlx(Vmlambda) |
| = 0b3f25202f15b10c52b711d33ccce0f2 | ocamlx(Vmopcodes) |
| = 9e119415a69bc3c059a2deb34e3f08d6 | ocamlx(Vmsymtable) |
| = 58d2b5d145834a288cac0e4e79a1c5e8 | ocamlx(Vmvalues) |
| = 17e06ce7dcc7e21547ce0ace469efc16 | ocamlx(Vnorm) |
| = 57d77eae9790816cd0a225bccb6ad044 | ocamlx(WorkerLoop) |
| = 1b648ba1620358ebf68e76aadbe9558c | ocamlx(WorkerPool) |
| = a92a95d724f093014026c762f910b21c | ocamlx(Zify_plugin) |
| = c464b7c0a77bf8ad5c9cdf12e0db3026 | ocamlx(Zify_plugin__G_zify) |
| = 445bec8658411c11b463f2c35f1d0115 | ocamlx(Zify_plugin__Zify) |
نحوه نصب
نصب پکیج rpm coq-core:
dnf install coq-core-8.16.1-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/01/9965cdab4cbceb33631f450b759da1212f78bf |
| /usr/lib/.build-id/06/7b99b640e5f02db8b7de3ea57bf25cdf2328ff |
| /usr/lib/.build-id/08/c69b6fde904793d6b9bffdbd0bce1b74ea9e14 |
| /usr/lib/.build-id/25/8bd86be66b78d8a5e6974f078bf4bc84f14fae |
| /usr/lib/.build-id/27/8962d62e86edd815a07ccd62eb3826549abcf3 |
| /usr/lib/.build-id/27/e02f5edb834ebbbab92f5823cee2b3f6b63b6f |
| /usr/lib/.build-id/2b/bcc7ecdf33a9e0e7c909f7136ddf47015a1d50 |
| /usr/lib/.build-id/30/5136dbb2b8a5f9ef94581957b1743180371388 |
| /usr/lib/.build-id/31 |
| /usr/lib/.build-id/31/46582c424e1f417b5a98daf60711835e54b6d2 |
| /usr/lib/.build-id/43/8f28c84e37907300f2510cc11655df3168f975 |
| /usr/lib/.build-id/48/1ec9a1416745d8e36572d541f357e7f91963e4 |
| /usr/lib/.build-id/48/83fb509e22c92177d6277b6487b9cd06ba43ca |
| /usr/lib/.build-id/51/764b788602e04245197bdc1efbcce7c36e3d50 |
| /usr/lib/.build-id/51/f7be41f5aab6dfba6d34f99f10029b170cb379 |
| /usr/lib/.build-id/55/15b7b434cb72898431d0c83598a6e5e01b7189 |
| /usr/lib/.build-id/5a/5100b52eb52d3c3b63d3dce17662310ab26627 |
| /usr/lib/.build-id/5c |
| /usr/lib/.build-id/5c/f32553bd52d7de6f031c4c3138be936605f04e |
| /usr/lib/.build-id/5f/77660f6b555769acce87d285209222b2da0b93 |
| /usr/lib/.build-id/63 |
| /usr/lib/.build-id/63/d7018dfd75e3b4bce506eb31d4cc4003648d85 |
| /usr/lib/.build-id/6d |
| /usr/lib/.build-id/6d/294970d06c6d1e3ed615d0a68d7ece21e06c97 |
| /usr/lib/.build-id/6e/603862c6f9ff45d27c1c33fd9f99a1949b991b |
| /usr/lib/.build-id/74/c3da34caddbf4c8be32d938bff3ea811c97e77 |
| /usr/lib/.build-id/78/bb60390f40fda358da221d67e8d1de8aab0c87 |
| /usr/lib/.build-id/7b/7822da56b8d59798b26688e9fb353d9cda1483 |
| /usr/lib/.build-id/7d/82cf26ebeb1664ed4ed2f485db4dbdc1a36f00 |
| ... and 3144 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2022-11-26 |
Version 8.16.1
|
| 2022-10-06 |
Remove the manual, which has a non-free license (bz 2132567)
|
| 2022-09-16 |
Version 8.16.0
|
| 2022-08-15 |
Convert License tags to SPDX
|
| 2022-07-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-07-19 |
Enable documentation build with Sphinx 5+
|
| 2022-07-19 |
Remove i686 support
|
| 2022-06-20 |
Rebuild for antlr4-project 4.10.1
|
| 2022-06-19 |
Upgrade to 8.15.2
|
| 2022-03-25 |
Version 8.15.1
|
| 2022-02-28 |
Version 8.15.0
|
| 2022-02-04 |
OCaml 4.13.1 rebuild to remove package notes
|
| 2022-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
| 2021-12-27 |
Rebuild for ocaml-lablgtk3 3.1.2
|
| 2021-11-30 |
Version 8.14.1
|
| 2021-10-21 |
Version 8.14.0
|