معرفی شرکت ها
coq-core-8.18.0-1.fc39.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Core components of the coq proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 39 |
| مخزن | Fedora Everything x86_64 |
| نام بسته | coq-core |
| نام فایل بسته | coq-core-8.18.0-1.fc39.x86_64.rpm |
| نسخه بسته | 8.18.0 |
| انتشار بسته | 1.fc39 |
| معماری بسته | x86_64 |
| نگهدارنده | - |
| تاریخ ساخت | Wed 03 Jan 2024 03 |
| هاست سازنده | buildvm-x86-18.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 227M |
| حجم نصب | 855.887M |
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.17.1-5.fc39.aarch64.rpm | 8.17.1 | aarch64 | Fedora Everything |
| coq-core-8.17.1-5.fc39.x86_64.rpm | 8.17.1 | x86_64 | Fedora Everything |
| coq-core-8.18.0-1.fc39.aarch64.rpm | 8.18.0 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.17.1-5.fc39.aarch64.rpm | 8.17.1 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.17.1-5.fc39.x86_64.rpm | 8.17.1 | x86_64 | Fedora Everything |
| coq-core-debuginfo-8.18.0-1.fc39.aarch64.rpm | 8.18.0 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.18.0-1.fc39.x86_64.rpm | 8.18.0 | x86_64 | Fedora Everything |
نیازمندی
| مقدار | نام |
|---|---|
| - | /usr/bin/ocamlrun |
| - | /usr/bin/python3 |
| = 8.18.0-1.fc39 | coq(x86-64) |
| - | ld-linux-x86-64.so.2()(64bit) |
| - | ld-linux-x86-64.so.2(GLIBC_2.3)(64bit) |
| - | libc.so.6()(64bit) |
| - | libc.so.6(GLIBC_2.10)(64bit) |
| - | libc.so.6(GLIBC_2.11)(64bit) |
| - | libc.so.6(GLIBC_2.14)(64bit) |
| - | libc.so.6(GLIBC_2.15)(64bit) |
| - | libc.so.6(GLIBC_2.16)(64bit) |
| - | libc.so.6(GLIBC_2.17)(64bit) |
| - | libc.so.6(GLIBC_2.2.5)(64bit) |
| - | libc.so.6(GLIBC_2.25)(64bit) |
| - | libc.so.6(GLIBC_2.28)(64bit) |
| - | libc.so.6(GLIBC_2.3)(64bit) |
| - | libc.so.6(GLIBC_2.3.2)(64bit) |
| - | libc.so.6(GLIBC_2.3.4)(64bit) |
| - | libc.so.6(GLIBC_2.32)(64bit) |
| - | libc.so.6(GLIBC_2.33)(64bit) |
| - | libc.so.6(GLIBC_2.34)(64bit) |
| - | libc.so.6(GLIBC_2.38)(64bit) |
| - | libc.so.6(GLIBC_2.4)(64bit) |
| - | libc.so.6(GLIBC_2.6)(64bit) |
| - | libc.so.6(GLIBC_2.7)(64bit) |
| - | libc.so.6(GLIBC_2.9)(64bit) |
| - | libgmp.so.10()(64bit) |
| - | libm.so.6()(64bit) |
| - | libm.so.6(GLIBC_2.2.5)(64bit) |
| - | libm.so.6(GLIBC_2.29)(64bit) |
| - | libm.so.6(GLIBC_2.35)(64bit) |
| - | libm.so.6(GLIBC_2.38)(64bit) |
| = 873cb7ddab0343f33c9c7cc381de5b05 | ocaml(Abbreviation) |
| = c7f702ea9dc1489c3b2ca4cc3984100d | ocaml(Abstract) |
| = 392150c230c7b773614b8132b5050594 | ocaml(AcyclicGraph) |
| = 2bde0c790e571af4e87b6fc7bda5b024 | ocaml(Arguments_renaming) |
| = 15f4405e819bf251ffc442bb4f619831 | ocaml(Assumptions) |
| = bc2cad92fd259b84de12b4a3b59cce61 | ocaml(AsyncTaskQueue) |
| = 730265eec2e3da042cdd0f8a8c134f46 | ocaml(Attributes) |
| = 916d916aa8f133719e64cdcaa0b5297e | ocaml(Auto) |
| = 958516e75f1f840227b635ab59330132 | ocaml(Auto_ind_decl) |
| = 796bbefa57187ab9b56444ffddfdb8f3 | ocaml(Autorewrite) |
| = 446a9bc1bca7241dbd82226640d34b8d | ocaml(Aux_file) |
| = 981a14e500660f2c264fb221a4e70905 | ocaml(Big_int_Z) |
| = 43145732bb85209ab41a902e180a47fc | ocaml(Boot) |
| = eeff6b49448b096ab1f7cf11af339b79 | ocaml(Boot__Env) |
| = 5e1b06b3dd1afae49008507b4839c3b6 | ocaml(Boot__Path) |
| = 106fe5d619dbada8e803243a726307cc | ocaml(Boot__Usage) |
| = ac2f9d413b44a66612a610fb30444885 | ocaml(Boot__Util) |
| = 53003820aa5511da965c3279d86ecece | ocaml(Btauto_plugin) |
| = 1ec5b7751961344e6f6e4517abfa86db | ocaml(Btauto_plugin__Refl_btauto) |
| = 04977a8296a8c21fd5979578fc19699e | ocaml(Btermdn) |
| = 6d58569e3639e38decf1a0dbacbf0726 | ocaml(CArray) |
| = 42d6ecfe3ce9d100a355b5990a884114 | ocaml(CAst) |
| = 5f02da07dc25d0af177e5b431bd2ca7d | ocaml(CClosure) |
| = 326079a49c3f190b8b7ab5844c584942 | ocaml(CDebug) |
| = 93e20cd55896e94be0d04b06c6571279 | ocaml(CEphemeron) |
| = 00917bcf8ba9a78b4ea100f83590b566 | ocaml(CErrors) |
| = f77e1d27f3ce84e91131fb23dda42504 | ocaml(CLexer) |
| = a7a0c48b94e35b57bfb2bc2689d58cb7 | ocaml(CList) |
| = 56aa025417b342f792402ad3a956066e | ocaml(CMap) |
| = 1ffe6496dc68e0493a0b7dd654261007 | ocaml(CObj) |
| = 07235103f046552da753e83ad1b62004 | ocaml(CPrimitives) |
| = f65c51ee4bce727d8b9088a358e5ef4f | ocaml(CProfile) |
| = 7d7be9cc23fb38e10753233bf859750e | ocaml(CSet) |
| = cbe0b0a079f2ef2dcd13f42ae80840dd | ocaml(CSig) |
| = ba1439e877c8deb15a04b63ae44497cb | ocaml(CString) |
| = 9369628f10c527279600dd048e6a87bd | ocaml(CThread) |
| = 02c1e8f824a500e558673c6fa375775f | ocaml(CUnix) |
| = 360d9e855470374f7e15382e6a31506b | ocaml(CWarnings) |
| = cecfafd5c021473f5e358c96ac7502a0 | ocaml(CamlinternalFormatBasics) |
| = 2c797917c31a980b79e9d16d84057b70 | ocaml(CamlinternalLazy) |
| = 5f3bf6a430a949e1f685fd8552eeeda5 | ocaml(CamlinternalMod) |
| = 4ac53fc6e396c241e7ace9c4b7273412 | ocaml(Canonical) |
| = 261c05c1a2689525bddd94df83e0f720 | ocaml(Cases) |
| = d34af3aa5224bfbe0a2ff225194152e6 | ocaml(Cbn) |
| = c2c35d90e2a96c1d1cae9dbdbee98da2 | ocaml(Cbv) |
| = cf0c15430522205e4ed7cc115dd5420f | ocaml(Cc_plugin) |
| = b530a65d325960b5c541084c0d8179b1 | ocaml(Cc_plugin__Ccalgo) |
| = 18c90a579ac3534f7b6bb9bf66d6d046 | ocaml(Cc_plugin__Ccproof) |
| = 703837fbdd8c7f38b8c76071c4d6af55 | ocaml(Cc_plugin__Cctac) |
| = 5d3510ca45c5dad41e8d1049e8acae94 | ocaml(Ccompile) |
| = 058933c9284eb15e2d829d63de80f9d0 | ocaml(Class_tactics) |
| = 5cc5d7191c4b7ced8a4126121845bc12 | ocaml(Classes) |
| = e80f8df23ad011ae72602f8b749f481f | ocaml(Clenv) |
| = f31fc315266a2bd327085dd4d6d9c82c | ocaml(Coercion) |
| = 3f4b790f488db7e835774cc53c561179 | ocaml(Coercionops) |
| = 56d65134ea11ecaaf87832feebcc1b19 | ocaml(Colors) |
| = c1534e63f6e31a8e6199e7696775a97e | ocaml(ComArguments) |
| = bf9848903fdec5bd86b1c33a4037fa47 | ocaml(ComAssumption) |
| = 0a4bd41ed64d2fa7331dc95cba9c3982 | ocaml(ComCoercion) |
| = 2107efcc8cb5cf520ee8d0c871c29a10 | ocaml(ComDefinition) |
| = 374de6d14aa52d44a10ce7a3a19897f5 | ocaml(ComExtraDeps) |
| = a8010fd22fd709a57545ed29ff2bed49 | ocaml(ComFixpoint) |
| = 4d5af008b55c407b716c6afdc0138bc5 | ocaml(ComHints) |
| = 1b82fa5a358d5208897aa25ab8aef30b | ocaml(ComInductive) |
| = 68675d27ceef46d2869331c1a910e83d | ocaml(ComPrimitive) |
| = dbe21a869d174d22f8e5d4f5372c4119 | ocaml(ComProgramFixpoint) |
| = 0715da71a938ca0dac2468bedbaea96c | ocaml(ComSearch) |
| = 07a9bdba58dd11bfb27eee213175909d | ocaml(ComTactic) |
| = 16fec060dec5acfaf5a67a4c863cc73c | ocaml(Common_compile) |
| = 17c325a2333f6346a22dabcc205d0809 | ocaml(Constant_typing) |
| = f7420182b69f0d3646c935cd7b59745b | ocaml(Constr) |
| = 7489d42882d335012da88d04858f7b15 | ocaml(Constr_matching) |
| = f19d3c6b7b2f9c73b4d81d5072fc7969 | ocaml(Constrexpr) |
| = 9329f0463bb93bebe8c288e29bf5823e | ocaml(Constrexpr_ops) |
| = 29c0c0d4ad89971e71edccb6c22b0b4c | ocaml(Constrextern) |
| = c6d0cd9c635fb2a8e83830f9fedd9565 | ocaml(Constrintern) |
| = 3d39efc23f824b02c82114025f1ecac4 | ocaml(Context) |
| = 9d1aa637ab98b676319a1d1883c0f725 | ocaml(Contradiction) |
| = 705fecc4af18942904bb999ae7333291 | ocaml(Control) |
| = 710e6424928355e4e79f94fc54e3996f | ocaml(Conv_oracle) |
| = 0e64c1e86b9425ae4be9b3521e2fc857 | ocaml(Conversion) |
| = 2a47249e98b3be9e170d34cd4d9a6ef1 | ocaml(Cooking) |
| = ad63fb43db20783159b0795a5ff28af7 | ocaml(Coq_config) |
| = 7dda718f8676fc8734519980846375b8 | ocaml(Coqargs) |
| = e4fbb80c91d8476a3f5cfcaaf6e044eb | ocaml(Coqcargs) |
| = b50bc6407970fee5137d7369c1e081e6 | ocaml(Coqinit) |
| = 5bebc4a384c77c5330739cc72ad255ce | ocaml(Coqlib) |
| = cd5317c42432329d8ae596b3cc9fc087 | ocaml(Coqloadpath) |
| = 39962a1a4c281abee2b8e4296a7b73ac | ocaml(Coqloop) |
| = 45f89ccccea01acf5853212d5cbabc26 | ocaml(Coqrc) |
| = 38f9c06d17ab2c517f3d32d5b2ada16f | ocaml(Coqtop) |
| = 49de4eead2e6f33da68e7afac042c450 | ocaml(CoqworkmgrApi) |
| = 80ff6829d6e486ac5603f01e61095ce7 | ocaml(Core_plugins_findlib_compat) |
| = 2f2b7acba36e311950e44668c73498db | ocaml(DAst) |
| = 18c1f55fbe60e9d9b988164d316e1cad | ocaml(Dag) |
| = 5b7192faaf31fccd63ad285c9cd83037 | ocaml(DebugHook) |
| = 9235ebed91210dcb1116cac6b9f1ff52 | ocaml(Declarations) |
| = d63daa907f5178bf92cad80835b83e89 | ocaml(Declare) |
| = 6ab0a9c1ec9ad5b36e730402bd628adb | ocaml(DeclareInd) |
| = a219447b6c78a4eab3af89bdbf3bda07 | ocaml(DeclareScheme) |
| = 9d3763f3a19578cbe7fb3bab1635ed3a | ocaml(DeclareUctx) |
| = 17eaaf491f73a7bb3a75cb3570c3dcb7 | ocaml(DeclareUniv) |
| = 56f94fa38dfba52fbbd1ba4b373560fb | ocaml(Declaremods) |
| = b07c0fd60e6a2f8af9f5c994e3fb2f7c | ocaml(Declareops) |
| = 7079ec08ffb13ce1605792ed809e58e8 | ocaml(Decls) |
| = b15ef9256df466a8fb4166c91d2d6585 | ocaml(Deprecation) |
| = 78d505fae5f5bf6eecf03a786dd27bdc | ocaml(Derive_plugin) |
| = d9bcca1987d7067e7d7a5a7d4112ad74 | ocaml(Derive_plugin__Derive) |
| = 3b6fe8eb4a2271c5b926298fb1f6e83c | ocaml(Detyping) |
| = 926b80ac1ee1ed0ac9c0f26e9c85f74a | ocaml(Diff2) |
| = 1a0056a8e9a7820165d2bd1dda1f9261 | ocaml(Discharge) |
| = fc829bfd97349dafa693029ebea88f2f | ocaml(Dn) |
| = 7c33431d9bab53ffe442f1e16db6f418 | ocaml(Dumpglob) |
| = cbf19b204d91d94e8817b26f32a8ba9c | ocaml(Dyn) |
| = 4ef8f180b6a55f28c092cd0698987af5 | ocaml(Dynlink) |
| = 7dc851b04295db22682ce3c2565c9294 | ocaml(EClause) |
| = c828561535e94b6bb6037ca74c3dc755 | ocaml(EConstr) |
| = c31bbec7603a0eb07fbabbf44f543506 | ocaml(Eauto) |
| = 415ca3186196a8ff2636eac1ec5eeb53 | ocaml(Egramcoq) |
| = b7b885e329a146c033f945a8ae3a33f0 | ocaml(Egramml) |
| = 2eb43ba996d028eb0825bfb886da3377 | ocaml(Elim) |
| = aebebc7f1d099cb9e5f6172430defb36 | ocaml(Elimschemes) |
| = 686565494ada419160a018901fb8a7cb | ocaml(Entries) |
| = e538c014f2559e2d5bc451f89f378e01 | ocaml(Envars) |
| = 83aaa9e324085d2b14616342f28d3fb3 | ocaml(Environ) |
| = 8a4cae73cf891d4ac85e563a201a4b5d | ocaml(Eqdecide) |
| = 811582521d92ecb07405853b713a9c75 | ocaml(Eqschemes) |
| = c2751a2f74dfdcda1741a60f0fed5949 | ocaml(Equality) |
| = a549cc4681bd9d26223a774c2293c7d0 | ocaml(Esubst) |
| = 936b4695f5e968c33ce133feca72b7e0 | ocaml(Evar) |
| = c973ae08e81b47c22640985418fb723c | ocaml(Evar_kinds) |
| = 28bf67afa904e5460de197a68820355e | ocaml(Evar_tactics) |
| = 0ff71a020658c945fed4a9fc0b5eec5d | ocaml(Evarconv) |
| = 156f4c10177df214d4b5a70fbf8e3ee1 | ocaml(Evardefine) |
| = 5a6518f834013128cce6f0cb7653cb8e | ocaml(Evarsolve) |
| = f57cc4e3212a18a2f246ff62f7aa6385 | ocaml(Evarutil) |
| = 4bf57d086fdc5fb953540e310c0e0dfc | ocaml(Evd) |
| = 38ad6517d5220e43e479a1d0d18b8b8c | ocaml(Exninfo) |
| = 3831d7e350ed8543105c96a41bcd8c33 | ocaml(Extend) |
| = 4fb746e4e16b143b502f71babff015f2 | ocaml(Extraction_plugin) |
| = 5792721f87060a1ebeb7d721141d901a | ocaml(Extraction_plugin__Common) |
| = 2c9d0e2dec2dd7598b376f0e75293c8c | ocaml(Extraction_plugin__Extract_env) |
| = 68f1b5c9de5af51aeec48098dcb9c445 | ocaml(Extraction_plugin__Extraction) |
| = 646c8d9e52bbfd16ba63bc12a52c0b75 | ocaml(Extraction_plugin__Haskell) |
| = 6e32cf19051229aa29640d0393118a1b | ocaml(Extraction_plugin__Json) |
| = 20690ae2d2027a79547885d0625d3287 | ocaml(Extraction_plugin__Miniml) |
| = a5cc6f9cba3a04ed434632c4041b88e7 | ocaml(Extraction_plugin__Mlutil) |
| = a33020401ec2db6564c941a674cf43d4 | ocaml(Extraction_plugin__Modutil) |
| = 9cdd22bab31f0b970c3d88e0740f4561 | ocaml(Extraction_plugin__Ocaml) |
| = 5133c79607319e76be02c2d4d0245218 | ocaml(Extraction_plugin__Scheme) |
| = c0b023e1517594601ae14945b252c7e3 | ocaml(Extraction_plugin__Table) |
| = 369f881d87535e3db952615840ea3253 | ocaml(Feedback) |
| = ed1d3df932575b780c96c9e655e6b112 | ocaml(Find_subterm) |
| = cb9e17ecc75ea6d10d205802bed311a5 | ocaml(Findlib) |
| = e05c81e95287e0ca858b963a11d30b9b | ocaml(Firstorder_plugin) |
| = bc9ef7b9b945531e01fdfe2fed3f5861 | ocaml(Firstorder_plugin__Formula) |
| = 45dd11fd174cd303d6be8adedd3bc09d | ocaml(Firstorder_plugin__Ground) |
| = 16a0555ac91f3d82c4212d483095cd32 | ocaml(Firstorder_plugin__Instances) |
| = 5bc6915483e1c348032e9ab5cd4564bb | ocaml(Firstorder_plugin__Rules) |
| = 3276c0b3ecdfb90195569b7398ddf47f | ocaml(Firstorder_plugin__Sequent) |
| = b49c22f194cf156ced92256ff673cff0 | ocaml(Firstorder_plugin__Unify) |
| = 7235e007a9bb082cd04ff5669c41396c | ocaml(Fl_dynload) |
| = 0fb135226046bcb571fd2522ef17116c | ocaml(Fl_metascanner) |
| = 58ac9224c23460104afd4910c0497479 | ocaml(Fl_metatoken) |
| = 6d605592ffa47f9cba123dce260a9459 | ocaml(Fl_package_base) |
| = c907da5a8270a3e5bc621d373497aaec | ocaml(Flags) |
| = 84d6570848e9511aae54659b18a17c2d | ocaml(Float64) |
| = 7ab160f0bba98a2ade77c0f37bdc2b75 | ocaml(Float64_common) |
| = 8401680cca79c824c5b71cc932e9a25e | ocaml(Ftactic) |
| = 2d39469b088ad4d6259390e5af5d34ce | ocaml(Funind_plugin) |
| = 73c0b7ad90c37ee83b3e5e699804bce0 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 94f2adbaebaf120bfa5d80823f24a4fd | ocaml(Funind_plugin__Functional_principles_types) |
| = 97dc602ebea4d570e686088130961c50 | ocaml(Funind_plugin__Gen_principle) |
| = c005afd4f3f458eef508fdebaf225e08 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 0635a2aa24995ca9e1ff836bdfbbc9df | ocaml(Funind_plugin__Glob_termops) |
| = bd99366170c94cb4d898b71cf3a499f4 | ocaml(Funind_plugin__Indfun) |
| = 3229e2c255bc900d99534f2b3d4e64c9 | ocaml(Funind_plugin__Indfun_common) |
| = fbca1a3080e6fac791d85410536313ed | ocaml(Funind_plugin__Invfun) |
| = 06374e9e6813cb42819ea0cbbfa7502d | ocaml(Funind_plugin__Recdef) |
| = 056918f0691a7206769938958c112a1c | ocaml(Future) |
| = 97b59c43030479622f4e93eae6be2f67 | ocaml(G_proofs) |
| = e6c3f22f07ee982130853334d86e4c26 | ocaml(G_toplevel) |
| = 62675840db4316c333da85abe3d15289 | ocaml(G_vernac) |
| = fddccfeb13126b528290ec87ecc1f1a7 | ocaml(Genarg) |
| = 94333dd10bf18846afa016633d57b4ee | ocaml(Genintern) |
| = 41e563f9682585c8f4605bf8cf16dd89 | ocaml(Geninterp) |
| = 8ee011d79118a98a7f27ae2bd719a75c | ocaml(Genlambda) |
| = 2025ef30bb1bd30db40755104651d881 | ocaml(Genprint) |
| = 567e09f09846700aa78b1ed7a39ded25 | ocaml(Genredexpr) |
| = 1791f2107572a3aa0dac7befc171da34 | ocaml(GlobEnv) |
| = f642e07d1fdeefdfc81a9f13b88a8a42 | ocaml(Glob_ops) |
| = a3ef8f490a43c8aa92a42b438f47bc64 | ocaml(Glob_term) |
| = 1bdb57f67b55e26a3d01f6cdf4d532b6 | ocaml(Global) |
| = ccaef1b15d958f724ef8d18c6135e84b | ocaml(Globnames) |
| = d1247cc3b0ac79c2f9ffbdcbabebbb2c | ocaml(Goal_select) |
| = bf7a454f420eb014657355188b4e2709 | ocaml(Goptions) |
| = f7a9c352b24c4ddeba559951b0f7dd3e | ocaml(Gramlib) |
| = 443690b2317f143c76466a5d3a66eb2f | ocaml(Gramlib__Gramext) |
| = b3ee77afd0274c9e58578c067acc2971 | ocaml(Gramlib__Grammar) |
| = 5dc778a5dca30e266e638f5a662d462a | ocaml(Gramlib__LStream) |
| = ebd2354d5681096939bb78667a23cba0 | ocaml(Gramlib__Plexing) |
| = 15a7f9875972299004ab0b232b77c3cc | ocaml(Gramlib__Stream) |
| = cabc0670bdb54db27e9afc76155c7bb7 | ocaml(HMap) |
| = 16cd719166c8c5010b0670dadb52fe96 | ocaml(Hashcons) |
| = 054fe5127bf9aac57339f346c0d1a1ef | ocaml(Hashset) |
| = 48f3cf24db245da908914f621423c092 | ocaml(Heads) |
| = 2a901a079d960c8807880b8c50fd087f | ocaml(Heap) |
| = 1bb29cfde4281f3803d270a01ee93e53 | ocaml(Himsg) |
| = d1a0cc09c64a0e832098981425c88d43 | ocaml(Hints) |
| = 72f1ac7656698632b3feb24f4252def2 | ocaml(Hipattern) |
| = 04f6c318e5dc4380e8d89a7074c603b3 | ocaml(Hook) |
| = 02a17d779ce4cff5ab72d2b626043e82 | ocaml(IStream) |
| = 3834a0a72a85abdbfdd7cd99ac966b7f | ocaml(Impargs) |
| = c7927e30d0d7697a2efa864cd3c40847 | ocaml(Implicit_quantifiers) |
| = d096c4faf5b557c4bd40158dd058eb69 | ocaml(IndTyping) |
| = 6b4a4972f474f1fd801a00991a35d69b | ocaml(Ind_tables) |
| = b3dc35c902179c75c36f89c89d8b290e | ocaml(Indrec) |
| = bd12818b2f0ada2ec30b1f9d46cf56bc | ocaml(Indschemes) |
| = b805a9a73208a970b19f47675c89e793 | ocaml(Indtypes) |
| = e1a42936a8458c94cee23262f3ea8015 | ocaml(Inductive) |
| = 77e0ca5316ddbf71fd1236d1653be0ff | ocaml(Inductiveops) |
| = b486ad09122c83529234fa6ce753d55c | ocaml(InferCumulativity) |
| = d92806c6b6b4bc96e03c8a07044dcf08 | ocaml(Int) |
| = df8be7514f78b424c211904ce94fe875 | ocaml(Inv) |
| = 1f2378480c8d39d86b6c904fba3d4935 | ocaml(Keys) |
| = 2610876f92739a59576d0b9e745fca30 | ocaml(Lib) |
| = 26b9cee5e6731fa5766e9f04bc2d7507 | ocaml(Libnames) |
| = 0917543958915872f997aabaa90cfdd4 | ocaml(Libobject) |
| = d6b12a8d0fde84ad6f83b203381e0282 | ocaml(Library) |
| = fbc17273072e822cf66a3875af642e81 | ocaml(Load) |
| = 6c62fdd949b90e54c5b4762bd93b3fbc | ocaml(Loadpath) |
| = 66403678cb7815a79c0e1a1c82447bd2 | ocaml(Loc) |
| = 32c60adefab0a4ba123be4179a8853cc | ocaml(Locality) |
| = c41553c61784d017f4a2b6e4d5ed763d | ocaml(Locus) |
| = d5084e9eff417995d2dfdb3705bc6fd4 | ocaml(Locusops) |
| = f6e192ce90f21df1a1f454bddd287ded | ocaml(Logic) |
| = b617dbec58c0edc562650901e5ea7463 | ocaml(Logic_monad) |
| = 649da116818b5419532b05fab030bb62 | ocaml(Ltac2_plugin) |
| = a4b47641880f2b7fa383cdfb6269fffd | ocaml(Ltac2_plugin__Tac2bt) |
| = 0821cb832bca6355b3412330377d30d0 | ocaml(Ltac2_plugin__Tac2core) |
| = de59c7871999f70b36bf4959d52471fa | ocaml(Ltac2_plugin__Tac2dyn) |
| = ee762e5862f7058ba9801b64e92fe1f7 | ocaml(Ltac2_plugin__Tac2entries) |
| = 0f1d83d0d96f0af37fd5392869351a56 | ocaml(Ltac2_plugin__Tac2env) |
| = 4e5537766dccdc032ae19c4d9c865783 | ocaml(Ltac2_plugin__Tac2expr) |
| = e72d83b9688ca5b811c1dbd04f689136 | ocaml(Ltac2_plugin__Tac2extffi) |
| = e5c065ee1577d27d3a74ed1147cc7b97 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 54085ab5a7ea45549bc3f7413975e358 | ocaml(Ltac2_plugin__Tac2intern) |
| = c7664b0e098393cc381496697dfcb115 | ocaml(Ltac2_plugin__Tac2interp) |
| = 4302df7a6503cf00f7a33de4fddf68ad | ocaml(Ltac2_plugin__Tac2match) |
| = 0d14250f775bc77bfbdf0238b301d7a2 | ocaml(Ltac2_plugin__Tac2print) |
| = 5049dd8098dabdc129c524b347e119f5 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = aba94a16a98d097e9e9395aa743d94d5 | ocaml(Ltac2_plugin__Tac2quote) |
| = ce434e6822b960683cfde276615a276e | ocaml(Ltac2_plugin__Tac2tactics) |
| = 188f7c3446405ca8aaef9e86a2c819a5 | ocaml(Ltac2_plugin__Tac2types) |
| = 96d768012b4a8519328660c711442d81 | ocaml(Ltac2_plugin__Tac2typing_env) |
| = df167d955e180cbe1923b3aca1a51797 | ocaml(Ltac_plugin) |
| = fa43fdc11d352b6972838f7e65824c57 | ocaml(Ltac_plugin__ComRewrite) |
| = aa8a80be6cba61fd0d2c7965f3a406eb | ocaml(Ltac_plugin__Extraargs) |
| = c8f93e904eb69dab91183072a6924433 | ocaml(Ltac_plugin__G_ltac) |
| = b8d8e204e4faf2a59c6ebbaef2c8944b | ocaml(Ltac_plugin__Internals) |
| = dec435a81d4dd776c2539c34a3e59ecc | ocaml(Ltac_plugin__Leminv) |
| = 084577853c8a8d9319d8fe0b81fc6f62 | ocaml(Ltac_plugin__Pltac) |
| = 0befda10affa57106501d4def2056fca | ocaml(Ltac_plugin__Pptactic) |
| = 9c6f633273837e3d3bf27da6a60ec934 | ocaml(Ltac_plugin__Profile_ltac) |
| = a2940064cbb92843ea0b98850698a4f0 | ocaml(Ltac_plugin__Tacarg) |
| = a26363aac3103b20c96b314defc5ed71 | ocaml(Ltac_plugin__Taccoerce) |
| = 0b718829f353e89009297173466b202e | ocaml(Ltac_plugin__Tacentries) |
| = acc495da50bfff7c59862c7c4bb10427 | ocaml(Ltac_plugin__Tacenv) |
| = 3638a4f42753310bdf3da2ac0c732558 | ocaml(Ltac_plugin__Tacexpr) |
| = 7e612423f32b9824fa2af0be29099714 | ocaml(Ltac_plugin__Tacintern) |
| = c383668c0c4837967ca7651fb365c402 | ocaml(Ltac_plugin__Tacinterp) |
| = 718d0f0faee29f1b171d0cdd39d4baa1 | ocaml(Ltac_plugin__Tacsubst) |
| = 420de5a95c40e32541420a362ed44ace | ocaml(Ltac_plugin__Tactic_debug) |
| = 02eb1e4385d831aa595c35e9abbd076e | ocaml(Ltac_plugin__Tactic_matching) |
| = e1e3dadab9e524da459d52ae596eb610 | ocaml(Ltac_plugin__Tactic_option) |
| = 88712f99ab7d0e957b7d460228e30585 | ocaml(Ltac_pretype) |
| = c016ad86aabfa88d17127ab3e57a3789 | ocaml(Memtrace_init) |
| = bc983aac0253b2f720ae8da3dbb1feba | ocaml(Metasyntax) |
| = c816083a19c7a82cc8eae39391774765 | ocaml(Micromega_plugin) |
| = 33c47068cf02b6b35bfae34150e1343e | ocaml(Micromega_plugin__Certificate) |
| = 00a093b123a1030a0d5a2a195908bc17 | ocaml(Micromega_plugin__Coq_micromega) |
| = 338cc7ed45f2f2d0286e88f71665c14f | ocaml(Micromega_plugin__Linsolve) |
| = 49719c104703422034cbae4aebffd836 | ocaml(Micromega_plugin__Micromega) |
| = fa1d1e4ff7e44586a4206c1940715b5f | ocaml(Micromega_plugin__Mutils) |
| = dbcd9ffdf74536704631494e406e4fe9 | ocaml(Micromega_plugin__NumCompat) |
| = c06dc3fa5f50807c4f4660023633693f | ocaml(Micromega_plugin__Persistent_cache) |
| = 4f12d5b7831a18db24de38c96a417dd1 | ocaml(Micromega_plugin__Polynomial) |
| = ff18c1316d80ed9be6a0276156c80c38 | ocaml(Micromega_plugin__Simplex) |
| = f1c13a9a8a771ea6cc7e346d601dd3b0 | ocaml(Micromega_plugin__Sos_lib) |
| = 6a42be6eafde790cdafd4afa4f015e5c | ocaml(Micromega_plugin__Sos_types) |
| = 781c983ac125e832994c133a24880bd9 | ocaml(Micromega_plugin__Vect) |
| = de88017a8b44ea9fd2de5569132fe800 | ocaml(Miscprint) |
| = f515792a9d8da2051dd4c02260bc813d | ocaml(Mltop) |
| = 87bf8a9e488a2d66b98b311cd9e9b9f9 | ocaml(Mod_subst) |
| = b96381a9d3c3dda56135c206901df140 | ocaml(Mod_typing) |
| = 75707a1786cd199cf3322d7f42662457 | ocaml(Modintern) |
| = c92156b83fc44f5682bc9f2948ae6ac8 | ocaml(Modops) |
| = 111c49d5acef9c643936ce9c7f2dfa62 | ocaml(Monad) |
| = ac0919cc300b6a61e06dd7e1199a9a24 | ocaml(Namegen) |
| = 3dcb8e7ab01b12759d677ecafb92c078 | ocaml(Nameops) |
| = 085b410b2201aab95c4b28f79466b72d | ocaml(Names) |
| = 7b2bc797d81dde90816bfbdb05ed9cd8 | ocaml(Nametab) |
| = caaa3c0045d8b1cf818dd091b9f9de8f | ocaml(Nativecode) |
| = 6f53855d43e2cb5885329d7efd3373ab | ocaml(Nativeconv) |
| = 5ca3b84b2dc0bf7373b4de2bbdf26266 | ocaml(Nativelambda) |
| = ca885e8aba83fb0f378e718af379cb04 | ocaml(Nativelib) |
| = 7448291c515d505b3f1e502e8d6dfd19 | ocaml(Nativelibrary) |
| = 53cb6f78c8b72b412e19b3e5699e3a42 | ocaml(Nativenorm) |
| = 83c41dd7e32a59ded1e43e007a331f75 | ocaml(Nativevalues) |
| = 970a4fb3b081f410660ba7e487594f83 | ocaml(NeList) |
| = 854e26ad5e405f07e58f00bb1c3f238f | ocaml(Notation) |
| = 4dfb0ec1b06a154d9f577fd113fbcda6 | ocaml(Notation_gram) |
| = 017dc0aa58029cdbc7831ccafddbb06c | ocaml(Notation_ops) |
| = 12d45aaf6e2b0d86d8695f8d56b3cd19 | ocaml(Notation_term) |
| = 602a3ec077d38fb6ec655de88568b1a9 | ocaml(Notationextern) |
| = 80214077bb11b00f3af7e152c6b22a91 | ocaml(Notgram_ops) |
| = 84f0132bd2fbdc1e41185d9b4bff96a8 | ocaml(Nsatz_plugin) |
| = 2d0b9ab3a4f30b69de79d1fa7931645d | ocaml(Nsatz_plugin__Ideal) |
| = 73bd36e0520d5d099f5f0b5a1a7a25d8 | ocaml(Nsatz_plugin__Nsatz) |
| = 541b7d8709367c1d5971f4aef5e2fdae | ocaml(Nsatz_plugin__Polynom) |
| = 04beb40d578caceca70a183d65f071fc | ocaml(Nsatz_plugin__Utile) |
| = 47afeeff9c8b0a62798648ec22366e22 | ocaml(NumTok) |
| = 25f549dd8aec902baae826210b20fbb1 | ocaml(Number_string_notation_plugin) |
| = 8fd88fe32462f75cfe7db1bdaab99a62 | ocaml(Number_string_notation_plugin__Number) |
| = b622d2bcaf5e701063c622a536c27c58 | ocaml(Number_string_notation_plugin__String_notation) |
| = 4f82a68b88a72c215e0bd846231665c1 | ocaml(ObjFile) |
| = ce97714638bdef636ddcdf6595d88997 | ocaml(Opaqueproof) |
| = 777547a335316c0d576df15b8e529e1e | ocaml(Opaques) |
| = 0ed8cf70257474be112f25e670767659 | ocaml(Option) |
| = ad1f2e7298fe9e91db544a18658cc417 | ocaml(OrderedType) |
| = d7ffd5166e0ad210e99839a7a8859a57 | ocaml(Parray) |
| = 8309cf28c800dcfed0896c4b1d37e8d6 | ocaml(Partac) |
| = c96e307117bd71a535339af9cf3b1814 | ocaml(Pattern) |
| = 8248b247dcf5afa2b4a6466e867f0d12 | ocaml(Patternops) |
| = 278ab275fec18665ab0d2b379f6e2d7c | ocaml(Pcoq) |
| = b296815bf15420d281b7c46a0e4b1234 | ocaml(PolyMap) |
| = a06106912b4260216a95b51835f39c2e | ocaml(Pp) |
| = a1ca6d8cbf054780bfce1013571b7140 | ocaml(Pp_diff) |
| = 97d01497700f11d2a87a65538b482012 | ocaml(Ppconstr) |
| = d5ed88613cd8e2b2d4e2e2e03744c90a | ocaml(Ppextend) |
| = fe61fe705015ea74a81da53b83ba4e61 | ocaml(Ppred) |
| = 6838e2c25303e62d87c1151fa0c057c4 | ocaml(Pputils) |
| = 014973220f2f0ffa3c63e2fde0d507a5 | ocaml(Ppvernac) |
| = 1b54ffe866048b283dcf39c247b9f856 | ocaml(Predicate) |
| = ac996d815bb36f9ec0d531d04b0fdf16 | ocaml(Prettyp) |
| = b19c822df2d1d082a111931a6e23af16 | ocaml(Pretype_errors) |
| = 7baa8835c2cd158b2240b5d7edfc4ac4 | ocaml(Pretyping) |
| = a2a70f50cb0abf7070f6d70f32e1af58 | ocaml(Primred) |
| = 38f65e0e7495c9884f4fbc757df288b5 | ocaml(Printer) |
| = 6f7fb1d17f2481802b020a74a0f16da9 | ocaml(Printmod) |
| = dc0511c457d95553e038b6e2b79a360e | ocaml(Program) |
| = a7f2c3e341f1b2909c590a79b6b8a04c | ocaml(Proof) |
| = 8866137c53fe7e92b68bcefc4b78c9d9 | ocaml(Proof_bullet) |
| = 05a77ca121b11366ac40a882b6515644 | ocaml(Proof_diffs) |
| = f95bf5e900a7623f3c35f6b6e0202f24 | ocaml(Proof_using) |
| = 580140f14a4ca6b43694306c5c408edd | ocaml(Proofview) |
| = 0ea514d7b87be1004a21b151bfeceb86 | ocaml(Proofview_monad) |
| = c562639c5293c3f6a9bc29c4d52cdd71 | ocaml(Pvernac) |
| = dfd79ff05360c4cc4bc120db10ee3749 | ocaml(Q) |
| = 63247554a25737029029a5ce190b7152 | ocaml(Range) |
| = 913cacfce48e587d529c8a18f1b467c2 | ocaml(RecLemmas) |
| = e40ce9f19a72c94a74d6136bafc68281 | ocaml(Record) |
| = 39fe585ef6d85c68f9e1bdbb96de5db4 | ocaml(Redexpr) |
| = f3e8f1bd22bfd5bb7123b05d358a9236 | ocaml(Redops) |
| = fea8d4c24e48959c6a784f228c537253 | ocaml(Reduction) |
| = 1b00d396d927b2dd74ec3ded04626b44 | ocaml(Reductionops) |
| = 52d2f5b07210744d4f858ef741afe8bf | ocaml(Refine) |
| = bf2953aab6b440b0f4431c6e3bf0b04c | ocaml(Relevanceops) |
| = f06d1b90dae968b3080295186c8a897d | ocaml(Reserve) |
| = eedb3ca4fc9d6f01553de097dcc3258d | ocaml(RetrieveObl) |
| = 2acb5320cf7ecf9e2f3efdc0bdc1d99d | ocaml(Retroknowledge) |
| = fd952115cab46f3a01b45151659110bb | ocaml(Retyping) |
| = 368c99a83ede099fe9d5cb10a01d4bfb | ocaml(Rewrite) |
| = 49fa866ff2d3522249cfa702b38b18ef | ocaml(Ring_plugin) |
| = ff6206a12290485f35d705e6fe663383 | ocaml(Ring_plugin__Ring) |
| = 0cf62d94ed96440d84d67f36b413920c | ocaml(Ring_plugin__Ring_ast) |
| = f2f6e8fcecc748603ca073363f6554e1 | ocaml(Rtauto_plugin) |
| = eccd42dbca2c0862ccecc0cd489a44c6 | ocaml(Rtauto_plugin__Proof_search) |
| = bea2f8648195257673968875d4eb1bee | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3070acfe312150638de5f65e9e319e64 | ocaml(Rtree) |
| = 3db7c318198c7d1af831076050e784a4 | ocaml(SList) |
| = 4ac03c1fdfa988037fb40dfae916b6a9 | ocaml(Safe_typing) |
| = 2e27a927339a3a8db3fb5543115654bc | ocaml(Search) |
| = 2613b1d4c008a4c834ee19752feb6018 | ocaml(Section) |
| = 8d883bd2b62649ed63ff01ca925c5225 | ocaml(Segmenttree) |
| = 56256ef825be73b2cc1560d6ed9fc3c0 | ocaml(Smartlocate) |
| = 61442a743ca9846b7087cbab9dc63fe7 | ocaml(Sorts) |
| = a1df7ef68f2d343546639581ef75be18 | ocaml(Spawn) |
| = b0405d27ce74aca3d9f195d476e32be1 | ocaml(Spawned) |
| = ee5c4cc99c8228609b38385be7d719c6 | ocaml(Ssreflect_plugin) |
| = acca521fafad71d72b1323690b97f79d | ocaml(Ssreflect_plugin__Ssrast) |
| = bccb01df92c3534163e2f045b6a6a451 | ocaml(Ssreflect_plugin__Ssrbwd) |
| = 919cc080c788f8274471a4594cb412a0 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 13ceb44adca3c1ff888d0e5fbe9c87ab | ocaml(Ssreflect_plugin__Ssrelim) |
| = 318720d7ccb2180135d5ced45d58c52f | ocaml(Ssreflect_plugin__Ssrequality) |
| = d93d68b518ac4250f7be136134e8737b | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 3bea8cb614f37eaecc9d482a849a35dd | ocaml(Ssreflect_plugin__Ssripats) |
| = 67391bb42f67ef9773ed637efa637b0e | ocaml(Ssreflect_plugin__Ssrparser) |
| = 0a7fba3bdac74a271f4cebef27e646c5 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = 0a0e197d03d315842e7a80fb552d849d | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = d445781e3d2d65ffcb7b3df0feb24423 | ocaml(Ssreflect_plugin__Ssrview) |
| = 13de31f76194d86e41a930dc6f5247d4 | ocaml(Ssrmatching_plugin) |
| = c07d41c60413096b43b9d2cd9f6ed6ba | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = a3ab88eb5a086da065698e1243166e55 | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 54380a42612c023be92895eb75e54315 | ocaml(Stateid) |
| = b2c2b3b9965041f984b54fe20bd4146b | ocaml(Stdarg) |
| = 85f85ddb47edc0c7579657eee740302d | ocaml(Stdlib) |
| = 9bcf1a06bdcfbb976f898e818e15611a | ocaml(Stdlib__Array) |
| = 55a812d9a3c89e7a8ebb917e63e4beea | ocaml(Stdlib__Bigarray) |
| = 12b944b4b2913751cd65bdc638975d4d | ocaml(Stdlib__Buffer) |
| = b0d2a0027e7278e26a1fe4bc0e79a690 | ocaml(Stdlib__Bytes) |
| = 71d01c936f35204d25fbdc2a38153066 | ocaml(Stdlib__Char) |
| = d5f041ccbe9783af90ca38337002fb4e | ocaml(Stdlib__Complex) |
| = 077769d83e00d11348b69204994c2ee8 | ocaml(Stdlib__Condition) |
| = ff876226ab2584c79cfe1afd26ca2f58 | ocaml(Stdlib__Digest) |
| = 0d152be3cd9163970a657d842fca8ecf | ocaml(Stdlib__Domain) |
| = b3ad0f8c65f28252059edebc03f68808 | ocaml(Stdlib__Either) |
| = bdab4e191fd0449be5e3038818ee8f9a | ocaml(Stdlib__Ephemeron) |
| = 218e1f57bdea9d296a9f66e323e71029 | ocaml(Stdlib__Filename) |
| = e7385010d0d6a0bbd4191bc7546d458a | ocaml(Stdlib__Format) |
| = 2fb21db8dc93e1970abdbab69be3d82d | ocaml(Stdlib__Fun) |
| = 2259960cc6f070189d9bbc89ce4392ee | ocaml(Stdlib__Gc) |
| = bafdecabd3fce4f5ccc09a1a5587dab4 | ocaml(Stdlib__Hashtbl) |
| = 1db604c2106f996ea47a572773a5ff7f | ocaml(Stdlib__Int32) |
| = 7ab3f2ace09cfcc67be8a7133d18f0e2 | ocaml(Stdlib__Int64) |
| = ca3d5c326131437daef18ae34e7f4aa9 | ocaml(Stdlib__Lazy) |
| = be62854f0fbcd8531fe531cd00e34821 | ocaml(Stdlib__Lexing) |
| = feb7c568830f9f239501efb83f4725e4 | ocaml(Stdlib__List) |
| = 71415964978d1cf0c1701af1137aa1ea | ocaml(Stdlib__Map) |
| = 89189418cadd7da3199ca631ffd25dc6 | ocaml(Stdlib__Marshal) |
| = b498a9640171cc6d35c0017d9efe8eef | ocaml(Stdlib__Mutex) |
| = 627e6e1768175d0dea895dfbcbc11457 | ocaml(Stdlib__Nativeint) |
| = 85655eceec5bcd6c7c4ef5dd6758b19d | ocaml(Stdlib__Obj) |
| = ce1d04478ff0e3403b8c05aa790a9f79 | ocaml(Stdlib__Printexc) |
| = 8debea255efc834da5c1bc2e73f09214 | ocaml(Stdlib__Printf) |
| = 7c394795afe79287e9401b5c6c36e64d | ocaml(Stdlib__Queue) |
| = 3f2ddc04bb28ff1050c0c8d7cf5a8d57 | ocaml(Stdlib__Random) |
| = 7b90d3d3f235d5efe163c7fce45d7dd0 | ocaml(Stdlib__Result) |
| = c00e8fda2c354d0d6aed03da5643b593 | ocaml(Stdlib__Scanf) |
| = cc3f899885b746f777815dc93be7ede2 | ocaml(Stdlib__Seq) |
| = f849884bcf48f894e90800c7ccd98f21 | ocaml(Stdlib__Set) |
| = 2c058a31c4619e2e1504072ca87f6bee | ocaml(Stdlib__Stack) |
| = facad7e0dada5941148738b8188d844f | ocaml(Stdlib__String) |
| = a0375c47cee9c7e20ff8f61d4f04e748 | ocaml(Stdlib__Sys) |
| = 9ea864085095970c73b7b17c26c37317 | ocaml(Stdlib__Uchar) |
| = 2fce646729aeb77fa66361591aa9dc46 | ocaml(Stdlib__Weak) |
| = f88af91c090fc5621cede9aef8c14c1e | ocaml(Stm) |
| = be566c971abadcb2e862ab121c8ecace | ocaml(Stmargs) |
| = 63270e261706eb1cea0ca37b342126b2 | ocaml(Store) |
| = 6033104bfe804d2da0486bb38da86608 | ocaml(Str) |
| = aad73202a1e773336cd033afd606eca4 | ocaml(Structures) |
| = 92637b8889d6131c1c3fc5ad712ee83b | ocaml(Subtyping) |
| = fad478c460d01a21465ad93ec5e9648f | ocaml(Summary) |
| = a6632621d1947d918be73ac13d1ee5ca | ocaml(Synterp) |
| = c71d66208c02e2bfce61ff3ae1733905 | ocaml(System) |
| = d9a48841c6edf83b6c5fc9f49983c171 | ocaml(TQueue) |
| = ee4ee105a2dbbdef7373d8b1284bed1c | ocaml(Tacmach) |
| = eb0036c45d4a3e614366560fc8d6fc0b | ocaml(Tacred) |
| = 63c5a0b28bf2def0bb08a9e47fc50bcc | ocaml(Tacticals) |
| = 019bb345cda1870f39aaf25886ba4fb7 | ocaml(Tactics) |
| = ba10a2d8be8db5731a9dca13b13c6195 | ocaml(Tactypes) |
| = 418aee7004a8e4c82b63c3a475eacf61 | ocaml(Tauto_plugin) |
| = 4fbbd5e83cff685ad353c731ebb6dd18 | ocaml(Term) |
| = 75080731fd8263db909153552a951a5c | ocaml(Terminal) |
| = 75051664f8e289e3470d77e96c883594 | ocaml(Termops) |
| = 2d90ce5b6257c36918fac0ce3319f3c0 | ocaml(Thread) |
| = c7e17493652fa46ec713b60e9fc08fef | ocaml(Tok) |
| = c0127192e6c6a71cabcbaed3f8b50d92 | ocaml(Topfmt) |
| = 7823591e24f8fe112e1e16e79655d585 | ocaml(TransparentState) |
| = cb681061aae66583742c00fb4f3a3472 | ocaml(Trie) |
| = bd68d109f199d1f123529472064d4ce6 | ocaml(Tuto0_plugin) |
| = b724f51689d5d5a2c83837ddb37b26ce | ocaml(Tuto0_plugin__Tuto0_main) |
| = 186133c7729f31cd7741919b01d18e7b | ocaml(Tuto1_plugin) |
| = 23442baa444ed9c09a9c2db3fc36e0ae | ocaml(Tuto1_plugin__Inspector) |
| = e0afd55b82a51a1d962600435d971f52 | ocaml(Tuto1_plugin__Simple_check) |
| = 7aeac587a30e4f548f2e8f21cd3b99c1 | ocaml(Tuto1_plugin__Simple_declare) |
| = 1f09bcaa6063694632385cb7319fd3b3 | ocaml(Tuto1_plugin__Simple_print) |
| = 5c827c73edd6513780dee682ee12acfa | ocaml(Tuto2_plugin) |
| = d3225d276c9dfa753defdca6f0b33e48 | ocaml(Tuto2_plugin__Counter) |
| = 9bede7a90157587a3fde170e9f6f355d | ocaml(Tuto2_plugin__Custom) |
| = c4cb9bc336251dfd3b16117a7478e2d4 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 839d54fb85133174ca563f334cb88161 | ocaml(Tuto3_plugin) |
| = 0e94c84394faeb5f84d627f22292814e | ocaml(Tuto3_plugin__Construction_game) |
| = e821cfeb2da00d2614b0b0905267e978 | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 71aafacb8c42b9a633bed6ea553e5463 | ocaml(Type_errors) |
| = 6fbd580650fbc640e2381e2517d848be | ocaml(Typeclasses) |
| = e3c35536baa1449a691638e340ff10db | ocaml(Typeclasses_errors) |
| = e5f833191daadd2fa209da32a4a7cc31 | ocaml(Typeops) |
| = 2ecb0689b8433b010bb9b667118ba9da | ocaml(Typing) |
| = b5b877aec9d0c6f90af91489e5cc6cbd | ocaml(UGraph) |
| = 7057f875f8be32d40547332bfd86ed12 | ocaml(UState) |
| = 69f038589ad8461f82667721d319bc09 | ocaml(Uint63) |
| = ca7089ddb9ae8d5d6e027265142c5a4d | ocaml(Unicode) |
| = fa4cbcaf5affb03f3dea38fe5c8277ea | ocaml(Unicodetable) |
| = 5ae0b46009678933af883b64da697c7d | ocaml(Unification) |
| = 9014e878993ce343b70cc81c55c99eb3 | ocaml(Unionfind) |
| = 3996390653d490fd2676712cb08acd41 | ocaml(Univ) |
| = 988aedf72070cd703d14a8bb8174ca03 | ocaml(UnivGen) |
| = 9de08100f78eaef42242561059751703 | ocaml(UnivMinim) |
| = 2b59f78b9f5ac159d219fe823893efb3 | ocaml(UnivNames) |
| = f0ebfa77aee8f5aee71e8bc114598a42 | ocaml(UnivProblem) |
| = 10466c79a75d4b4870f1dbf10ad25b96 | ocaml(UnivSubst) |
| = 8da0575524ccb15782c0ca7ebc83ccb8 | ocaml(Unix) |
| = 739c05c768541246b721db6b4ded59cd | ocaml(Util) |
| = dd4b54c7a63002dbbaf42b63ae2c0422 | ocaml(Values) |
| = 7e109c978a761d1b350cff2c72c92ab4 | ocaml(Vars) |
| = 0fd86a2f25fbb5503704dc6535a4287c | ocaml(Vconv) |
| = 3ff6b06e37c37b5af3975b6c93cb5c2b | ocaml(Vcs) |
| = ff7676da6cf4faa5777f8a870fd6f2e9 | ocaml(Vernac) |
| = 5d3d7a7308c577ec6104315ff2ed0ed9 | ocaml(Vernac_classifier) |
| = dd8121bc7a90f58da9cbd729533de7c0 | ocaml(Vernacentries) |
| = d7b1d116584b719654d93c454841c6ef | ocaml(Vernacexpr) |
| = 7ab74f32c62eb0896692db15c73f1b5d | ocaml(Vernacextend) |
| = 5a08e8999615ccfd3a6ee40453000847 | ocaml(Vernacinterp) |
| = 819980b9662d365bffffa42dc4d8c2eb | ocaml(Vernacoptions) |
| = cea13d4eb287810aaba7f5af76a81a91 | ocaml(Vernacprop) |
| = 43d4f22339aea7d088350ba2cdb9717b | ocaml(Vernacstate) |
| = 0253265481b587994e3a946ad8dc9bff | ocaml(Vio_checking) |
| = 99566339237baf875545207b3c279a1a | ocaml(Vio_compile) |
| = 962f4b8133ac87c5fd8a8bb70710f944 | ocaml(Vm) |
| = e473504b85f6c7a6e54572cdc52dff4d | ocaml(Vmbytecodes) |
| = 9bd8ca9d3f646049a2e4dc280fc81915 | ocaml(Vmbytegen) |
| = 914f5a6360e08c57a373d1aea72b8c44 | ocaml(Vmemitcodes) |
| = e70b652a8453ccd64bdd0ee5a20c2113 | ocaml(Vmlambda) |
| = 629e11e23d4b9a8fc528fbec8067951e | ocaml(Vmopcodes) |
| = 6331be0986d67a2a4fb0dbdba840d734 | ocaml(Vmsymtable) |
| = 9164664dac68a78436cd7507a8434bcd | ocaml(Vmvalues) |
| = 3d28bdf9a12019ed71e43b94228563d7 | ocaml(Vnorm) |
| = 09a9b6eb9859ab6dd7a677709c1f11c2 | ocaml(WorkerPool) |
| = af4d607b4dbe09d931cd3a2b78a84fe3 | ocaml(Xml_datatype) |
| = 0009d1c1f4074c1e5cac1497b3dc94fa | ocaml(Z) |
| = 1fae62e8555707a7ca16c9fd9212d7dc | ocaml(Zify_plugin) |
| = 236a734feb8e96c2437c933d027b52a0 | ocaml(Zify_plugin__Zify) |
| = fd3761005967584bb6215a79c4b2d20c | ocamlx(Abbreviation) |
| = 0389630aebc6fb7fd6bca93f95765320 | ocamlx(Abstract) |
| = 0b5570b3905dc92f303d5d0b818eb3f9 | ocamlx(AcyclicGraph) |
| = 4adf3a3b0ef41f95425ffb6fe8934b8d | ocamlx(Arguments_renaming) |
| = a337a890e9e5c71979fccfbf4c7a8f7a | ocamlx(Assumptions) |
| = 6910f4b2d894e697efe555b6f59a9f6d | ocamlx(AsyncTaskQueue) |
| = 95e74a183e76b975eb66529a4669c292 | ocamlx(Attributes) |
| = 65bf455c185ab6e2bd1e53c89fdc4ca9 | ocamlx(Auto) |
| = fe9d0a35b99b4ce90ad9810c3b08778a | ocamlx(Auto_ind_decl) |
| = 1752c4c6de675a3aade43f91b5c0bb6b | ocamlx(Autorewrite) |
| = 4196eae5f9ef45a66f698d00efaac2f6 | ocamlx(Aux_file) |
| = d959801e155161e9fdb37596a7f775f7 | ocamlx(Big_int_Z) |
| = bc0c507b8b9dc3f10c55b76e891de19b | ocamlx(Boot__Env) |
| = f31f272a946b4c649846a092790b4936 | ocamlx(Boot__Path) |
| = 696661225f65414c6a299021480e5e6e | ocamlx(Boot__Usage) |
| = a014efe5f327fcb1a851790dbfd0282d | ocamlx(Boot__Util) |
| = 256e3a8a2ff5ecd8f3e712ed7a3797b8 | ocamlx(Btauto_plugin__Refl_btauto) |
| = ffd698fa91e59d0ee6278f26828d80aa | ocamlx(Btermdn) |
| = c283a0f77b8df3491d4cbae050b76801 | ocamlx(CArray) |
| = 5c92de86f311d546570a591e7ac5e8c4 | ocamlx(CAst) |
| = 84348904760600fce8d574cd4e50cd91 | ocamlx(CClosure) |
| = b9801886d28063dd8fc43961dde81175 | ocamlx(CDebug) |
| = 2d4b0735190694300ae94061b4946479 | ocamlx(CEphemeron) |
| = 1284dff035d41340bc953753689409e4 | ocamlx(CErrors) |
| = b937a0d309ef3bfe1e86647a26f6edf6 | ocamlx(CLexer) |
| = 8dbde6359f78faf766a8eef408657daa | ocamlx(CList) |
| = b5fd7f64b325eb7eac68f6c0e2a2dd06 | ocamlx(CMap) |
| = 8c3f4afe1b5f75decfbced2b3d5e59c8 | ocamlx(CObj) |
| = 7c5d70e56ed9b89d7f103a3227689e7f | ocamlx(CPrimitives) |
| = 983aab42aff5f90f41894feecbb06b39 | ocamlx(CProfile) |
| = 92ab3e4bde3d06c9cee1ef2ede9fc294 | ocamlx(CSet) |
| = d41891d060af3446d0e198ca71795b32 | ocamlx(CString) |
| = b184ac70882bb2b154f99ec6055e20c0 | ocamlx(CThread) |
| = c91ca58c5d8ae29c22c1141ab08cb8e4 | ocamlx(CUnix) |
| = e7f3a499284c4784fe4fcfaa7cda9b36 | ocamlx(CWarnings) |
| = 58f88a5a5c64196bd9b440558fffce16 | ocamlx(CamlinternalFormat) |
| = 86b70b45542f76ceaaf8e37cf02f4733 | ocamlx(CamlinternalFormatBasics) |
| = cb7abf7287d654348173d00f3138d492 | ocamlx(CamlinternalLazy) |
| = d5a40fc44e7086875825e07d79519de7 | ocamlx(CamlinternalMod) |
| = 837bc42c277f1552b35648daabf1155b | ocamlx(CamlinternalOO) |
| = 1220375ad4792241da7e89ccb56d4159 | ocamlx(Canonical) |
| = cf7cbaef3a8e2c2eff96e35da27603aa | ocamlx(Cases) |
| = 213a9b1791e30c79ad24f1d68e66abfb | ocamlx(Cbn) |
| = 4e1e301c73b5869294284851827b8a95 | ocamlx(Cbv) |
| = de36a0362ce0327fe588d5630f52ebdd | ocamlx(Cc_plugin__Ccalgo) |
| = fc46737a14e0ac19b6cc0c10f74f4945 | ocamlx(Cc_plugin__Ccproof) |
| = dbc0a0a649747fcf5923c298fef2ed8a | ocamlx(Cc_plugin__Cctac) |
| = 682b7be92fdf4f7911898f84d03bb404 | ocamlx(Ccompile) |
| = 08b761d821a1d1b704ea50d4b40d363d | ocamlx(Class_tactics) |
| = 6ec4c102a90f1a74a8110560a9196e22 | ocamlx(Classes) |
| = f658e85f1a0d258c814a3bd7863005f7 | ocamlx(Clenv) |
| = 9becdd6377a9183a850d49af34fe73b7 | ocamlx(Coercion) |
| = 5aa3e3e597e495771952ea779d994b3d | ocamlx(Coercionops) |
| = 8403cf89cdea26d040dfe4c5c6ca990d | ocamlx(Colors) |
| = fbca92fa4e00f0057eff357d8a18891d | ocamlx(ComArguments) |
| = 71f7f331f23d83d580a1e9bd0c6eb5f1 | ocamlx(ComAssumption) |
| = 911c534f1f793d86059dca0bdd743bf5 | ocamlx(ComCoercion) |
| = 8bec7f9717f9fcd6e234a17ea8d10be3 | ocamlx(ComDefinition) |
| = 9244eb38d54148e875eb082421c174aa | ocamlx(ComExtraDeps) |
| = 805d639741f75596337d626f511fac3e | ocamlx(ComFixpoint) |
| = d4cf5ae30d87f67383a1d7cbe12f302b | ocamlx(ComHints) |
| = 40afa5f35d896950eaa8a8d125881585 | ocamlx(ComInductive) |
| = 0e444dff1773c09f130943cc819f2a99 | ocamlx(ComPrimitive) |
| = 072a29bb8ad0f773cddda7792b713c0e | ocamlx(ComProgramFixpoint) |
| = 561e658c4ecbb5dc2e02e7524ca84705 | ocamlx(ComSearch) |
| = 253c3a12400abbf295c26b7f2553395e | ocamlx(ComTactic) |
| = 70b6ed111a8a0ea8fecd3383326eae5a | ocamlx(Common_compile) |
| = 3128cc56f4d0dd650077d88b1bf20ad7 | ocamlx(Constant_typing) |
| = 6f286467ab8ba02fa77fca4171dc75f2 | ocamlx(Constr) |
| = 2201880ca41fc411a02f638999c58d59 | ocamlx(Constr_matching) |
| = 5daf86cc29a9e7abea4e946e5cd6cf2f | ocamlx(Constrexpr_ops) |
| = 28a5f6b40d5c8b0a511477844fe04ae0 | ocamlx(Constrextern) |
| = d23224417c8d2ed7219936fde7bf47b6 | ocamlx(Constrintern) |
| = dc5a84314826a60fc8f3ca80559ad742 | ocamlx(Context) |
| = 73bb07cda0502d40b382e8e84eace759 | ocamlx(Contradiction) |
| = aa3d31df6159a9e278be636d2c2cea2b | ocamlx(Control) |
| = 7fce0d5079c19d40979b61c638a0f5aa | ocamlx(Conv_oracle) |
| = 446724c40ba489e26c4abe21370304d1 | ocamlx(Conversion) |
| = 83239aa7bd732f6d614f7b69b4e003a1 | ocamlx(Cooking) |
| = 40f0100f906761cedf29e0de9d51df34 | ocamlx(Coq_config) |
| = 40e9448e810b0ed065c946c677a0f845 | ocamlx(Coqargs) |
| = 044474ce3bdf410c1dfc7c8b04128dcc | ocamlx(Coqcargs) |
| = 7b27f570306107a6c1eff5dfd317268b | ocamlx(Coqinit) |
| = 953b1db4379cf18c182273bae0da75f1 | ocamlx(Coqlib) |
| = 8564f745a5ba5b18ee6b34594a205165 | ocamlx(Coqloadpath) |
| = 3a30a27096e244961e6313c775f2560b | ocamlx(Coqloop) |
| = 33f39aa8d14ee9e3bb7c41dfdd3790de | ocamlx(Coqrc) |
| = 74bfcf82478240b1c7c02913f6e8483d | ocamlx(Coqtop) |
| = 890bd3a54b49b34a490759e37c5e84f4 | ocamlx(CoqworkmgrApi) |
| = 17ecfc7895c793fc88edccfd3179d225 | ocamlx(Core_plugins_findlib_compat) |
| = 56a8affdcb2c3c7907650e41405aa9e3 | ocamlx(DAst) |
| = 19959d29649df3645ca32d162d20e60c | ocamlx(Dag) |
| = 1d9cd75e270804cfb46684c1bcdf2155 | ocamlx(DebugHook) |
| = 3a504468995bb5e61a2fbab42251b07b | ocamlx(Declare) |
| = 450b909e7b093cb7aa5b4e808e5cb048 | ocamlx(DeclareInd) |
| = 6b5ca0d84edc3e1f6192abf285210d54 | ocamlx(DeclareScheme) |
| = 1369dd94a20a3bd9c5a6770fa3b44d31 | ocamlx(DeclareUctx) |
| = 7e6bcf94c952d9abe26e447cbff27258 | ocamlx(DeclareUniv) |
| = 3301079627904d61dc66cf349486069a | ocamlx(Declaremods) |
| = 483d1311a88208907eb12a4d3673561d | ocamlx(Declareops) |
| = 5b1dfa8770076f4294c0ebfad4ba65c5 | ocamlx(Decls) |
| = 3dd928ca7545ab97171be59044ace3ac | ocamlx(Deprecation) |
| = a53693e55792eb0791c196c45cec4097 | ocamlx(Derive_plugin__Derive) |
| = d41620ed37907bc6b77738cae1f55f20 | ocamlx(Detyping) |
| = 8be61045569e6cb9c7447fcdc78c6675 | ocamlx(Diff2) |
| = 96fd90b25e488844dc560616af542c0c | ocamlx(Discharge) |
| = d1cb1e5e1a91175da9ad236a4712c58c | ocamlx(Dn) |
| = 256371a4ea038bff2f538a798e748fb0 | ocamlx(Dumpglob) |
| = 832f33f7564b4808b24bb38c37eb2d8a | ocamlx(Dyn) |
| = a17cc1a4a68db7738783ee5b108ce1e6 | ocamlx(Dynlink) |
| = 0731117c816280c83f43d90875b15c8c | ocamlx(Dynlink_common) |
| = 9a99ded17f5dfef122748b3d904974cf | ocamlx(Dynlink_types) |
| = a22d6a0704cd471a20e09820c707b580 | ocamlx(EClause) |
| = c6e4af0d936ddbdf1c92ad64dace66ab | ocamlx(EConstr) |
| = 1ae2561271f24c3015bf75251f0d863f | ocamlx(Eauto) |
| = 5c589dbbfaf721ae7800da3c4bcd40f1 | ocamlx(Egramcoq) |
| = 9b639ee329b167bdec0d9f0e5ba39616 | ocamlx(Egramml) |
| = 62b45eb48db9717ae26709d9c53cd75b | ocamlx(Elim) |
| = 5941f37fde559e50ccedd4b0bd3171fa | ocamlx(Elimschemes) |
| = f9e5bb0d610ec6c4e990c716c5b80115 | ocamlx(Envars) |
| = e4b00fc1dddffce28c79de650e168967 | ocamlx(Environ) |
| = dfc0efb18d096bbc5c8b4ee005518c2e | ocamlx(Eqdecide) |
| = 30837e7956bd26f6edfa2900e1031f05 | ocamlx(Eqschemes) |
| = 5c0f6fcbf61fe8e891508cfa0fe921b8 | ocamlx(Equality) |
| = 768d16d133c8f9b79e4c374a96320a38 | ocamlx(Esubst) |
| = 50020a3a780c4a20f9d0ad96d1caf6cc | ocamlx(Evar) |
| = 5cc27c0ad54960c8c4ef973c80c1d34b | ocamlx(Evar_kinds) |
| = e848c6fe85d0502bf9be0ae647259730 | ocamlx(Evar_tactics) |
| = 4782f3ea2b98824955f4892ccd3a04a3 | ocamlx(Evarconv) |
| = 8c34d3ae2f766a94d9f20eaf0881a462 | ocamlx(Evardefine) |
| = c1ca3cea98292c1bd94cfaf99dc95363 | ocamlx(Evarsolve) |
| = 734ce28ca1029548a3316e32154da22e | ocamlx(Evarutil) |
| = 6f2efeee87d890b26d5672cfbbadbb31 | ocamlx(Evd) |
| = eb4df81e306597953871daed2ed2174e | ocamlx(Exninfo) |
| = ede1d6f361b8feb01464ac117ab67e21 | ocamlx(Extend) |
| = ca3bbe8a3caf35d95d43d156497aea54 | ocamlx(Extraction_plugin__Common) |
| = 2d6d16dae99c120c6fae9bc14aea35b8 | ocamlx(Extraction_plugin__Extract_env) |
| = bfeae1c1b5f64f1d707dfcc54f579e6e | ocamlx(Extraction_plugin__Extraction) |
| = f7bf3107462bc4c3e449fed376514a55 | ocamlx(Extraction_plugin__Haskell) |
| = 3ddc32ab7bc6d919bfe1667c98ad2237 | ocamlx(Extraction_plugin__Json) |
| = 819c64b7b95b670a259192d992c19ebb | ocamlx(Extraction_plugin__Mlutil) |
| = f12e713d50b9383de279ec00bbcfd9b7 | ocamlx(Extraction_plugin__Modutil) |
| = 8689e631cbf2099269316161f7c67b92 | ocamlx(Extraction_plugin__Ocaml) |
| = 6045affbe665488a075005ac5f3104b6 | ocamlx(Extraction_plugin__Scheme) |
| = 021cda30457819a631e5bac3db6aec3d | ocamlx(Extraction_plugin__Table) |
| = e1f1b1347698764c752eb331016f1f2c | ocamlx(Feedback) |
| = 026f812259e508b4fd55c27ec1d7c950 | ocamlx(Find_subterm) |
| = e919c18a11248e5a3296f5c76758c1c0 | ocamlx(Firstorder_plugin__Formula) |
| = a5aa538616dc6cc6293de1559961e53e | ocamlx(Firstorder_plugin__Ground) |
| = 5e25d70b2b0291802ee32556edbedcf5 | ocamlx(Firstorder_plugin__Instances) |
| = ec6937f917c65eda2d0141271eb636ef | ocamlx(Firstorder_plugin__Rules) |
| = c959763ac9be5a1beeaa0883dbfa61c3 | ocamlx(Firstorder_plugin__Sequent) |
| = aa4df83022a20f1abe6a89a82ce7e218 | ocamlx(Firstorder_plugin__Unify) |
| = afd99d8f3cd8bab00628fa56aecb8559 | ocamlx(Flags) |
| = b80fa132d7fe71ac90c5113bf73b1bb8 | ocamlx(Float64) |
| = 191adc16e76cab9113a6b3b299e1a6ce | ocamlx(Float64_common) |
| = a8e2d3a111981a953f40c1c321ce0c36 | ocamlx(Ftactic) |
| = 6e567531739d8e8c686fa08252bf7134 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 7ede63d4ff1fb1655bcf706c5cfe071b | ocamlx(Funind_plugin__Functional_principles_types) |
| = e9a1244c5f8e748e7cc566c3f6ee6d44 | ocamlx(Funind_plugin__Gen_principle) |
| = 4afe3cbb28a648e74765e47b2cdb2e1b | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = d53bd5d1a3f57ea11b890dd0ed520e86 | ocamlx(Funind_plugin__Glob_termops) |
| = 8409c82563c640b5b8e29dc571b91697 | ocamlx(Funind_plugin__Indfun) |
| = 1027c98e76d442623d6ee377af0bfc37 | ocamlx(Funind_plugin__Indfun_common) |
| = 6e1c3f80b7e4a1c69eb333798b09f98e | ocamlx(Funind_plugin__Invfun) |
| = 798286ed2b5e82fa31514b98554303b9 | ocamlx(Funind_plugin__Recdef) |
| = 55a602d9ba289b11cca2b89b3bcc3859 | ocamlx(Future) |
| = 7b5e72b3dd2184a4639a1c8eabe69341 | ocamlx(G_proofs) |
| = 225c43d74076072c7fc81872b37fc6ca | ocamlx(G_toplevel) |
| = 4e27c7c8dc09d3cad0ef2d0203455dc4 | ocamlx(G_vernac) |
| = 739f3319fbb5fa7bda62298c8bdd56f7 | ocamlx(Genarg) |
| = cc9210531da957823e6fb49e27343362 | ocamlx(Genintern) |
| = 1c1c15671d1ad5912ccae4a4cbd6db3f | ocamlx(Geninterp) |
| = 0b22411d7d649cf4d3ddaf37384e7dd1 | ocamlx(Genlambda) |
| = e8c9e0f46dd7d16306855aa33a3a06ef | ocamlx(Genprint) |
| = 390f099b72418a8fc586be0b85a35489 | ocamlx(GlobEnv) |
| = 531414466abf133b95fbe3714d27a12e | ocamlx(Glob_ops) |
| = f59f2ec084bdeabc3251c4d0335c48e8 | ocamlx(Global) |
| = 781062d04193ff95c8b66f95d30fd3ee | ocamlx(Globnames) |
| = ea9aea3b6687b11fb38f16cc77c03198 | ocamlx(Goal_select) |
| = ca6916c65c294d56e23806f61f17e717 | ocamlx(Goptions) |
| = b18b4fff02caa54d015a82d2912e93b2 | ocamlx(Gramlib__Gramext) |
| = 384df28faaf86466263d2dd1984a6f5d | ocamlx(Gramlib__Grammar) |
| = 7b6df838ea172a1def89eb4ef5390e9d | ocamlx(Gramlib__LStream) |
| = 09815ac0f263ccac23e54cbee974920a | ocamlx(Gramlib__Stream) |
| = 39fe4a6915a88e66d8339e425a333a6c | ocamlx(HMap) |
| = cfc47b3ad5b6eae181e51257373a3dee | ocamlx(Hashcons) |
| = 469c6a6875ba78158ce276241cf2699a | ocamlx(Hashset) |
| = 7aadbfa2edbd1ad64df0d64a285124a9 | ocamlx(Heads) |
| = 53034515cece58d3f2321b8ba3555860 | ocamlx(Heap) |
| = d743d3e94b1a9cbe78804679b4823a02 | ocamlx(Himsg) |
| = 2bfa4391d74fcd4dec9ac0467adc831e | ocamlx(Hints) |
| = 26def6e6ad211799add7d1c1f4a173e6 | ocamlx(Hipattern) |
| = f521bc0d917c73b1821de9bc73dcba7e | ocamlx(Hook) |
| = ee7490c5c8bce0d573cede66b2d01ffd | ocamlx(IStream) |
| = b7a6fa609f6cca7abfdc72dc371d475d | ocamlx(Impargs) |
| = 6472b6aeb6c61aa44d1af680dd7b2ab8 | ocamlx(Implicit_quantifiers) |
| = 96cabfcf3f6ae76eb9ec4c19f351decb | ocamlx(IndTyping) |
| = ef5abcbead38c3988935c7532cd39f2a | ocamlx(Ind_tables) |
| = 379282c4c0850a93beaf72050b2b0068 | ocamlx(Indrec) |
| = 9d793fc048b32571c326887814c5c6e2 | ocamlx(Indschemes) |
| = a305b8b36c00ad1eba50d3199db74bae | ocamlx(Indtypes) |
| = 5df6a139f2f599d7dc249bb246a63ab8 | ocamlx(Inductive) |
| = 9f2a5c0730f3d85b6a12e2ba36063159 | ocamlx(Inductiveops) |
| = 7b47ecb74b2d71d2c0a1a729da5f3bb9 | ocamlx(InferCumulativity) |
| = e9d99b8c9341bcea891f3c402ddac40a | ocamlx(Int) |
| = 42f43c6aed84eff2e0e907fd2b1c5d80 | ocamlx(Inv) |
| = cef8ed1e5d84fc85cc311dcc82776348 | ocamlx(Keys) |
| = 9aabb25ba6b30436df257d5fbcd4433e | ocamlx(Lib) |
| = 979167032073e69a4757eb40ca3c5441 | ocamlx(Libnames) |
| = 92e86fd51e2f06e4d4a4ce19d6acf5a1 | ocamlx(Libobject) |
| = 7dadd8cdf13843b0801452eb5d709286 | ocamlx(Library) |
| = 3fecf5e630a1c65ee4585b7de8a3d499 | ocamlx(Load) |
| = 4001879625c55c8b92a38180bd0d2dbf | ocamlx(Loadpath) |
| = d72bc3186cc4f53772f41868e2d0689a | ocamlx(Loc) |
| = cf33449e3fa14c899dfa6d70f50ab989 | ocamlx(Locality) |
| = a73a9c86b723f3b3112c3dbc81fda376 | ocamlx(Locusops) |
| = 770620d619ebfc0cb06a998b142d8999 | ocamlx(Logic) |
| = 5e82f53ebb9a585a39a67c15675df824 | ocamlx(Logic_monad) |
| = 094e3fffae5f0045da1b4df4f8955cba | ocamlx(Ltac2_plugin__Tac2bt) |
| = 5cb41852771913707c013f86c81ce801 | ocamlx(Ltac2_plugin__Tac2core) |
| = cad2d2a6fe8a4022c114a92bc72e4a81 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = 175225da6e2c4a70074c0e5b82ee537a | ocamlx(Ltac2_plugin__Tac2entries) |
| = 41dc6c1fcb1043f923c4f7d1c4080d57 | ocamlx(Ltac2_plugin__Tac2env) |
| = 36e9f93c8df9610694f0d9579bbc3741 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = 790f3b6a99a9796830c58332f0d92522 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = d24b1d565219081eb2cb9aa99481c728 | ocamlx(Ltac2_plugin__Tac2intern) |
| = 9612e73b04677b29b8b40d3e9651951e | ocamlx(Ltac2_plugin__Tac2interp) |
| = 4af81a4b4b1be8e29c748e0a64d3557c | ocamlx(Ltac2_plugin__Tac2match) |
| = acbd333345844a3afccaf4c8a337db47 | ocamlx(Ltac2_plugin__Tac2print) |
| = 5056315b812c05534a9eb7b34d0812e1 | ocamlx(Ltac2_plugin__Tac2quote) |
| = 4ff8bfa9a5fdd8c955616b0a609451fe | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 523f6ff52ce54845f485de58494ef49a | ocamlx(Ltac2_plugin__Tac2typing_env) |
| = 1b5de9532a1fdbe96940de9952881892 | ocamlx(Ltac_plugin__ComRewrite) |
| = 10b8bafa7812a05e2be26103178ce85d | ocamlx(Ltac_plugin__Extraargs) |
| = 6a4a1be7de06a83dd00616175fb6ae6d | ocamlx(Ltac_plugin__G_ltac) |
| = 1cb087a8468be7b0efdfcc2ff1f99dec | ocamlx(Ltac_plugin__Internals) |
| = d68a29f5af29f1fdaf4cafef8206980d | ocamlx(Ltac_plugin__Leminv) |
| = 4d78c19a6cdd7b4d8b23643d1a0c042a | ocamlx(Ltac_plugin__Pltac) |
| = d1c00af13c04c5f5bd7093ebb2748445 | ocamlx(Ltac_plugin__Pptactic) |
| = fc37d6bb16e8fbc8c3a728131eceb623 | ocamlx(Ltac_plugin__Profile_ltac) |
| = 94f54b87359d7e60c1c3cbd50d2874dc | ocamlx(Ltac_plugin__Tacarg) |
| = 7748a4a27b1672fc0a42abdea1ba46c0 | ocamlx(Ltac_plugin__Taccoerce) |
| = ef20d917d42c3fbe4f0e87da0f61cfbe | ocamlx(Ltac_plugin__Tacentries) |
| = 0a69340dbccc574bec0c200ae349120b | ocamlx(Ltac_plugin__Tacenv) |
| = d659fc806d7d28b5e1010c30056e7462 | ocamlx(Ltac_plugin__Tacintern) |
| = 9e81d9e9c0912f9039491ba8f1c8de2f | ocamlx(Ltac_plugin__Tacinterp) |
| = 6f76e2374665fd16861e98f6f2828e20 | ocamlx(Ltac_plugin__Tacsubst) |
| = 67a21928db8548f83c4ca8063f641cdb | ocamlx(Ltac_plugin__Tactic_debug) |
| = b38242be9a8c890b7208df61b5c55302 | ocamlx(Ltac_plugin__Tactic_matching) |
| = bd7df5e65fac36408b56b3a457bac31d | ocamlx(Ltac_plugin__Tactic_option) |
| = 529bf4e33bee1f9d039f40dad39a0f0a | ocamlx(Memtrace_init) |
| = f0d3ca8b529c19ee7f4e1462b43c85dd | ocamlx(Metasyntax) |
| = 164bea19c870e79490af98756ff49bf3 | ocamlx(Micromega_plugin__Certificate) |
| = 9d4e761f106d939e872c75664ab1330d | ocamlx(Micromega_plugin__Coq_micromega) |
| = 837b425aa20a78f2c786a1ca73035d3e | ocamlx(Micromega_plugin__Linsolve) |
| = b33e566cf0af525e853078ce58b61b0c | ocamlx(Micromega_plugin__Micromega) |
| = bb1d15abe58d6c36547501b42f9efb08 | ocamlx(Micromega_plugin__Mutils) |
| = dc28b29a1b6a50c12d367ce716e382cf | ocamlx(Micromega_plugin__NumCompat) |
| = a1c2782c88bcfeebd6cf14be00aa589d | ocamlx(Micromega_plugin__Persistent_cache) |
| = 195e83141bd63d15eb4777e6c8d17b33 | ocamlx(Micromega_plugin__Polynomial) |
| = faed8bf36fea0a0ec6b3653052dd34a6 | ocamlx(Micromega_plugin__Simplex) |
| = 1cf739dc6be486e88cd0d15af812a0c6 | ocamlx(Micromega_plugin__Sos_lib) |
| = 673f0445364553b3f9c6f87f72bc0ee4 | ocamlx(Micromega_plugin__Vect) |
| = 1c5cadd0b4122f4c7e16f3931a713e37 | ocamlx(Miscprint) |
| = 70db0856e5a9db6eb5eab1579e4b5ab1 | ocamlx(Mltop) |
| = bfba96ee5f774583e253ac65529a29e9 | ocamlx(Mod_subst) |
| = 30e536260e8e5c57e6d3d172b8246c83 | ocamlx(Mod_typing) |
| = 17869f50d27ad6f9334642f54e0a8bff | ocamlx(Modintern) |
| = 85ee555d523c2443424a86d3374db6b0 | ocamlx(Modops) |
| = 1531fd625fcbfec0386bc4416a03b238 | ocamlx(Monad) |
| = d4887f79c7b7fd0b490c9dee2268063e | ocamlx(Namegen) |
| = 121885b44cb4e55992732270d06feb95 | ocamlx(Nameops) |
| = 785ca50d662b3c0f661e8a3f6f09b469 | ocamlx(Names) |
| = f7cc8e1c89321bbccd48ebaf4f3fdf55 | ocamlx(Nametab) |
| = 040d348b8d1fb84ec230c8dd50e15596 | ocamlx(Nativecode) |
| = 17e17634f63bda217a91c472c4c44d82 | ocamlx(Nativeconv) |
| = 0994db222f8c5e7539f4e17652a28587 | ocamlx(Nativelambda) |
| = bf033c0f807c62b09495c75d16e2dc78 | ocamlx(Nativelib) |
| = c3eae5d6c5eed8c300e7105fdc64dd71 | ocamlx(Nativelibrary) |
| = cb33b07a820b73d3da08da8cb648f3b9 | ocamlx(Nativenorm) |
| = 3c2ad311235669cbdc67e989300115da | ocamlx(Nativevalues) |
| = 5d6354b31d34358bcb2f2711bd16a44c | ocamlx(NeList) |
| = a87b37b88c60824324f8d87bcea3eeb5 | ocamlx(Notation) |
| = bab7bb0646df3f054129bce794dc0804 | ocamlx(Notation_ops) |
| = 8257446c9cd66554f5ea2a10839b9bae | ocamlx(Notationextern) |
| = cb65dc54864ef486e5b468fa0cf2b6b0 | ocamlx(Notgram_ops) |
| = fe16d9be91c74b63cfd9eedc5c064776 | ocamlx(Nsatz_plugin__Ideal) |
| = 578220c1ac4b625641109bca7234f84c | ocamlx(Nsatz_plugin__Nsatz) |
| = 1583f4427389957f104fb59fae9af116 | ocamlx(Nsatz_plugin__Polynom) |
| = a6ca30d3cf30372d26975bb27b6b920e | ocamlx(Nsatz_plugin__Utile) |
| = 7b11f2547df4c323846f584fbbc8061e | ocamlx(NumTok) |
| = 96bd2bf9fa29d56b1220eff49c5b8ca7 | ocamlx(Number_string_notation_plugin__Number) |
| = 2b4757917afa4e8690401900b35a235f | ocamlx(Number_string_notation_plugin__String_notation) |
| = 6cd7c6d1df390b2322440b3d5dd589ab | ocamlx(ObjFile) |
| = e5e4462841a774d08b5a3800945b711c | ocamlx(Opaqueproof) |
| = a21f80f212072314c0ff3d97968ce76c | ocamlx(Opaques) |
| = df5eb2d73fefed70260934356ff58707 | ocamlx(Option) |
| = 2163d7fcc88818c7b14eb73574fc89cc | ocamlx(OrderedType) |
| = 78ea2a8f326efb9cbddb9a0ccd0801f1 | ocamlx(Parray) |
| = de12ca51769366f548779e6456a9b993 | ocamlx(Partac) |
| = 6a3849768a157828a5729d98d22e17f0 | ocamlx(Patternops) |
| = cc1211e8b0e3c0a2cf2f870e59525e5b | ocamlx(Pcoq) |
| = 94b7823fd36144450275ae3fdde83959 | ocamlx(PolyMap) |
| = 419fdf7aff0a53196f149e576ae4bb8c | ocamlx(Pp) |
| = 5e4a93cfb5099a48d716e33332ca9ea6 | ocamlx(Pp_diff) |
| = 6c3220d3cb8f93f23606ea810a9c2acb | ocamlx(Ppconstr) |
| = bb30a88cb7b492aec8f692e798af59fb | ocamlx(Ppextend) |
| = d826a922e28ef3309b10ea8e219197a6 | ocamlx(Ppred) |
| = f52d4126b07460e3171af105d47b3dd7 | ocamlx(Pputils) |
| = ee988b4f1539f0ed9b13adab5f2ea25f | ocamlx(Ppvernac) |
| = ab67d36eefa4d91ba66178d4d82a478f | ocamlx(Predicate) |
| = a2ba93d3fef3cdff06b96a5e60ec5eb7 | ocamlx(Prettyp) |
| = c0b81700017f6fc44f6e36355b5d675f | ocamlx(Pretype_errors) |
| = 45f49ff0d1a8908614e5b71d0bab3314 | ocamlx(Pretyping) |
| = 8ecc5cf8ab805421d315636404f5e4e3 | ocamlx(Primred) |
| = 08d3e54512588e6bd0974b37fd5ad6dd | ocamlx(Printer) |
| = f6dc95b93e412d01f9d1d48003f2f28b | ocamlx(Printmod) |
| = c379cf76bc8a06e0a8793de802d39188 | ocamlx(Program) |
| = 4dc197a7da50ce61dc3390a13053e42d | ocamlx(Proof) |
| = 64cffa08f04bcfdb3e179f8c83ea0952 | ocamlx(Proof_bullet) |
| = 156db8dee44f2cf9ec20352ed3904b3a | ocamlx(Proof_diffs) |
| = 2f613b2e924e5e164263597bbc426417 | ocamlx(Proof_using) |
| = ec0bf91a685de030939756a94f7f7d7f | ocamlx(Proofview) |
| = a4d617ef117433f7ba6058d76d054d3d | ocamlx(Proofview_monad) |
| = 3b957d52c625e9be65aa838485182fdb | ocamlx(Pvernac) |
| = 6dd7d79a7e38cd49dc1c73c134f5ae87 | ocamlx(Q) |
| = 3ab33b6768b6bd01171e9efaa5868197 | ocamlx(Range) |
| = ca9804e6b873fbfe463e58216249d44d | ocamlx(RecLemmas) |
| = 98f90654ed4d4c6f9065ffb7aa64d22d | ocamlx(Record) |
| = f4a65d2f9dd9036fb0c58aa9eb11b522 | ocamlx(Redexpr) |
| = 6257b021f1a835c03f3cdd326d9909f4 | ocamlx(Redops) |
| = 71b4b1af0f0dd4ffe030e4132ace4ae5 | ocamlx(Reduction) |
| = 7b448095efbbc01f356f12d8628febfe | ocamlx(Reductionops) |
| = 63192751b57b7b1b828f7698877ebcfb | ocamlx(Refine) |
| = 9ba915b9742d4dadccf83cc08ad42207 | ocamlx(Relevanceops) |
| = 9759ca48828c295a8b95114b7aa5b811 | ocamlx(Reserve) |
| = 4e78c46e773a218263fd0a3d9b9352b0 | ocamlx(RetrieveObl) |
| = f6f85197e83f77b5c41746feccf7ea3f | ocamlx(Retroknowledge) |
| = 375012209fa5d859f9491d6d6bfaffde | ocamlx(Retyping) |
| = e3e5475372f75f05e641f1d9d5437d2c | ocamlx(Rewrite) |
| = 3a7d095e4a6d6d7f7f3069f1132b3b59 | ocamlx(Ring_plugin__Ring) |
| = a2ac07bbe2c11cbc6d941a6ff4c9f754 | ocamlx(Rtauto_plugin__Proof_search) |
| = 3d10daf99b8a3f127a10ea722acc5bf0 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 78c49df5d574515d80c7db6946d5bf7f | ocamlx(Rtree) |
| = d0f944bace0156dbba61bcedfbba80dc | ocamlx(SList) |
| = 5b3930d9b1c6c07732a8924c04f72d54 | ocamlx(Safe_typing) |
| = ce49a8db7ea9331594d8db64b6c4aa14 | ocamlx(Search) |
| = d449079bfd7cf09512d3f84139d7a10a | ocamlx(Section) |
| = f21f1b28099ba9db638e2bb02915a529 | ocamlx(Segmenttree) |
| = 79e38c2de1779dbc2e59c95b134a8be1 | ocamlx(Smartlocate) |
| = 2a062897e4b871c222f2ad2fba9fc6d2 | ocamlx(Sorts) |
| = 364038e96dc45d7fc8935e3a95af4d39 | ocamlx(Spawn) |
| = ed7e4cfccda3dca18d8af2d73a21876e | ocamlx(Spawned) |
| = 16ddbcac2ed1db733c2e534cbebe54c7 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 7ebfcc74fafad240c964018c9436d405 | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 96aed2fef57647a957a316badf51b2e5 | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 20fef1b1c24da098c88c6b0053994223 | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 8953e64258863274f592910db7690130 | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = c38c1058cf4fe6377cacd9e90744468a | ocamlx(Ssreflect_plugin__Ssripats) |
| = dc97e1324b1a99a1c42815ba74beaeff | ocamlx(Ssreflect_plugin__Ssrparser) |
| = 7aeaac54f8a8f44fc77a2542a384f1c2 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 466fe1196e612e1cb9e01e44180d48c1 | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = f6222e63d3a507f14bfbaff77b0eea1c | ocamlx(Ssreflect_plugin__Ssrview) |
| = 8c803f7d997ada7369ed7938d14019fd | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 01d7cb92320125bd85630456a0a36572 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = 8a6cfa1023aa999633213c8ccbc3b77d | ocamlx(Stateid) |
| = 0e4cb886eca10928e348477a9ba04a31 | ocamlx(Stdarg) |
| = c6f226e44d674edd1d531948ff863828 | ocamlx(Stdlib) |
| = 888f09bbed5faa92247fb11d913bbe54 | ocamlx(Stdlib__Array) |
| = b408aede49ea6c933a86ec2dd65b7cda | ocamlx(Stdlib__Bigarray) |
| = 3bbe0fd85e51b1403af1226c5d608789 | ocamlx(Stdlib__Buffer) |
| = cb1095d933ce955029ed699727baead0 | ocamlx(Stdlib__Bytes) |
| = 9d509a8b8f129bee104d1c5e382565e5 | ocamlx(Stdlib__Char) |
| = 5adb267e71b45b85e67c0e392d51487a | ocamlx(Stdlib__Condition) |
| = b71b113b4221f59923bc674f67cdc511 | ocamlx(Stdlib__Digest) |
| = d7f8796322f2cd99efcf341f8e42acf4 | ocamlx(Stdlib__Domain) |
| = e89d97a3ed975536fa9b054b04d01689 | ocamlx(Stdlib__Ephemeron) |
| = 1a0948a06efab72702b15994c0522f5d | ocamlx(Stdlib__Filename) |
| = c94bb08665553c56dece8353dbff3b32 | ocamlx(Stdlib__Format) |
| = 6df881bdc3f690eb14e929330473335a | ocamlx(Stdlib__Fun) |
| = 19cc825fc8eda58764714133c836daf6 | ocamlx(Stdlib__Gc) |
| = acdc6437bcb9e7a81c6ed8660e82b471 | ocamlx(Stdlib__Hashtbl) |
| = 99632de13ac495e76e51b159d0c9d045 | ocamlx(Stdlib__Int32) |
| = 34583d780fb32553cca7b01d146bc5d2 | ocamlx(Stdlib__Int64) |
| = 3b140d54ad55fc79336655b321ba4251 | ocamlx(Stdlib__Lazy) |
| = b78ab95aebcef67de9b99ec053edb534 | ocamlx(Stdlib__List) |
| = 7b1e4df07736a72638c021a5a9ffbccd | ocamlx(Stdlib__Map) |
| = c77767ad4a192fdd891143b9441fefc8 | ocamlx(Stdlib__Marshal) |
| = a9c4a3c47a6cb448397f79c1ed915691 | ocamlx(Stdlib__Mutex) |
| = dc9e0059b8bcfff0535b76d7f47c1795 | ocamlx(Stdlib__Obj) |
| = dbd2965d5e68fda0a54826680cfe3254 | ocamlx(Stdlib__Printexc) |
| = 662e9ca31ecdf5f11c9788ed827feb11 | ocamlx(Stdlib__Printf) |
| = 968e2f724fd81b382edfc126f84c80d0 | ocamlx(Stdlib__Queue) |
| = 2617b12d0fefbf237d757668e0688155 | ocamlx(Stdlib__Random) |
| = 55131967f1d2c2ee19530e547a5db468 | ocamlx(Stdlib__Result) |
| = 194cd750fb6f7e70c46fdc85aa1a0a95 | ocamlx(Stdlib__Scanf) |
| = 97f28c73dceb6fdb51985a1ca0c2f52d | ocamlx(Stdlib__Set) |
| = 018afd60df09186eaef4d0d459f62321 | ocamlx(Stdlib__Stack) |
| = ff814de8355985ea0e450e0986a59446 | ocamlx(Stdlib__String) |
| = 318f20829e5e32f065cd5b00f4538f80 | ocamlx(Stdlib__Sys) |
| = 1662d917b454dc90a83a0e89c6e379ed | ocamlx(Stdlib__Weak) |
| = c8d28b9bd5d8d64c1c996ff71bc0dc7f | ocamlx(Stm) |
| = d4bb645db0fa1ab199620ab7acd9bb6c | ocamlx(Stmargs) |
| = 7a6414c41956de3e4e739e527f88c18c | ocamlx(Store) |
| = 924f01c074dacb70584a6f40220f4c26 | ocamlx(Str) |
| = 0bbc801bb04e6b41c9ca3f4c96608cff | ocamlx(Structures) |
| = dcf84daef2bc91d69c7cd28c6e003561 | ocamlx(Subtyping) |
| = 67be684190e306e7bb1aebd1a7cc0dd7 | ocamlx(Summary) |
| = e6457fc2f1a7d278e650961e280356e9 | ocamlx(Synterp) |
| = 2e97e27e9538e9f6bdd679c8f507b5b2 | ocamlx(System) |
| = f7f6e860d725a443e796b86bdd23f510 | ocamlx(TQueue) |
| = c92652673cfbc267167d8ed065513779 | ocamlx(Tacmach) |
| = af0c186c1f59882ff427409c8626e41b | ocamlx(Tacred) |
| = a23530d15009873508122f6470f7e8b1 | ocamlx(Tacticals) |
| = c0ca09dcd7d3f6b39e81891c7eb3b992 | ocamlx(Tactics) |
| = 75cc61d7e28aad19c4dc59cf6d6bb39f | ocamlx(Term) |
| = dc2f054a79a7003b3463e64b3de01843 | ocamlx(Terminal) |
| = 992d1656087f77f2d90abcd901eadceb | ocamlx(Termops) |
| = c76409bc97dd32b0ffc37ebf09a0b9db | ocamlx(Thread) |
| = b80c78d31d9d9fd5e6e1e6bcc24829fb | ocamlx(Tok) |
| = 896fec45410e203a8bfbd4dc43829fd7 | ocamlx(Topfmt) |
| = da5557a7124df6c408f1be20d035e448 | ocamlx(TransparentState) |
| = 3895062cc3abedbc3247191ea017dee9 | ocamlx(Trie) |
| = 302bcd872753aa64110ab842be687178 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = b841df3a5e05b580062a8556b5e535da | ocamlx(Tuto1_plugin__Inspector) |
| = e4f46ec39cd0b8f48c61cb5819046570 | ocamlx(Tuto1_plugin__Simple_check) |
| = 0567b7a4250f25ea97f70950036f93e1 | ocamlx(Tuto1_plugin__Simple_declare) |
| = cc05d64e75a6f36845061302a4d36552 | ocamlx(Tuto1_plugin__Simple_print) |
| = b03de40da6b65f0f30e9f0a86caf4c1a | ocamlx(Tuto2_plugin__Counter) |
| = 92c975dffed017acc60a133498135426 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 68498c1858b0d72945ee03dda2fc7dc6 | ocamlx(Tuto3_plugin__Construction_game) |
| = cfe1a3be67683bd94624e55d9947f4e7 | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = 38b2ed17bbc42ee2fef5bd31cfa34997 | ocamlx(Type_errors) |
| = 09218934dea1b741c77b7775773e6a17 | ocamlx(Typeclasses) |
| = adc57db681f91e5eeb9a1a415286d8a5 | ocamlx(Typeclasses_errors) |
| = 0eae55ba06c1c3e1d4e6d9866a9f43e0 | ocamlx(Typeops) |
| = ac86ba2a07f61c153656cc4621a30f19 | ocamlx(Typing) |
| = c2611f231532a9e143d3b34125f50d8a | ocamlx(UGraph) |
| = ee2ec5bc29199ec5a7e83c49c7a10378 | ocamlx(UState) |
| = 2a57dbb786b1c670b4c0cf6019624daf | ocamlx(Uint63) |
| = 7ad40dea3041af4bfe0c48875a277d2f | ocamlx(Unicode) |
| = e39cbbfff4023c88469f7c1d4c7ce266 | ocamlx(Unicodetable) |
| = 8b0ff64756f3df5ff9af93d30dcd3f8e | ocamlx(Unification) |
| = 8246f3486bf7e2c27d9e11279783297e | ocamlx(Unionfind) |
| = 7b0dffcb374df7460ed7d43485d86e09 | ocamlx(Univ) |
| = 4a117004a5b01383ea20342d5b0fb448 | ocamlx(UnivGen) |
| = f7492f3ad1c77c357680cf526cc369e4 | ocamlx(UnivMinim) |
| = 1a90ca329ad46db4524f363f66af2d6b | ocamlx(UnivNames) |
| = b77a2e1d7ec12cb87b38884c6a6719d7 | ocamlx(UnivProblem) |
| = 953a2bd1190ffba7ee06eab64c955509 | ocamlx(UnivSubst) |
| = 0fcc9ad8081b664e01ea70f9c9f893df | ocamlx(Unix) |
| = 44b5822c32cc6176e4a217380ca5890d | ocamlx(Util) |
| = a43ffad5169d71ea48509c01cd86b5bd | ocamlx(Vars) |
| = bc4e30f7a66d3b86d77267811381499e | ocamlx(Vconv) |
| = 8d08cf5eb87db66e324ec3377246e2a6 | ocamlx(Vcs) |
| = fe9ad71ce808e9cc404eff40ccc33ef6 | ocamlx(Vernac) |
| = 9f0ad8b3f8e698c6e6949473c6c09bd1 | ocamlx(Vernac_classifier) |
| = c0581a6052c9c2563c2500a835b8b8fc | ocamlx(Vernacentries) |
| = 7263c71528cb1dcd0f9643a65a6ca669 | ocamlx(Vernacextend) |
| = 4e02b750ddf9af1c0e5180aed76d259f | ocamlx(Vernacinterp) |
| = 808cf8342aa7d3eff0dd22ee74eb91a9 | ocamlx(Vernacoptions) |
| = 7ded7e247a70a5358f2c2f8d67fcc2fe | ocamlx(Vernacprop) |
| = f4aeced977e685124b837e7e72a9a567 | ocamlx(Vernacstate) |
| = e416cc4a0537670f16c88d37a2f762ff | ocamlx(Vio_checking) |
| = 08f603437213a5b3f5c025023714a129 | ocamlx(Vio_compile) |
| = c9cb076fd366b35748d82a7401eb5b2f | ocamlx(Vm) |
| = c954768a6cbf7a843800fc272851c704 | ocamlx(Vmbytecodes) |
| = 3b213fded760063a03cee8dbb22015dd | ocamlx(Vmbytegen) |
| = 82d76c25e7cfecc8f647f2eefe0a68ba | ocamlx(Vmemitcodes) |
| = 685982d8c3d0787cff64179ef865e16a | ocamlx(Vmlambda) |
| = db2da2bba6fd8feff297d1266de1de83 | ocamlx(Vmopcodes) |
| = 80edcd23aec8f5cc5f73581d9baf5a69 | ocamlx(Vmsymtable) |
| = d87a28b37471e746a1cca02840ab41f4 | ocamlx(Vmvalues) |
| = 731dc14bcdd3c515bf83c39f7f7cbf4a | ocamlx(Vnorm) |
| = 304e5cffad1319746425937b38a3833f | ocamlx(WorkerPool) |
| = 6198bfa6e30905f220cf5f1cd3d005f9 | ocamlx(Z) |
| = b99bf62d3843690133136590bd889e54 | ocamlx(Zarith_version) |
| = 0bb260135803a8f0ae8cc4233cd7156a | ocamlx(Zify_plugin__Zify) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.18.0-1.fc39 | coq-core |
| = 8.18.0-1.fc39 | coq-core(x86-64) |
| = 873cb7ddab0343f33c9c7cc381de5b05 | ocaml(Abbreviation) |
| = c7f702ea9dc1489c3b2ca4cc3984100d | ocaml(Abstract) |
| = 392150c230c7b773614b8132b5050594 | ocaml(AcyclicGraph) |
| = 2bde0c790e571af4e87b6fc7bda5b024 | ocaml(Arguments_renaming) |
| = 15f4405e819bf251ffc442bb4f619831 | ocaml(Assumptions) |
| = bc2cad92fd259b84de12b4a3b59cce61 | ocaml(AsyncTaskQueue) |
| = 730265eec2e3da042cdd0f8a8c134f46 | ocaml(Attributes) |
| = 916d916aa8f133719e64cdcaa0b5297e | ocaml(Auto) |
| = 958516e75f1f840227b635ab59330132 | ocaml(Auto_ind_decl) |
| = 796bbefa57187ab9b56444ffddfdb8f3 | ocaml(Autorewrite) |
| = 446a9bc1bca7241dbd82226640d34b8d | ocaml(Aux_file) |
| = 43145732bb85209ab41a902e180a47fc | ocaml(Boot) |
| = eeff6b49448b096ab1f7cf11af339b79 | ocaml(Boot__Env) |
| = 5e1b06b3dd1afae49008507b4839c3b6 | ocaml(Boot__Path) |
| = 106fe5d619dbada8e803243a726307cc | ocaml(Boot__Usage) |
| = ac2f9d413b44a66612a610fb30444885 | ocaml(Boot__Util) |
| = 53003820aa5511da965c3279d86ecece | ocaml(Btauto_plugin) |
| = 1463bcb1ab991ada0443329b21ee4ad7 | ocaml(Btauto_plugin__G_btauto) |
| = 1ec5b7751961344e6f6e4517abfa86db | ocaml(Btauto_plugin__Refl_btauto) |
| = 04977a8296a8c21fd5979578fc19699e | ocaml(Btermdn) |
| = 6d58569e3639e38decf1a0dbacbf0726 | ocaml(CArray) |
| = 42d6ecfe3ce9d100a355b5990a884114 | ocaml(CAst) |
| = 5f02da07dc25d0af177e5b431bd2ca7d | ocaml(CClosure) |
| = 326079a49c3f190b8b7ab5844c584942 | ocaml(CDebug) |
| = 93e20cd55896e94be0d04b06c6571279 | ocaml(CEphemeron) |
| = 00917bcf8ba9a78b4ea100f83590b566 | ocaml(CErrors) |
| = f77e1d27f3ce84e91131fb23dda42504 | ocaml(CLexer) |
| = a7a0c48b94e35b57bfb2bc2689d58cb7 | ocaml(CList) |
| = 56aa025417b342f792402ad3a956066e | ocaml(CMap) |
| = 1ffe6496dc68e0493a0b7dd654261007 | ocaml(CObj) |
| = 07235103f046552da753e83ad1b62004 | ocaml(CPrimitives) |
| = f65c51ee4bce727d8b9088a358e5ef4f | ocaml(CProfile) |
| = 7d7be9cc23fb38e10753233bf859750e | ocaml(CSet) |
| = cbe0b0a079f2ef2dcd13f42ae80840dd | ocaml(CSig) |
| = ba1439e877c8deb15a04b63ae44497cb | ocaml(CString) |
| = 9369628f10c527279600dd048e6a87bd | ocaml(CThread) |
| = 02c1e8f824a500e558673c6fa375775f | ocaml(CUnix) |
| = 360d9e855470374f7e15382e6a31506b | ocaml(CWarnings) |
| = 4ac53fc6e396c241e7ace9c4b7273412 | ocaml(Canonical) |
| = 261c05c1a2689525bddd94df83e0f720 | ocaml(Cases) |
| = d34af3aa5224bfbe0a2ff225194152e6 | ocaml(Cbn) |
| = c2c35d90e2a96c1d1cae9dbdbee98da2 | ocaml(Cbv) |
| = cf0c15430522205e4ed7cc115dd5420f | ocaml(Cc_plugin) |
| = b530a65d325960b5c541084c0d8179b1 | ocaml(Cc_plugin__Ccalgo) |
| = 18c90a579ac3534f7b6bb9bf66d6d046 | ocaml(Cc_plugin__Ccproof) |
| = 703837fbdd8c7f38b8c76071c4d6af55 | ocaml(Cc_plugin__Cctac) |
| = fdd27d14770326f7c23efd71a275e6fb | ocaml(Cc_plugin__G_congruence) |
| = 5d3510ca45c5dad41e8d1049e8acae94 | ocaml(Ccompile) |
| = 058933c9284eb15e2d829d63de80f9d0 | ocaml(Class_tactics) |
| = 5cc5d7191c4b7ced8a4126121845bc12 | ocaml(Classes) |
| = e80f8df23ad011ae72602f8b749f481f | ocaml(Clenv) |
| = f31fc315266a2bd327085dd4d6d9c82c | ocaml(Coercion) |
| = 3f4b790f488db7e835774cc53c561179 | ocaml(Coercionops) |
| = 56d65134ea11ecaaf87832feebcc1b19 | ocaml(Colors) |
| = c1534e63f6e31a8e6199e7696775a97e | ocaml(ComArguments) |
| = bf9848903fdec5bd86b1c33a4037fa47 | ocaml(ComAssumption) |
| = 0a4bd41ed64d2fa7331dc95cba9c3982 | ocaml(ComCoercion) |
| = 2107efcc8cb5cf520ee8d0c871c29a10 | ocaml(ComDefinition) |
| = 374de6d14aa52d44a10ce7a3a19897f5 | ocaml(ComExtraDeps) |
| = a8010fd22fd709a57545ed29ff2bed49 | ocaml(ComFixpoint) |
| = 4d5af008b55c407b716c6afdc0138bc5 | ocaml(ComHints) |
| = 1b82fa5a358d5208897aa25ab8aef30b | ocaml(ComInductive) |
| = 68675d27ceef46d2869331c1a910e83d | ocaml(ComPrimitive) |
| = dbe21a869d174d22f8e5d4f5372c4119 | ocaml(ComProgramFixpoint) |
| = 0715da71a938ca0dac2468bedbaea96c | ocaml(ComSearch) |
| = 07a9bdba58dd11bfb27eee213175909d | ocaml(ComTactic) |
| = 16fec060dec5acfaf5a67a4c863cc73c | ocaml(Common_compile) |
| = 17c325a2333f6346a22dabcc205d0809 | ocaml(Constant_typing) |
| = f7420182b69f0d3646c935cd7b59745b | ocaml(Constr) |
| = 7489d42882d335012da88d04858f7b15 | ocaml(Constr_matching) |
| = f19d3c6b7b2f9c73b4d81d5072fc7969 | ocaml(Constrexpr) |
| = 9329f0463bb93bebe8c288e29bf5823e | ocaml(Constrexpr_ops) |
| = 29c0c0d4ad89971e71edccb6c22b0b4c | ocaml(Constrextern) |
| = c6d0cd9c635fb2a8e83830f9fedd9565 | ocaml(Constrintern) |
| = 3d39efc23f824b02c82114025f1ecac4 | ocaml(Context) |
| = 9d1aa637ab98b676319a1d1883c0f725 | ocaml(Contradiction) |
| = 705fecc4af18942904bb999ae7333291 | ocaml(Control) |
| = 710e6424928355e4e79f94fc54e3996f | ocaml(Conv_oracle) |
| = 0e64c1e86b9425ae4be9b3521e2fc857 | ocaml(Conversion) |
| = 2a47249e98b3be9e170d34cd4d9a6ef1 | ocaml(Cooking) |
| = 5b979c98e257ab13051a2b63c826e2de | ocaml(CoqProject_file) |
| = ad63fb43db20783159b0795a5ff28af7 | ocaml(Coq_config) |
| = 7dda718f8676fc8734519980846375b8 | ocaml(Coqargs) |
| = 98973a75ea537f0e53213d01785a2921 | ocaml(Coqc) |
| = e4fbb80c91d8476a3f5cfcaaf6e044eb | ocaml(Coqcargs) |
| = b50bc6407970fee5137d7369c1e081e6 | ocaml(Coqinit) |
| = 5bebc4a384c77c5330739cc72ad255ce | ocaml(Coqlib) |
| = cd5317c42432329d8ae596b3cc9fc087 | ocaml(Coqloadpath) |
| = 39962a1a4c281abee2b8e4296a7b73ac | ocaml(Coqloop) |
| = 45f89ccccea01acf5853212d5cbabc26 | ocaml(Coqrc) |
| = 2f30185ef61f26aadab594d842c6f4d1 | ocaml(Coqrun) |
| = 38f9c06d17ab2c517f3d32d5b2ada16f | ocaml(Coqtop) |
| = 49de4eead2e6f33da68e7afac042c450 | ocaml(CoqworkmgrApi) |
| = 80ff6829d6e486ac5603f01e61095ce7 | ocaml(Core_plugins_findlib_compat) |
| = 2f2b7acba36e311950e44668c73498db | ocaml(DAst) |
| = 18c1f55fbe60e9d9b988164d316e1cad | ocaml(Dag) |
| = 5b7192faaf31fccd63ad285c9cd83037 | ocaml(DebugHook) |
| = 9235ebed91210dcb1116cac6b9f1ff52 | ocaml(Declarations) |
| = d63daa907f5178bf92cad80835b83e89 | ocaml(Declare) |
| = 6ab0a9c1ec9ad5b36e730402bd628adb | ocaml(DeclareInd) |
| = a219447b6c78a4eab3af89bdbf3bda07 | ocaml(DeclareScheme) |
| = 9d3763f3a19578cbe7fb3bab1635ed3a | ocaml(DeclareUctx) |
| = 17eaaf491f73a7bb3a75cb3570c3dcb7 | ocaml(DeclareUniv) |
| = 56f94fa38dfba52fbbd1ba4b373560fb | ocaml(Declaremods) |
| = b07c0fd60e6a2f8af9f5c994e3fb2f7c | ocaml(Declareops) |
| = 7079ec08ffb13ce1605792ed809e58e8 | ocaml(Decls) |
| = b15ef9256df466a8fb4166c91d2d6585 | ocaml(Deprecation) |
| = 78d505fae5f5bf6eecf03a786dd27bdc | ocaml(Derive_plugin) |
| = d9bcca1987d7067e7d7a5a7d4112ad74 | ocaml(Derive_plugin__Derive) |
| = 5e462773d20c018fcd435b2ff03b6166 | ocaml(Derive_plugin__G_derive) |
| = 3b6fe8eb4a2271c5b926298fb1f6e83c | ocaml(Detyping) |
| = 926b80ac1ee1ed0ac9c0f26e9c85f74a | ocaml(Diff2) |
| = 1a0056a8e9a7820165d2bd1dda1f9261 | ocaml(Discharge) |
| = fc829bfd97349dafa693029ebea88f2f | ocaml(Dn) |
| = 7c33431d9bab53ffe442f1e16db6f418 | ocaml(Dumpglob) |
| = cbf19b204d91d94e8817b26f32a8ba9c | ocaml(Dyn) |
| = 7dc851b04295db22682ce3c2565c9294 | ocaml(EClause) |
| = c828561535e94b6bb6037ca74c3dc755 | ocaml(EConstr) |
| = c31bbec7603a0eb07fbabbf44f543506 | ocaml(Eauto) |
| = 415ca3186196a8ff2636eac1ec5eeb53 | ocaml(Egramcoq) |
| = b7b885e329a146c033f945a8ae3a33f0 | ocaml(Egramml) |
| = 2eb43ba996d028eb0825bfb886da3377 | ocaml(Elim) |
| = aebebc7f1d099cb9e5f6172430defb36 | ocaml(Elimschemes) |
| = 686565494ada419160a018901fb8a7cb | ocaml(Entries) |
| = e538c014f2559e2d5bc451f89f378e01 | ocaml(Envars) |
| = 83aaa9e324085d2b14616342f28d3fb3 | ocaml(Environ) |
| = 8a4cae73cf891d4ac85e563a201a4b5d | ocaml(Eqdecide) |
| = 811582521d92ecb07405853b713a9c75 | ocaml(Eqschemes) |
| = c2751a2f74dfdcda1741a60f0fed5949 | ocaml(Equality) |
| = a549cc4681bd9d26223a774c2293c7d0 | ocaml(Esubst) |
| = 936b4695f5e968c33ce133feca72b7e0 | ocaml(Evar) |
| = c973ae08e81b47c22640985418fb723c | ocaml(Evar_kinds) |
| = 28bf67afa904e5460de197a68820355e | ocaml(Evar_tactics) |
| = 0ff71a020658c945fed4a9fc0b5eec5d | ocaml(Evarconv) |
| = 156f4c10177df214d4b5a70fbf8e3ee1 | ocaml(Evardefine) |
| = 5a6518f834013128cce6f0cb7653cb8e | ocaml(Evarsolve) |
| = f57cc4e3212a18a2f246ff62f7aa6385 | ocaml(Evarutil) |
| = 4bf57d086fdc5fb953540e310c0e0dfc | ocaml(Evd) |
| = 38ad6517d5220e43e479a1d0d18b8b8c | ocaml(Exninfo) |
| = 3831d7e350ed8543105c96a41bcd8c33 | ocaml(Extend) |
| = 4fb746e4e16b143b502f71babff015f2 | ocaml(Extraction_plugin) |
| = 5792721f87060a1ebeb7d721141d901a | ocaml(Extraction_plugin__Common) |
| = 2c9d0e2dec2dd7598b376f0e75293c8c | ocaml(Extraction_plugin__Extract_env) |
| = 68f1b5c9de5af51aeec48098dcb9c445 | ocaml(Extraction_plugin__Extraction) |
| = 567f06e828e45d3357d0af30616842b1 | ocaml(Extraction_plugin__G_extraction) |
| = 646c8d9e52bbfd16ba63bc12a52c0b75 | ocaml(Extraction_plugin__Haskell) |
| = 6e32cf19051229aa29640d0393118a1b | ocaml(Extraction_plugin__Json) |
| = 20690ae2d2027a79547885d0625d3287 | ocaml(Extraction_plugin__Miniml) |
| = a5cc6f9cba3a04ed434632c4041b88e7 | ocaml(Extraction_plugin__Mlutil) |
| = a33020401ec2db6564c941a674cf43d4 | ocaml(Extraction_plugin__Modutil) |
| = 9cdd22bab31f0b970c3d88e0740f4561 | ocaml(Extraction_plugin__Ocaml) |
| = 5133c79607319e76be02c2d4d0245218 | ocaml(Extraction_plugin__Scheme) |
| = c0b023e1517594601ae14945b252c7e3 | ocaml(Extraction_plugin__Table) |
| = 369f881d87535e3db952615840ea3253 | ocaml(Feedback) |
| = ed1d3df932575b780c96c9e655e6b112 | ocaml(Find_subterm) |
| = e05c81e95287e0ca858b963a11d30b9b | ocaml(Firstorder_plugin) |
| = bc9ef7b9b945531e01fdfe2fed3f5861 | ocaml(Firstorder_plugin__Formula) |
| = 7f2a2cb3126e4977dc37fc24860b06e9 | ocaml(Firstorder_plugin__G_ground) |
| = 45dd11fd174cd303d6be8adedd3bc09d | ocaml(Firstorder_plugin__Ground) |
| = 16a0555ac91f3d82c4212d483095cd32 | ocaml(Firstorder_plugin__Instances) |
| = 5bc6915483e1c348032e9ab5cd4564bb | ocaml(Firstorder_plugin__Rules) |
| = 3276c0b3ecdfb90195569b7398ddf47f | ocaml(Firstorder_plugin__Sequent) |
| = b49c22f194cf156ced92256ff673cff0 | ocaml(Firstorder_plugin__Unify) |
| = c907da5a8270a3e5bc621d373497aaec | ocaml(Flags) |
| = 84d6570848e9511aae54659b18a17c2d | ocaml(Float64) |
| = 7ab160f0bba98a2ade77c0f37bdc2b75 | ocaml(Float64_common) |
| = 8401680cca79c824c5b71cc932e9a25e | ocaml(Ftactic) |
| = 2d39469b088ad4d6259390e5af5d34ce | ocaml(Funind_plugin) |
| = 73c0b7ad90c37ee83b3e5e699804bce0 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 94f2adbaebaf120bfa5d80823f24a4fd | ocaml(Funind_plugin__Functional_principles_types) |
| = 825055c9886246cf7b6a24367ed78522 | ocaml(Funind_plugin__G_indfun) |
| = 97dc602ebea4d570e686088130961c50 | ocaml(Funind_plugin__Gen_principle) |
| = c005afd4f3f458eef508fdebaf225e08 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 0635a2aa24995ca9e1ff836bdfbbc9df | ocaml(Funind_plugin__Glob_termops) |
| = bd99366170c94cb4d898b71cf3a499f4 | ocaml(Funind_plugin__Indfun) |
| = 3229e2c255bc900d99534f2b3d4e64c9 | ocaml(Funind_plugin__Indfun_common) |
| = fbca1a3080e6fac791d85410536313ed | ocaml(Funind_plugin__Invfun) |
| = 06374e9e6813cb42819ea0cbbfa7502d | ocaml(Funind_plugin__Recdef) |
| = 056918f0691a7206769938958c112a1c | ocaml(Future) |
| = a44e5ce04ce938bb8c1c7288c1fa97c3 | ocaml(G_constr) |
| = 170db5f60ab67bee23d975b8387033a9 | ocaml(G_prim) |
| = 97b59c43030479622f4e93eae6be2f67 | ocaml(G_proofs) |
| = e6c3f22f07ee982130853334d86e4c26 | ocaml(G_toplevel) |
| = 62675840db4316c333da85abe3d15289 | ocaml(G_vernac) |
| = fddccfeb13126b528290ec87ecc1f1a7 | ocaml(Genarg) |
| = 94333dd10bf18846afa016633d57b4ee | ocaml(Genintern) |
| = 41e563f9682585c8f4605bf8cf16dd89 | ocaml(Geninterp) |
| = 8ee011d79118a98a7f27ae2bd719a75c | ocaml(Genlambda) |
| = 2025ef30bb1bd30db40755104651d881 | ocaml(Genprint) |
| = 567e09f09846700aa78b1ed7a39ded25 | ocaml(Genredexpr) |
| = 1791f2107572a3aa0dac7befc171da34 | ocaml(GlobEnv) |
| = f642e07d1fdeefdfc81a9f13b88a8a42 | ocaml(Glob_ops) |
| = a3ef8f490a43c8aa92a42b438f47bc64 | ocaml(Glob_term) |
| = 1bdb57f67b55e26a3d01f6cdf4d532b6 | ocaml(Global) |
| = ccaef1b15d958f724ef8d18c6135e84b | ocaml(Globnames) |
| = d1247cc3b0ac79c2f9ffbdcbabebbb2c | ocaml(Goal_select) |
| = bf7a454f420eb014657355188b4e2709 | ocaml(Goptions) |
| = f7a9c352b24c4ddeba559951b0f7dd3e | ocaml(Gramlib) |
| = 443690b2317f143c76466a5d3a66eb2f | ocaml(Gramlib__Gramext) |
| = b3ee77afd0274c9e58578c067acc2971 | ocaml(Gramlib__Grammar) |
| = 5dc778a5dca30e266e638f5a662d462a | ocaml(Gramlib__LStream) |
| = ebd2354d5681096939bb78667a23cba0 | ocaml(Gramlib__Plexing) |
| = 15a7f9875972299004ab0b232b77c3cc | ocaml(Gramlib__Stream) |
| = cabc0670bdb54db27e9afc76155c7bb7 | ocaml(HMap) |
| = 16cd719166c8c5010b0670dadb52fe96 | ocaml(Hashcons) |
| = 054fe5127bf9aac57339f346c0d1a1ef | ocaml(Hashset) |
| = 48f3cf24db245da908914f621423c092 | ocaml(Heads) |
| = 2a901a079d960c8807880b8c50fd087f | ocaml(Heap) |
| = 1bb29cfde4281f3803d270a01ee93e53 | ocaml(Himsg) |
| = d1a0cc09c64a0e832098981425c88d43 | ocaml(Hints) |
| = 72f1ac7656698632b3feb24f4252def2 | ocaml(Hipattern) |
| = 04f6c318e5dc4380e8d89a7074c603b3 | ocaml(Hook) |
| = 02a17d779ce4cff5ab72d2b626043e82 | ocaml(IStream) |
| = 3834a0a72a85abdbfdd7cd99ac966b7f | ocaml(Impargs) |
| = c7927e30d0d7697a2efa864cd3c40847 | ocaml(Implicit_quantifiers) |
| = d096c4faf5b557c4bd40158dd058eb69 | ocaml(IndTyping) |
| = 6b4a4972f474f1fd801a00991a35d69b | ocaml(Ind_tables) |
| = b3dc35c902179c75c36f89c89d8b290e | ocaml(Indrec) |
| = bd12818b2f0ada2ec30b1f9d46cf56bc | ocaml(Indschemes) |
| = b805a9a73208a970b19f47675c89e793 | ocaml(Indtypes) |
| = e1a42936a8458c94cee23262f3ea8015 | ocaml(Inductive) |
| = 77e0ca5316ddbf71fd1236d1653be0ff | ocaml(Inductiveops) |
| = b486ad09122c83529234fa6ce753d55c | ocaml(InferCumulativity) |
| = d92806c6b6b4bc96e03c8a07044dcf08 | ocaml(Int) |
| = df8be7514f78b424c211904ce94fe875 | ocaml(Inv) |
| = 1f2378480c8d39d86b6c904fba3d4935 | ocaml(Keys) |
| = 2610876f92739a59576d0b9e745fca30 | ocaml(Lib) |
| = 26b9cee5e6731fa5766e9f04bc2d7507 | ocaml(Libnames) |
| = 0917543958915872f997aabaa90cfdd4 | ocaml(Libobject) |
| = d6b12a8d0fde84ad6f83b203381e0282 | ocaml(Library) |
| = fbc17273072e822cf66a3875af642e81 | ocaml(Load) |
| = 6c62fdd949b90e54c5b4762bd93b3fbc | ocaml(Loadpath) |
| = 66403678cb7815a79c0e1a1c82447bd2 | ocaml(Loc) |
| = 32c60adefab0a4ba123be4179a8853cc | ocaml(Locality) |
| = c41553c61784d017f4a2b6e4d5ed763d | ocaml(Locus) |
| = d5084e9eff417995d2dfdb3705bc6fd4 | ocaml(Locusops) |
| = f6e192ce90f21df1a1f454bddd287ded | ocaml(Logic) |
| = b617dbec58c0edc562650901e5ea7463 | ocaml(Logic_monad) |
| = 649da116818b5419532b05fab030bb62 | ocaml(Ltac2_plugin) |
| = 709931ee80812b8c13d6c8e699b96880 | ocaml(Ltac2_plugin__G_ltac2) |
| = a4b47641880f2b7fa383cdfb6269fffd | ocaml(Ltac2_plugin__Tac2bt) |
| = 0821cb832bca6355b3412330377d30d0 | ocaml(Ltac2_plugin__Tac2core) |
| = de59c7871999f70b36bf4959d52471fa | ocaml(Ltac2_plugin__Tac2dyn) |
| = ee762e5862f7058ba9801b64e92fe1f7 | ocaml(Ltac2_plugin__Tac2entries) |
| = 0f1d83d0d96f0af37fd5392869351a56 | ocaml(Ltac2_plugin__Tac2env) |
| = 4e5537766dccdc032ae19c4d9c865783 | ocaml(Ltac2_plugin__Tac2expr) |
| = e72d83b9688ca5b811c1dbd04f689136 | ocaml(Ltac2_plugin__Tac2extffi) |
| = e5c065ee1577d27d3a74ed1147cc7b97 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 54085ab5a7ea45549bc3f7413975e358 | ocaml(Ltac2_plugin__Tac2intern) |
| = c7664b0e098393cc381496697dfcb115 | ocaml(Ltac2_plugin__Tac2interp) |
| = 4302df7a6503cf00f7a33de4fddf68ad | ocaml(Ltac2_plugin__Tac2match) |
| = 0d14250f775bc77bfbdf0238b301d7a2 | ocaml(Ltac2_plugin__Tac2print) |
| = 5049dd8098dabdc129c524b347e119f5 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = aba94a16a98d097e9e9395aa743d94d5 | ocaml(Ltac2_plugin__Tac2quote) |
| = 206c5d9cd317f74d1ef5e98061db3d76 | ocaml(Ltac2_plugin__Tac2stdlib) |
| = ce434e6822b960683cfde276615a276e | ocaml(Ltac2_plugin__Tac2tactics) |
| = 188f7c3446405ca8aaef9e86a2c819a5 | ocaml(Ltac2_plugin__Tac2types) |
| = 96d768012b4a8519328660c711442d81 | ocaml(Ltac2_plugin__Tac2typing_env) |
| = df167d955e180cbe1923b3aca1a51797 | ocaml(Ltac_plugin) |
| = fa43fdc11d352b6972838f7e65824c57 | ocaml(Ltac_plugin__ComRewrite) |
| = 398f5dacd310655c77a991310baa6d6f | ocaml(Ltac_plugin__Coretactics) |
| = aa8a80be6cba61fd0d2c7965f3a406eb | ocaml(Ltac_plugin__Extraargs) |
| = 62b27da45d2253ff699294c735d0b874 | ocaml(Ltac_plugin__Extratactics) |
| = 2692879ae7f3fa12b25d91bcebcf84b7 | ocaml(Ltac_plugin__G_auto) |
| = f0d3e7c4b5301d109b2176704a6c3159 | ocaml(Ltac_plugin__G_class) |
| = e0274a04355f49abab6867f5427c0654 | ocaml(Ltac_plugin__G_eqdecide) |
| = c8f93e904eb69dab91183072a6924433 | ocaml(Ltac_plugin__G_ltac) |
| = a3bf2e5ffe5328bec3d6a4c516f7cb60 | ocaml(Ltac_plugin__G_obligations) |
| = d8ffa9abe2718cc50e053e34948b37b0 | ocaml(Ltac_plugin__G_rewrite) |
| = da2908dbed064e9b049530ba1499bfec | ocaml(Ltac_plugin__G_tactic) |
| = b8d8e204e4faf2a59c6ebbaef2c8944b | ocaml(Ltac_plugin__Internals) |
| = dec435a81d4dd776c2539c34a3e59ecc | ocaml(Ltac_plugin__Leminv) |
| = 084577853c8a8d9319d8fe0b81fc6f62 | ocaml(Ltac_plugin__Pltac) |
| = 0befda10affa57106501d4def2056fca | ocaml(Ltac_plugin__Pptactic) |
| = 9c6f633273837e3d3bf27da6a60ec934 | ocaml(Ltac_plugin__Profile_ltac) |
| = 655d6c87b1b29758d18bdd95b773c44b | ocaml(Ltac_plugin__Profile_ltac_tactics) |
| = a2940064cbb92843ea0b98850698a4f0 | ocaml(Ltac_plugin__Tacarg) |
| = a26363aac3103b20c96b314defc5ed71 | ocaml(Ltac_plugin__Taccoerce) |
| = 0b718829f353e89009297173466b202e | ocaml(Ltac_plugin__Tacentries) |
| = acc495da50bfff7c59862c7c4bb10427 | ocaml(Ltac_plugin__Tacenv) |
| = 3638a4f42753310bdf3da2ac0c732558 | ocaml(Ltac_plugin__Tacexpr) |
| = 7e612423f32b9824fa2af0be29099714 | ocaml(Ltac_plugin__Tacintern) |
| = c383668c0c4837967ca7651fb365c402 | ocaml(Ltac_plugin__Tacinterp) |
| = 718d0f0faee29f1b171d0cdd39d4baa1 | ocaml(Ltac_plugin__Tacsubst) |
| = 420de5a95c40e32541420a362ed44ace | ocaml(Ltac_plugin__Tactic_debug) |
| = 02eb1e4385d831aa595c35e9abbd076e | ocaml(Ltac_plugin__Tactic_matching) |
| = e1e3dadab9e524da459d52ae596eb610 | ocaml(Ltac_plugin__Tactic_option) |
| = 88712f99ab7d0e957b7d460228e30585 | ocaml(Ltac_pretype) |
| = c016ad86aabfa88d17127ab3e57a3789 | ocaml(Memtrace_init) |
| = bc983aac0253b2f720ae8da3dbb1feba | ocaml(Metasyntax) |
| = c816083a19c7a82cc8eae39391774765 | ocaml(Micromega_plugin) |
| = 33c47068cf02b6b35bfae34150e1343e | ocaml(Micromega_plugin__Certificate) |
| = 00a093b123a1030a0d5a2a195908bc17 | ocaml(Micromega_plugin__Coq_micromega) |
| = 0cdfb869778460912505a65b22a85e12 | ocaml(Micromega_plugin__G_micromega) |
| = 4eff41f8ca7843991f73b62793cbab41 | ocaml(Micromega_plugin__Itv) |
| = 338cc7ed45f2f2d0286e88f71665c14f | ocaml(Micromega_plugin__Linsolve) |
| = 49719c104703422034cbae4aebffd836 | ocaml(Micromega_plugin__Micromega) |
| = fa1d1e4ff7e44586a4206c1940715b5f | ocaml(Micromega_plugin__Mutils) |
| = dbcd9ffdf74536704631494e406e4fe9 | ocaml(Micromega_plugin__NumCompat) |
| = c06dc3fa5f50807c4f4660023633693f | ocaml(Micromega_plugin__Persistent_cache) |
| = 4f12d5b7831a18db24de38c96a417dd1 | ocaml(Micromega_plugin__Polynomial) |
| = ff18c1316d80ed9be6a0276156c80c38 | ocaml(Micromega_plugin__Simplex) |
| = 044cb2416cffb9f864ff93545fbfadcc | ocaml(Micromega_plugin__Sos) |
| = f1c13a9a8a771ea6cc7e346d601dd3b0 | ocaml(Micromega_plugin__Sos_lib) |
| = 6a42be6eafde790cdafd4afa4f015e5c | ocaml(Micromega_plugin__Sos_types) |
| = 781c983ac125e832994c133a24880bd9 | ocaml(Micromega_plugin__Vect) |
| = de88017a8b44ea9fd2de5569132fe800 | ocaml(Miscprint) |
| = f515792a9d8da2051dd4c02260bc813d | ocaml(Mltop) |
| = 87bf8a9e488a2d66b98b311cd9e9b9f9 | ocaml(Mod_subst) |
| = b96381a9d3c3dda56135c206901df140 | ocaml(Mod_typing) |
| = 75707a1786cd199cf3322d7f42662457 | ocaml(Modintern) |
| = c92156b83fc44f5682bc9f2948ae6ac8 | ocaml(Modops) |
| = 111c49d5acef9c643936ce9c7f2dfa62 | ocaml(Monad) |
| = ac0919cc300b6a61e06dd7e1199a9a24 | ocaml(Namegen) |
| = 3dcb8e7ab01b12759d677ecafb92c078 | ocaml(Nameops) |
| = 085b410b2201aab95c4b28f79466b72d | ocaml(Names) |
| = 7b2bc797d81dde90816bfbdb05ed9cd8 | ocaml(Nametab) |
| = caaa3c0045d8b1cf818dd091b9f9de8f | ocaml(Nativecode) |
| = 6f53855d43e2cb5885329d7efd3373ab | ocaml(Nativeconv) |
| = 5ca3b84b2dc0bf7373b4de2bbdf26266 | ocaml(Nativelambda) |
| = ca885e8aba83fb0f378e718af379cb04 | ocaml(Nativelib) |
| = 7448291c515d505b3f1e502e8d6dfd19 | ocaml(Nativelibrary) |
| = 53cb6f78c8b72b412e19b3e5699e3a42 | ocaml(Nativenorm) |
| = 83c41dd7e32a59ded1e43e007a331f75 | ocaml(Nativevalues) |
| = 970a4fb3b081f410660ba7e487594f83 | ocaml(NeList) |
| = 854e26ad5e405f07e58f00bb1c3f238f | ocaml(Notation) |
| = 4dfb0ec1b06a154d9f577fd113fbcda6 | ocaml(Notation_gram) |
| = 017dc0aa58029cdbc7831ccafddbb06c | ocaml(Notation_ops) |
| = 12d45aaf6e2b0d86d8695f8d56b3cd19 | ocaml(Notation_term) |
| = 602a3ec077d38fb6ec655de88568b1a9 | ocaml(Notationextern) |
| = 80214077bb11b00f3af7e152c6b22a91 | ocaml(Notgram_ops) |
| = 84f0132bd2fbdc1e41185d9b4bff96a8 | ocaml(Nsatz_plugin) |
| = 307291eadac3e006484cf20f40c45002 | ocaml(Nsatz_plugin__G_nsatz) |
| = 2d0b9ab3a4f30b69de79d1fa7931645d | ocaml(Nsatz_plugin__Ideal) |
| = 73bd36e0520d5d099f5f0b5a1a7a25d8 | ocaml(Nsatz_plugin__Nsatz) |
| = 541b7d8709367c1d5971f4aef5e2fdae | ocaml(Nsatz_plugin__Polynom) |
| = 04beb40d578caceca70a183d65f071fc | ocaml(Nsatz_plugin__Utile) |
| = 47afeeff9c8b0a62798648ec22366e22 | ocaml(NumTok) |
| = 25f549dd8aec902baae826210b20fbb1 | ocaml(Number_string_notation_plugin) |
| = ab1b2d95998d2094bf6ea660333a7f7e | ocaml(Number_string_notation_plugin__G_number_string) |
| = 8fd88fe32462f75cfe7db1bdaab99a62 | ocaml(Number_string_notation_plugin__Number) |
| = b622d2bcaf5e701063c622a536c27c58 | ocaml(Number_string_notation_plugin__String_notation) |
| = 4f82a68b88a72c215e0bd846231665c1 | ocaml(ObjFile) |
| = ce97714638bdef636ddcdf6595d88997 | ocaml(Opaqueproof) |
| = 777547a335316c0d576df15b8e529e1e | ocaml(Opaques) |
| = 0ed8cf70257474be112f25e670767659 | ocaml(Option) |
| = ad1f2e7298fe9e91db544a18658cc417 | ocaml(OrderedType) |
| = d7ffd5166e0ad210e99839a7a8859a57 | ocaml(Parray) |
| = 8309cf28c800dcfed0896c4b1d37e8d6 | ocaml(Partac) |
| = c96e307117bd71a535339af9cf3b1814 | ocaml(Pattern) |
| = 8248b247dcf5afa2b4a6466e867f0d12 | ocaml(Patternops) |
| = 278ab275fec18665ab0d2b379f6e2d7c | ocaml(Pcoq) |
| = b296815bf15420d281b7c46a0e4b1234 | ocaml(PolyMap) |
| = a06106912b4260216a95b51835f39c2e | ocaml(Pp) |
| = a1ca6d8cbf054780bfce1013571b7140 | ocaml(Pp_diff) |
| = 97d01497700f11d2a87a65538b482012 | ocaml(Ppconstr) |
| = d5ed88613cd8e2b2d4e2e2e03744c90a | ocaml(Ppextend) |
| = fe61fe705015ea74a81da53b83ba4e61 | ocaml(Ppred) |
| = 6838e2c25303e62d87c1151fa0c057c4 | ocaml(Pputils) |
| = 014973220f2f0ffa3c63e2fde0d507a5 | ocaml(Ppvernac) |
| = 1b54ffe866048b283dcf39c247b9f856 | ocaml(Predicate) |
| = ac996d815bb36f9ec0d531d04b0fdf16 | ocaml(Prettyp) |
| = b19c822df2d1d082a111931a6e23af16 | ocaml(Pretype_errors) |
| = 7baa8835c2cd158b2240b5d7edfc4ac4 | ocaml(Pretyping) |
| = a2a70f50cb0abf7070f6d70f32e1af58 | ocaml(Primred) |
| = 38f65e0e7495c9884f4fbc757df288b5 | ocaml(Printer) |
| = 6f7fb1d17f2481802b020a74a0f16da9 | ocaml(Printmod) |
| = dc0511c457d95553e038b6e2b79a360e | ocaml(Program) |
| = a7f2c3e341f1b2909c590a79b6b8a04c | ocaml(Proof) |
| = b586a5957d390c6dcd7707ab2f4bf2bd | ocaml(ProofBlockDelimiter) |
| = 8866137c53fe7e92b68bcefc4b78c9d9 | ocaml(Proof_bullet) |
| = 05a77ca121b11366ac40a882b6515644 | ocaml(Proof_diffs) |
| = f95bf5e900a7623f3c35f6b6e0202f24 | ocaml(Proof_using) |
| = 580140f14a4ca6b43694306c5c408edd | ocaml(Proofview) |
| = 0ea514d7b87be1004a21b151bfeceb86 | ocaml(Proofview_monad) |
| = c562639c5293c3f6a9bc29c4d52cdd71 | ocaml(Pvernac) |
| = 63247554a25737029029a5ce190b7152 | ocaml(Range) |
| = 913cacfce48e587d529c8a18f1b467c2 | ocaml(RecLemmas) |
| = e40ce9f19a72c94a74d6136bafc68281 | ocaml(Record) |
| = 39fe585ef6d85c68f9e1bdbb96de5db4 | ocaml(Redexpr) |
| = f3e8f1bd22bfd5bb7123b05d358a9236 | ocaml(Redops) |
| = fea8d4c24e48959c6a784f228c537253 | ocaml(Reduction) |
| = 1b00d396d927b2dd74ec3ded04626b44 | ocaml(Reductionops) |
| = 52d2f5b07210744d4f858ef741afe8bf | ocaml(Refine) |
| = bf2953aab6b440b0f4431c6e3bf0b04c | ocaml(Relevanceops) |
| = f06d1b90dae968b3080295186c8a897d | ocaml(Reserve) |
| = eedb3ca4fc9d6f01553de097dcc3258d | ocaml(RetrieveObl) |
| = 2acb5320cf7ecf9e2f3efdc0bdc1d99d | ocaml(Retroknowledge) |
| = fd952115cab46f3a01b45151659110bb | ocaml(Retyping) |
| = 368c99a83ede099fe9d5cb10a01d4bfb | ocaml(Rewrite) |
| = 49fa866ff2d3522249cfa702b38b18ef | ocaml(Ring_plugin) |
| = 62738b53dc999b54ecaf79b81e8563af | ocaml(Ring_plugin__G_ring) |
| = ff6206a12290485f35d705e6fe663383 | ocaml(Ring_plugin__Ring) |
| = 0cf62d94ed96440d84d67f36b413920c | ocaml(Ring_plugin__Ring_ast) |
| = f2f6e8fcecc748603ca073363f6554e1 | ocaml(Rtauto_plugin) |
| = ae9fd54c5cd59e8bddb170b1a67ef071 | ocaml(Rtauto_plugin__G_rtauto) |
| = eccd42dbca2c0862ccecc0cd489a44c6 | ocaml(Rtauto_plugin__Proof_search) |
| = bea2f8648195257673968875d4eb1bee | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3070acfe312150638de5f65e9e319e64 | ocaml(Rtree) |
| = 3db7c318198c7d1af831076050e784a4 | ocaml(SList) |
| = 4ac03c1fdfa988037fb40dfae916b6a9 | ocaml(Safe_typing) |
| = 2e27a927339a3a8db3fb5543115654bc | ocaml(Search) |
| = 2613b1d4c008a4c834ee19752feb6018 | ocaml(Section) |
| = 8d883bd2b62649ed63ff01ca925c5225 | ocaml(Segmenttree) |
| = 56256ef825be73b2cc1560d6ed9fc3c0 | ocaml(Smartlocate) |
| = 61442a743ca9846b7087cbab9dc63fe7 | ocaml(Sorts) |
| = a1df7ef68f2d343546639581ef75be18 | ocaml(Spawn) |
| = b0405d27ce74aca3d9f195d476e32be1 | ocaml(Spawned) |
| = ee5c4cc99c8228609b38385be7d719c6 | ocaml(Ssreflect_plugin) |
| = acca521fafad71d72b1323690b97f79d | ocaml(Ssreflect_plugin__Ssrast) |
| = bccb01df92c3534163e2f045b6a6a451 | ocaml(Ssreflect_plugin__Ssrbwd) |
| = 919cc080c788f8274471a4594cb412a0 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 13ceb44adca3c1ff888d0e5fbe9c87ab | ocaml(Ssreflect_plugin__Ssrelim) |
| = 318720d7ccb2180135d5ced45d58c52f | ocaml(Ssreflect_plugin__Ssrequality) |
| = d93d68b518ac4250f7be136134e8737b | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 3bea8cb614f37eaecc9d482a849a35dd | ocaml(Ssreflect_plugin__Ssripats) |
| = 67391bb42f67ef9773ed637efa637b0e | ocaml(Ssreflect_plugin__Ssrparser) |
| = 0a7fba3bdac74a271f4cebef27e646c5 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = 23e78f2a108ad55f260b237e6fb40ebf | ocaml(Ssreflect_plugin__Ssrtacs) |
| = 0a0e197d03d315842e7a80fb552d849d | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = 0937e29aa1d33f3896f22378bc2dbaea | ocaml(Ssreflect_plugin__Ssrvernac) |
| = d445781e3d2d65ffcb7b3df0feb24423 | ocaml(Ssreflect_plugin__Ssrview) |
| = 13de31f76194d86e41a930dc6f5247d4 | ocaml(Ssrmatching_plugin) |
| = c07d41c60413096b43b9d2cd9f6ed6ba | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = a3ab88eb5a086da065698e1243166e55 | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 54380a42612c023be92895eb75e54315 | ocaml(Stateid) |
| = b2c2b3b9965041f984b54fe20bd4146b | ocaml(Stdarg) |
| = f88af91c090fc5621cede9aef8c14c1e | ocaml(Stm) |
| = be566c971abadcb2e862ab121c8ecace | ocaml(Stmargs) |
| = 63270e261706eb1cea0ca37b342126b2 | ocaml(Store) |
| = aad73202a1e773336cd033afd606eca4 | ocaml(Structures) |
| = 92637b8889d6131c1c3fc5ad712ee83b | ocaml(Subtyping) |
| = fad478c460d01a21465ad93ec5e9648f | ocaml(Summary) |
| = a6632621d1947d918be73ac13d1ee5ca | ocaml(Synterp) |
| = c71d66208c02e2bfce61ff3ae1733905 | ocaml(System) |
| = d9a48841c6edf83b6c5fc9f49983c171 | ocaml(TQueue) |
| = ee4ee105a2dbbdef7373d8b1284bed1c | ocaml(Tacmach) |
| = eb0036c45d4a3e614366560fc8d6fc0b | ocaml(Tacred) |
| = 63c5a0b28bf2def0bb08a9e47fc50bcc | ocaml(Tacticals) |
| = 019bb345cda1870f39aaf25886ba4fb7 | ocaml(Tactics) |
| = ba10a2d8be8db5731a9dca13b13c6195 | ocaml(Tactypes) |
| = 418aee7004a8e4c82b63c3a475eacf61 | ocaml(Tauto_plugin) |
| = 46edcb92c881fa2d356c8f3eeebd20c5 | ocaml(Tauto_plugin__Tauto) |
| = 4fbbd5e83cff685ad353c731ebb6dd18 | ocaml(Term) |
| = 75080731fd8263db909153552a951a5c | ocaml(Terminal) |
| = 75051664f8e289e3470d77e96c883594 | ocaml(Termops) |
| = c7e17493652fa46ec713b60e9fc08fef | ocaml(Tok) |
| = d4ce7bcb7d369cc587ff63a9cfd73a11 | ocaml(Top_printers) |
| = c0127192e6c6a71cabcbaed3f8b50d92 | ocaml(Topfmt) |
| = 7823591e24f8fe112e1e16e79655d585 | ocaml(TransparentState) |
| = cb681061aae66583742c00fb4f3a3472 | ocaml(Trie) |
| = bd68d109f199d1f123529472064d4ce6 | ocaml(Tuto0_plugin) |
| = c95bb02c340c4da5f68827c6215b5ece | ocaml(Tuto0_plugin__G_tuto0) |
| = b724f51689d5d5a2c83837ddb37b26ce | ocaml(Tuto0_plugin__Tuto0_main) |
| = 186133c7729f31cd7741919b01d18e7b | ocaml(Tuto1_plugin) |
| = e406ffe009820d5fdbae375fab89609d | ocaml(Tuto1_plugin__G_tuto1) |
| = 23442baa444ed9c09a9c2db3fc36e0ae | ocaml(Tuto1_plugin__Inspector) |
| = e0afd55b82a51a1d962600435d971f52 | ocaml(Tuto1_plugin__Simple_check) |
| = 7aeac587a30e4f548f2e8f21cd3b99c1 | ocaml(Tuto1_plugin__Simple_declare) |
| = 1f09bcaa6063694632385cb7319fd3b3 | ocaml(Tuto1_plugin__Simple_print) |
| = 5c827c73edd6513780dee682ee12acfa | ocaml(Tuto2_plugin) |
| = d3225d276c9dfa753defdca6f0b33e48 | ocaml(Tuto2_plugin__Counter) |
| = 9bede7a90157587a3fde170e9f6f355d | ocaml(Tuto2_plugin__Custom) |
| = c846e06dbc4ff80f30fb70d5a1a189d6 | ocaml(Tuto2_plugin__G_tuto2) |
| = c4cb9bc336251dfd3b16117a7478e2d4 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 839d54fb85133174ca563f334cb88161 | ocaml(Tuto3_plugin) |
| = 0e94c84394faeb5f84d627f22292814e | ocaml(Tuto3_plugin__Construction_game) |
| = 96999e3c050c92c58c72a29e0a1cf621 | ocaml(Tuto3_plugin__G_tuto3) |
| = e821cfeb2da00d2614b0b0905267e978 | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 71aafacb8c42b9a633bed6ea553e5463 | ocaml(Type_errors) |
| = 6fbd580650fbc640e2381e2517d848be | ocaml(Typeclasses) |
| = e3c35536baa1449a691638e340ff10db | ocaml(Typeclasses_errors) |
| = e5f833191daadd2fa209da32a4a7cc31 | ocaml(Typeops) |
| = 2ecb0689b8433b010bb9b667118ba9da | ocaml(Typing) |
| = b5b877aec9d0c6f90af91489e5cc6cbd | ocaml(UGraph) |
| = 7057f875f8be32d40547332bfd86ed12 | ocaml(UState) |
| = 69f038589ad8461f82667721d319bc09 | ocaml(Uint63) |
| = ca7089ddb9ae8d5d6e027265142c5a4d | ocaml(Unicode) |
| = fa4cbcaf5affb03f3dea38fe5c8277ea | ocaml(Unicodetable) |
| = 5ae0b46009678933af883b64da697c7d | ocaml(Unification) |
| = 9014e878993ce343b70cc81c55c99eb3 | ocaml(Unionfind) |
| = 3996390653d490fd2676712cb08acd41 | ocaml(Univ) |
| = 988aedf72070cd703d14a8bb8174ca03 | ocaml(UnivGen) |
| = 9de08100f78eaef42242561059751703 | ocaml(UnivMinim) |
| = 2b59f78b9f5ac159d219fe823893efb3 | ocaml(UnivNames) |
| = f0ebfa77aee8f5aee71e8bc114598a42 | ocaml(UnivProblem) |
| = 10466c79a75d4b4870f1dbf10ad25b96 | ocaml(UnivSubst) |
| = 739c05c768541246b721db6b4ded59cd | ocaml(Util) |
| = dd4b54c7a63002dbbaf42b63ae2c0422 | ocaml(Values) |
| = 7e109c978a761d1b350cff2c72c92ab4 | ocaml(Vars) |
| = 0fd86a2f25fbb5503704dc6535a4287c | ocaml(Vconv) |
| = 3ff6b06e37c37b5af3975b6c93cb5c2b | ocaml(Vcs) |
| = ff7676da6cf4faa5777f8a870fd6f2e9 | ocaml(Vernac) |
| = 5d3d7a7308c577ec6104315ff2ed0ed9 | ocaml(Vernac_classifier) |
| = dd8121bc7a90f58da9cbd729533de7c0 | ocaml(Vernacentries) |
| = d7b1d116584b719654d93c454841c6ef | ocaml(Vernacexpr) |
| = 7ab74f32c62eb0896692db15c73f1b5d | ocaml(Vernacextend) |
| = 5a08e8999615ccfd3a6ee40453000847 | ocaml(Vernacinterp) |
| = 819980b9662d365bffffa42dc4d8c2eb | ocaml(Vernacoptions) |
| = cea13d4eb287810aaba7f5af76a81a91 | ocaml(Vernacprop) |
| = 43d4f22339aea7d088350ba2cdb9717b | ocaml(Vernacstate) |
| = 0253265481b587994e3a946ad8dc9bff | ocaml(Vio_checking) |
| = 99566339237baf875545207b3c279a1a | ocaml(Vio_compile) |
| = 962f4b8133ac87c5fd8a8bb70710f944 | ocaml(Vm) |
| = e473504b85f6c7a6e54572cdc52dff4d | ocaml(Vmbytecodes) |
| = 9bd8ca9d3f646049a2e4dc280fc81915 | ocaml(Vmbytegen) |
| = 914f5a6360e08c57a373d1aea72b8c44 | ocaml(Vmemitcodes) |
| = e70b652a8453ccd64bdd0ee5a20c2113 | ocaml(Vmlambda) |
| = 629e11e23d4b9a8fc528fbec8067951e | ocaml(Vmopcodes) |
| = 6331be0986d67a2a4fb0dbdba840d734 | ocaml(Vmsymtable) |
| = 9164664dac68a78436cd7507a8434bcd | ocaml(Vmvalues) |
| = 3d28bdf9a12019ed71e43b94228563d7 | ocaml(Vnorm) |
| = a3aad9bfe28cb3acd162133aee5934ea | ocaml(WorkerLoop) |
| = 09a9b6eb9859ab6dd7a677709c1f11c2 | ocaml(WorkerPool) |
| = af4d607b4dbe09d931cd3a2b78a84fe3 | ocaml(Xml_datatype) |
| = 1fae62e8555707a7ca16c9fd9212d7dc | ocaml(Zify_plugin) |
| = 5a6b40a818091d3d2ac5e9423624ab82 | ocaml(Zify_plugin__G_zify) |
| = 236a734feb8e96c2437c933d027b52a0 | ocaml(Zify_plugin__Zify) |
| = fd3761005967584bb6215a79c4b2d20c | ocamlx(Abbreviation) |
| = 0389630aebc6fb7fd6bca93f95765320 | ocamlx(Abstract) |
| = 0b5570b3905dc92f303d5d0b818eb3f9 | ocamlx(AcyclicGraph) |
| = 4adf3a3b0ef41f95425ffb6fe8934b8d | ocamlx(Arguments_renaming) |
| = a337a890e9e5c71979fccfbf4c7a8f7a | ocamlx(Assumptions) |
| = 6910f4b2d894e697efe555b6f59a9f6d | ocamlx(AsyncTaskQueue) |
| = 95e74a183e76b975eb66529a4669c292 | ocamlx(Attributes) |
| = 65bf455c185ab6e2bd1e53c89fdc4ca9 | ocamlx(Auto) |
| = fe9d0a35b99b4ce90ad9810c3b08778a | ocamlx(Auto_ind_decl) |
| = 1752c4c6de675a3aade43f91b5c0bb6b | ocamlx(Autorewrite) |
| = 4196eae5f9ef45a66f698d00efaac2f6 | ocamlx(Aux_file) |
| = 8e31e5dcac590780e4b16782bfe4d1d9 | ocamlx(Boot) |
| = bc0c507b8b9dc3f10c55b76e891de19b | ocamlx(Boot__Env) |
| = f31f272a946b4c649846a092790b4936 | ocamlx(Boot__Path) |
| = 696661225f65414c6a299021480e5e6e | ocamlx(Boot__Usage) |
| = a014efe5f327fcb1a851790dbfd0282d | ocamlx(Boot__Util) |
| = 1207dd8bab364e24d4bd61740056fb23 | ocamlx(Btauto_plugin) |
| = 949aa4f9bed5b5226f14d9790de5cc12 | ocamlx(Btauto_plugin__G_btauto) |
| = 256e3a8a2ff5ecd8f3e712ed7a3797b8 | ocamlx(Btauto_plugin__Refl_btauto) |
| = ffd698fa91e59d0ee6278f26828d80aa | ocamlx(Btermdn) |
| = c283a0f77b8df3491d4cbae050b76801 | ocamlx(CArray) |
| = 5c92de86f311d546570a591e7ac5e8c4 | ocamlx(CAst) |
| = 84348904760600fce8d574cd4e50cd91 | ocamlx(CClosure) |
| = b9801886d28063dd8fc43961dde81175 | ocamlx(CDebug) |
| = 2d4b0735190694300ae94061b4946479 | ocamlx(CEphemeron) |
| = 1284dff035d41340bc953753689409e4 | ocamlx(CErrors) |
| = b937a0d309ef3bfe1e86647a26f6edf6 | ocamlx(CLexer) |
| = 8dbde6359f78faf766a8eef408657daa | ocamlx(CList) |
| = b5fd7f64b325eb7eac68f6c0e2a2dd06 | ocamlx(CMap) |
| = 8c3f4afe1b5f75decfbced2b3d5e59c8 | ocamlx(CObj) |
| = 7c5d70e56ed9b89d7f103a3227689e7f | ocamlx(CPrimitives) |
| = 983aab42aff5f90f41894feecbb06b39 | ocamlx(CProfile) |
| = 92ab3e4bde3d06c9cee1ef2ede9fc294 | ocamlx(CSet) |
| = d41891d060af3446d0e198ca71795b32 | ocamlx(CString) |
| = b184ac70882bb2b154f99ec6055e20c0 | ocamlx(CThread) |
| = c91ca58c5d8ae29c22c1141ab08cb8e4 | ocamlx(CUnix) |
| = e7f3a499284c4784fe4fcfaa7cda9b36 | ocamlx(CWarnings) |
| = 1220375ad4792241da7e89ccb56d4159 | ocamlx(Canonical) |
| = cf7cbaef3a8e2c2eff96e35da27603aa | ocamlx(Cases) |
| = 213a9b1791e30c79ad24f1d68e66abfb | ocamlx(Cbn) |
| = 4e1e301c73b5869294284851827b8a95 | ocamlx(Cbv) |
| = c76874a6c198370ad4fd8c5a1fe8fc3f | ocamlx(Cc_plugin) |
| = de36a0362ce0327fe588d5630f52ebdd | ocamlx(Cc_plugin__Ccalgo) |
| = fc46737a14e0ac19b6cc0c10f74f4945 | ocamlx(Cc_plugin__Ccproof) |
| = dbc0a0a649747fcf5923c298fef2ed8a | ocamlx(Cc_plugin__Cctac) |
| = 7146d5f52774b3c50beab8b55a0a5c9d | ocamlx(Cc_plugin__G_congruence) |
| = 682b7be92fdf4f7911898f84d03bb404 | ocamlx(Ccompile) |
| = 08b761d821a1d1b704ea50d4b40d363d | ocamlx(Class_tactics) |
| = 6ec4c102a90f1a74a8110560a9196e22 | ocamlx(Classes) |
| = f658e85f1a0d258c814a3bd7863005f7 | ocamlx(Clenv) |
| = 9becdd6377a9183a850d49af34fe73b7 | ocamlx(Coercion) |
| = 5aa3e3e597e495771952ea779d994b3d | ocamlx(Coercionops) |
| = 8403cf89cdea26d040dfe4c5c6ca990d | ocamlx(Colors) |
| = fbca92fa4e00f0057eff357d8a18891d | ocamlx(ComArguments) |
| = 71f7f331f23d83d580a1e9bd0c6eb5f1 | ocamlx(ComAssumption) |
| = 911c534f1f793d86059dca0bdd743bf5 | ocamlx(ComCoercion) |
| = 8bec7f9717f9fcd6e234a17ea8d10be3 | ocamlx(ComDefinition) |
| = 9244eb38d54148e875eb082421c174aa | ocamlx(ComExtraDeps) |
| = 805d639741f75596337d626f511fac3e | ocamlx(ComFixpoint) |
| = d4cf5ae30d87f67383a1d7cbe12f302b | ocamlx(ComHints) |
| = 40afa5f35d896950eaa8a8d125881585 | ocamlx(ComInductive) |
| = 0e444dff1773c09f130943cc819f2a99 | ocamlx(ComPrimitive) |
| = 072a29bb8ad0f773cddda7792b713c0e | ocamlx(ComProgramFixpoint) |
| = 561e658c4ecbb5dc2e02e7524ca84705 | ocamlx(ComSearch) |
| = 253c3a12400abbf295c26b7f2553395e | ocamlx(ComTactic) |
| = 70b6ed111a8a0ea8fecd3383326eae5a | ocamlx(Common_compile) |
| = 3128cc56f4d0dd650077d88b1bf20ad7 | ocamlx(Constant_typing) |
| = 6f286467ab8ba02fa77fca4171dc75f2 | ocamlx(Constr) |
| = 2201880ca41fc411a02f638999c58d59 | ocamlx(Constr_matching) |
| = 5daf86cc29a9e7abea4e946e5cd6cf2f | ocamlx(Constrexpr_ops) |
| = 28a5f6b40d5c8b0a511477844fe04ae0 | ocamlx(Constrextern) |
| = d23224417c8d2ed7219936fde7bf47b6 | ocamlx(Constrintern) |
| = dc5a84314826a60fc8f3ca80559ad742 | ocamlx(Context) |
| = 73bb07cda0502d40b382e8e84eace759 | ocamlx(Contradiction) |
| = aa3d31df6159a9e278be636d2c2cea2b | ocamlx(Control) |
| = 7fce0d5079c19d40979b61c638a0f5aa | ocamlx(Conv_oracle) |
| = 446724c40ba489e26c4abe21370304d1 | ocamlx(Conversion) |
| = 83239aa7bd732f6d614f7b69b4e003a1 | ocamlx(Cooking) |
| = 873bb43fee3dfc9179402bffdc397840 | ocamlx(CoqProject_file) |
| = 40f0100f906761cedf29e0de9d51df34 | ocamlx(Coq_config) |
| = 40e9448e810b0ed065c946c677a0f845 | ocamlx(Coqargs) |
| = 378d2f796a3ba5a3ce925e1d3bc9b112 | ocamlx(Coqc) |
| = 044474ce3bdf410c1dfc7c8b04128dcc | ocamlx(Coqcargs) |
| = 7b27f570306107a6c1eff5dfd317268b | ocamlx(Coqinit) |
| = 953b1db4379cf18c182273bae0da75f1 | ocamlx(Coqlib) |
| = 8564f745a5ba5b18ee6b34594a205165 | ocamlx(Coqloadpath) |
| = 3a30a27096e244961e6313c775f2560b | ocamlx(Coqloop) |
| = 33f39aa8d14ee9e3bb7c41dfdd3790de | ocamlx(Coqrc) |
| = 2b4a78cf58850082d11e1d0f6a81ca0c | ocamlx(Coqrun) |
| = 74bfcf82478240b1c7c02913f6e8483d | ocamlx(Coqtop) |
| = 890bd3a54b49b34a490759e37c5e84f4 | ocamlx(CoqworkmgrApi) |
| = 17ecfc7895c793fc88edccfd3179d225 | ocamlx(Core_plugins_findlib_compat) |
| = 56a8affdcb2c3c7907650e41405aa9e3 | ocamlx(DAst) |
| = 19959d29649df3645ca32d162d20e60c | ocamlx(Dag) |
| = 1d9cd75e270804cfb46684c1bcdf2155 | ocamlx(DebugHook) |
| = 3a504468995bb5e61a2fbab42251b07b | ocamlx(Declare) |
| = 450b909e7b093cb7aa5b4e808e5cb048 | ocamlx(DeclareInd) |
| = 6b5ca0d84edc3e1f6192abf285210d54 | ocamlx(DeclareScheme) |
| = 1369dd94a20a3bd9c5a6770fa3b44d31 | ocamlx(DeclareUctx) |
| = 7e6bcf94c952d9abe26e447cbff27258 | ocamlx(DeclareUniv) |
| = 3301079627904d61dc66cf349486069a | ocamlx(Declaremods) |
| = 483d1311a88208907eb12a4d3673561d | ocamlx(Declareops) |
| = 5b1dfa8770076f4294c0ebfad4ba65c5 | ocamlx(Decls) |
| = 3dd928ca7545ab97171be59044ace3ac | ocamlx(Deprecation) |
| = ecb3b7b7d1c9a9760209551b4015d3ab | ocamlx(Derive_plugin) |
| = a53693e55792eb0791c196c45cec4097 | ocamlx(Derive_plugin__Derive) |
| = 3bed108f75009a62a4cb5f1825e375df | ocamlx(Derive_plugin__G_derive) |
| = d41620ed37907bc6b77738cae1f55f20 | ocamlx(Detyping) |
| = 8be61045569e6cb9c7447fcdc78c6675 | ocamlx(Diff2) |
| = 96fd90b25e488844dc560616af542c0c | ocamlx(Discharge) |
| = d1cb1e5e1a91175da9ad236a4712c58c | ocamlx(Dn) |
| = 256371a4ea038bff2f538a798e748fb0 | ocamlx(Dumpglob) |
| = 832f33f7564b4808b24bb38c37eb2d8a | ocamlx(Dyn) |
| = a22d6a0704cd471a20e09820c707b580 | ocamlx(EClause) |
| = c6e4af0d936ddbdf1c92ad64dace66ab | ocamlx(EConstr) |
| = 1ae2561271f24c3015bf75251f0d863f | ocamlx(Eauto) |
| = 5c589dbbfaf721ae7800da3c4bcd40f1 | ocamlx(Egramcoq) |
| = 9b639ee329b167bdec0d9f0e5ba39616 | ocamlx(Egramml) |
| = 62b45eb48db9717ae26709d9c53cd75b | ocamlx(Elim) |
| = 5941f37fde559e50ccedd4b0bd3171fa | ocamlx(Elimschemes) |
| = f9e5bb0d610ec6c4e990c716c5b80115 | ocamlx(Envars) |
| = e4b00fc1dddffce28c79de650e168967 | ocamlx(Environ) |
| = dfc0efb18d096bbc5c8b4ee005518c2e | ocamlx(Eqdecide) |
| = 30837e7956bd26f6edfa2900e1031f05 | ocamlx(Eqschemes) |
| = 5c0f6fcbf61fe8e891508cfa0fe921b8 | ocamlx(Equality) |
| = 768d16d133c8f9b79e4c374a96320a38 | ocamlx(Esubst) |
| = 50020a3a780c4a20f9d0ad96d1caf6cc | ocamlx(Evar) |
| = 5cc27c0ad54960c8c4ef973c80c1d34b | ocamlx(Evar_kinds) |
| = e848c6fe85d0502bf9be0ae647259730 | ocamlx(Evar_tactics) |
| = 4782f3ea2b98824955f4892ccd3a04a3 | ocamlx(Evarconv) |
| = 8c34d3ae2f766a94d9f20eaf0881a462 | ocamlx(Evardefine) |
| = c1ca3cea98292c1bd94cfaf99dc95363 | ocamlx(Evarsolve) |
| = 734ce28ca1029548a3316e32154da22e | ocamlx(Evarutil) |
| = 6f2efeee87d890b26d5672cfbbadbb31 | ocamlx(Evd) |
| = eb4df81e306597953871daed2ed2174e | ocamlx(Exninfo) |
| = ede1d6f361b8feb01464ac117ab67e21 | ocamlx(Extend) |
| = 259c11fa59d2062a205c7b86c10273f7 | ocamlx(Extraction_plugin) |
| = ca3bbe8a3caf35d95d43d156497aea54 | ocamlx(Extraction_plugin__Common) |
| = 2d6d16dae99c120c6fae9bc14aea35b8 | ocamlx(Extraction_plugin__Extract_env) |
| = bfeae1c1b5f64f1d707dfcc54f579e6e | ocamlx(Extraction_plugin__Extraction) |
| = 404c21bbe39312e2348c68ddae7c6edb | ocamlx(Extraction_plugin__G_extraction) |
| = f7bf3107462bc4c3e449fed376514a55 | ocamlx(Extraction_plugin__Haskell) |
| = 3ddc32ab7bc6d919bfe1667c98ad2237 | ocamlx(Extraction_plugin__Json) |
| = 299ac982b62ba5495ae89447fce2a4bf | ocamlx(Extraction_plugin__Miniml) |
| = 819c64b7b95b670a259192d992c19ebb | ocamlx(Extraction_plugin__Mlutil) |
| = f12e713d50b9383de279ec00bbcfd9b7 | ocamlx(Extraction_plugin__Modutil) |
| = 8689e631cbf2099269316161f7c67b92 | ocamlx(Extraction_plugin__Ocaml) |
| = 6045affbe665488a075005ac5f3104b6 | ocamlx(Extraction_plugin__Scheme) |
| = 021cda30457819a631e5bac3db6aec3d | ocamlx(Extraction_plugin__Table) |
| = e1f1b1347698764c752eb331016f1f2c | ocamlx(Feedback) |
| = 026f812259e508b4fd55c27ec1d7c950 | ocamlx(Find_subterm) |
| = a155f8ce8c15ac659512287233f686e2 | ocamlx(Firstorder_plugin) |
| = e919c18a11248e5a3296f5c76758c1c0 | ocamlx(Firstorder_plugin__Formula) |
| = d6b4bbedbf2af985f15a4cbf72dce793 | ocamlx(Firstorder_plugin__G_ground) |
| = a5aa538616dc6cc6293de1559961e53e | ocamlx(Firstorder_plugin__Ground) |
| = 5e25d70b2b0291802ee32556edbedcf5 | ocamlx(Firstorder_plugin__Instances) |
| = ec6937f917c65eda2d0141271eb636ef | ocamlx(Firstorder_plugin__Rules) |
| = c959763ac9be5a1beeaa0883dbfa61c3 | ocamlx(Firstorder_plugin__Sequent) |
| = aa4df83022a20f1abe6a89a82ce7e218 | ocamlx(Firstorder_plugin__Unify) |
| = afd99d8f3cd8bab00628fa56aecb8559 | ocamlx(Flags) |
| = b80fa132d7fe71ac90c5113bf73b1bb8 | ocamlx(Float64) |
| = 191adc16e76cab9113a6b3b299e1a6ce | ocamlx(Float64_common) |
| = a8e2d3a111981a953f40c1c321ce0c36 | ocamlx(Ftactic) |
| = 94892241b930ac852c200aab6ded82a2 | ocamlx(Funind_plugin) |
| = 6e567531739d8e8c686fa08252bf7134 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 7ede63d4ff1fb1655bcf706c5cfe071b | ocamlx(Funind_plugin__Functional_principles_types) |
| = 5a1948b65b1c1645d162aab9c88d28f8 | ocamlx(Funind_plugin__G_indfun) |
| = e9a1244c5f8e748e7cc566c3f6ee6d44 | ocamlx(Funind_plugin__Gen_principle) |
| = 4afe3cbb28a648e74765e47b2cdb2e1b | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = d53bd5d1a3f57ea11b890dd0ed520e86 | ocamlx(Funind_plugin__Glob_termops) |
| = 8409c82563c640b5b8e29dc571b91697 | ocamlx(Funind_plugin__Indfun) |
| = 1027c98e76d442623d6ee377af0bfc37 | ocamlx(Funind_plugin__Indfun_common) |
| = 6e1c3f80b7e4a1c69eb333798b09f98e | ocamlx(Funind_plugin__Invfun) |
| = 798286ed2b5e82fa31514b98554303b9 | ocamlx(Funind_plugin__Recdef) |
| = 55a602d9ba289b11cca2b89b3bcc3859 | ocamlx(Future) |
| = a6bd0b2d92a0c0653d4f1cd0ef00a455 | ocamlx(G_constr) |
| = 7e8f89945bb55169dca2d3e8fdddb976 | ocamlx(G_prim) |
| = 7b5e72b3dd2184a4639a1c8eabe69341 | ocamlx(G_proofs) |
| = 225c43d74076072c7fc81872b37fc6ca | ocamlx(G_toplevel) |
| = 4e27c7c8dc09d3cad0ef2d0203455dc4 | ocamlx(G_vernac) |
| = 739f3319fbb5fa7bda62298c8bdd56f7 | ocamlx(Genarg) |
| = cc9210531da957823e6fb49e27343362 | ocamlx(Genintern) |
| = 1c1c15671d1ad5912ccae4a4cbd6db3f | ocamlx(Geninterp) |
| = 0b22411d7d649cf4d3ddaf37384e7dd1 | ocamlx(Genlambda) |
| = e8c9e0f46dd7d16306855aa33a3a06ef | ocamlx(Genprint) |
| = 390f099b72418a8fc586be0b85a35489 | ocamlx(GlobEnv) |
| = 531414466abf133b95fbe3714d27a12e | ocamlx(Glob_ops) |
| = f59f2ec084bdeabc3251c4d0335c48e8 | ocamlx(Global) |
| = 781062d04193ff95c8b66f95d30fd3ee | ocamlx(Globnames) |
| = ea9aea3b6687b11fb38f16cc77c03198 | ocamlx(Goal_select) |
| = ca6916c65c294d56e23806f61f17e717 | ocamlx(Goptions) |
| = 6562f921d0a8d20b78de8ac2dc791f0f | ocamlx(Gramlib) |
| = b18b4fff02caa54d015a82d2912e93b2 | ocamlx(Gramlib__Gramext) |
| = 384df28faaf86466263d2dd1984a6f5d | ocamlx(Gramlib__Grammar) |
| = 7b6df838ea172a1def89eb4ef5390e9d | ocamlx(Gramlib__LStream) |
| = 09815ac0f263ccac23e54cbee974920a | ocamlx(Gramlib__Stream) |
| = 39fe4a6915a88e66d8339e425a333a6c | ocamlx(HMap) |
| = cfc47b3ad5b6eae181e51257373a3dee | ocamlx(Hashcons) |
| = 469c6a6875ba78158ce276241cf2699a | ocamlx(Hashset) |
| = 7aadbfa2edbd1ad64df0d64a285124a9 | ocamlx(Heads) |
| = 53034515cece58d3f2321b8ba3555860 | ocamlx(Heap) |
| = d743d3e94b1a9cbe78804679b4823a02 | ocamlx(Himsg) |
| = 2bfa4391d74fcd4dec9ac0467adc831e | ocamlx(Hints) |
| = 26def6e6ad211799add7d1c1f4a173e6 | ocamlx(Hipattern) |
| = f521bc0d917c73b1821de9bc73dcba7e | ocamlx(Hook) |
| = ee7490c5c8bce0d573cede66b2d01ffd | ocamlx(IStream) |
| = b7a6fa609f6cca7abfdc72dc371d475d | ocamlx(Impargs) |
| = 6472b6aeb6c61aa44d1af680dd7b2ab8 | ocamlx(Implicit_quantifiers) |
| = 96cabfcf3f6ae76eb9ec4c19f351decb | ocamlx(IndTyping) |
| = ef5abcbead38c3988935c7532cd39f2a | ocamlx(Ind_tables) |
| = 379282c4c0850a93beaf72050b2b0068 | ocamlx(Indrec) |
| = 9d793fc048b32571c326887814c5c6e2 | ocamlx(Indschemes) |
| = a305b8b36c00ad1eba50d3199db74bae | ocamlx(Indtypes) |
| = 5df6a139f2f599d7dc249bb246a63ab8 | ocamlx(Inductive) |
| = 9f2a5c0730f3d85b6a12e2ba36063159 | ocamlx(Inductiveops) |
| = 7b47ecb74b2d71d2c0a1a729da5f3bb9 | ocamlx(InferCumulativity) |
| = e9d99b8c9341bcea891f3c402ddac40a | ocamlx(Int) |
| = 42f43c6aed84eff2e0e907fd2b1c5d80 | ocamlx(Inv) |
| = cef8ed1e5d84fc85cc311dcc82776348 | ocamlx(Keys) |
| = 9aabb25ba6b30436df257d5fbcd4433e | ocamlx(Lib) |
| = 979167032073e69a4757eb40ca3c5441 | ocamlx(Libnames) |
| = 92e86fd51e2f06e4d4a4ce19d6acf5a1 | ocamlx(Libobject) |
| = 7dadd8cdf13843b0801452eb5d709286 | ocamlx(Library) |
| = 3fecf5e630a1c65ee4585b7de8a3d499 | ocamlx(Load) |
| = 4001879625c55c8b92a38180bd0d2dbf | ocamlx(Loadpath) |
| = d72bc3186cc4f53772f41868e2d0689a | ocamlx(Loc) |
| = cf33449e3fa14c899dfa6d70f50ab989 | ocamlx(Locality) |
| = a73a9c86b723f3b3112c3dbc81fda376 | ocamlx(Locusops) |
| = 770620d619ebfc0cb06a998b142d8999 | ocamlx(Logic) |
| = 5e82f53ebb9a585a39a67c15675df824 | ocamlx(Logic_monad) |
| = 64aa83c31ddb361405addf42ed801a86 | ocamlx(Ltac2_plugin) |
| = 3fdada44a42a3e8f7b092a70b5e32e35 | ocamlx(Ltac2_plugin__G_ltac2) |
| = 094e3fffae5f0045da1b4df4f8955cba | ocamlx(Ltac2_plugin__Tac2bt) |
| = 5cb41852771913707c013f86c81ce801 | ocamlx(Ltac2_plugin__Tac2core) |
| = cad2d2a6fe8a4022c114a92bc72e4a81 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = 175225da6e2c4a70074c0e5b82ee537a | ocamlx(Ltac2_plugin__Tac2entries) |
| = 41dc6c1fcb1043f923c4f7d1c4080d57 | ocamlx(Ltac2_plugin__Tac2env) |
| = 36e9f93c8df9610694f0d9579bbc3741 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = 790f3b6a99a9796830c58332f0d92522 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = d24b1d565219081eb2cb9aa99481c728 | ocamlx(Ltac2_plugin__Tac2intern) |
| = 9612e73b04677b29b8b40d3e9651951e | ocamlx(Ltac2_plugin__Tac2interp) |
| = 4af81a4b4b1be8e29c748e0a64d3557c | ocamlx(Ltac2_plugin__Tac2match) |
| = acbd333345844a3afccaf4c8a337db47 | ocamlx(Ltac2_plugin__Tac2print) |
| = 5056315b812c05534a9eb7b34d0812e1 | ocamlx(Ltac2_plugin__Tac2quote) |
| = 14bb26a5d099f6237cf40b48a3b42691 | ocamlx(Ltac2_plugin__Tac2stdlib) |
| = 4ff8bfa9a5fdd8c955616b0a609451fe | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 523f6ff52ce54845f485de58494ef49a | ocamlx(Ltac2_plugin__Tac2typing_env) |
| = 02343b0ffa8d367824fc4a42f1e8ec99 | ocamlx(Ltac_plugin) |
| = 1b5de9532a1fdbe96940de9952881892 | ocamlx(Ltac_plugin__ComRewrite) |
| = 197edff36659aeb3dd97bcc852fdd525 | ocamlx(Ltac_plugin__Coretactics) |
| = 10b8bafa7812a05e2be26103178ce85d | ocamlx(Ltac_plugin__Extraargs) |
| = 70ddf9a97e2c5c155f42332c4dba7e78 | ocamlx(Ltac_plugin__Extratactics) |
| = 6dc9e4fc04879102d0987e545489ab4a | ocamlx(Ltac_plugin__G_auto) |
| = e77c2ea9a6b34ec91991759d218188b5 | ocamlx(Ltac_plugin__G_class) |
| = f3e4112421fbd81e7cb37a82b85c3577 | ocamlx(Ltac_plugin__G_eqdecide) |
| = 6a4a1be7de06a83dd00616175fb6ae6d | ocamlx(Ltac_plugin__G_ltac) |
| = dd399cd2925b2bf2fe1fb5b1032725b7 | ocamlx(Ltac_plugin__G_obligations) |
| = 15fd01fb1886ad0841cb926018f52927 | ocamlx(Ltac_plugin__G_rewrite) |
| = 0115d8be999c176e3fae53998f7bd7f1 | ocamlx(Ltac_plugin__G_tactic) |
| = 1cb087a8468be7b0efdfcc2ff1f99dec | ocamlx(Ltac_plugin__Internals) |
| = d68a29f5af29f1fdaf4cafef8206980d | ocamlx(Ltac_plugin__Leminv) |
| = 4d78c19a6cdd7b4d8b23643d1a0c042a | ocamlx(Ltac_plugin__Pltac) |
| = d1c00af13c04c5f5bd7093ebb2748445 | ocamlx(Ltac_plugin__Pptactic) |
| = fc37d6bb16e8fbc8c3a728131eceb623 | ocamlx(Ltac_plugin__Profile_ltac) |
| = f84ddd3acd63d6cc91fa3da8ea913cbe | ocamlx(Ltac_plugin__Profile_ltac_tactics) |
| = 94f54b87359d7e60c1c3cbd50d2874dc | ocamlx(Ltac_plugin__Tacarg) |
| = 7748a4a27b1672fc0a42abdea1ba46c0 | ocamlx(Ltac_plugin__Taccoerce) |
| = ef20d917d42c3fbe4f0e87da0f61cfbe | ocamlx(Ltac_plugin__Tacentries) |
| = 0a69340dbccc574bec0c200ae349120b | ocamlx(Ltac_plugin__Tacenv) |
| = 0e01fd2b4e3208c3f61d88addb84a088 | ocamlx(Ltac_plugin__Tacexpr) |
| = d659fc806d7d28b5e1010c30056e7462 | ocamlx(Ltac_plugin__Tacintern) |
| = 9e81d9e9c0912f9039491ba8f1c8de2f | ocamlx(Ltac_plugin__Tacinterp) |
| = 6f76e2374665fd16861e98f6f2828e20 | ocamlx(Ltac_plugin__Tacsubst) |
| = 67a21928db8548f83c4ca8063f641cdb | ocamlx(Ltac_plugin__Tactic_debug) |
| = b38242be9a8c890b7208df61b5c55302 | ocamlx(Ltac_plugin__Tactic_matching) |
| = bd7df5e65fac36408b56b3a457bac31d | ocamlx(Ltac_plugin__Tactic_option) |
| = 529bf4e33bee1f9d039f40dad39a0f0a | ocamlx(Memtrace_init) |
| = f0d3ca8b529c19ee7f4e1462b43c85dd | ocamlx(Metasyntax) |
| = 3f5f2d6b4ec976d757321e1840be34d0 | ocamlx(Micromega_plugin) |
| = 164bea19c870e79490af98756ff49bf3 | ocamlx(Micromega_plugin__Certificate) |
| = 9d4e761f106d939e872c75664ab1330d | ocamlx(Micromega_plugin__Coq_micromega) |
| = cb2236ac3a47d8cfe41921ffd0fe6cc8 | ocamlx(Micromega_plugin__G_micromega) |
| = a7425d830fd51c970f3800963b70b9bf | ocamlx(Micromega_plugin__Itv) |
| = 837b425aa20a78f2c786a1ca73035d3e | ocamlx(Micromega_plugin__Linsolve) |
| = b33e566cf0af525e853078ce58b61b0c | ocamlx(Micromega_plugin__Micromega) |
| = bb1d15abe58d6c36547501b42f9efb08 | ocamlx(Micromega_plugin__Mutils) |
| = dc28b29a1b6a50c12d367ce716e382cf | ocamlx(Micromega_plugin__NumCompat) |
| = a1c2782c88bcfeebd6cf14be00aa589d | ocamlx(Micromega_plugin__Persistent_cache) |
| = 195e83141bd63d15eb4777e6c8d17b33 | ocamlx(Micromega_plugin__Polynomial) |
| = faed8bf36fea0a0ec6b3653052dd34a6 | ocamlx(Micromega_plugin__Simplex) |
| = cc585eb9e15e0c3320b14e30731f2cea | ocamlx(Micromega_plugin__Sos) |
| = 1cf739dc6be486e88cd0d15af812a0c6 | ocamlx(Micromega_plugin__Sos_lib) |
| = 4c69a3dcfcabb00f48bab8bc2844a0da | ocamlx(Micromega_plugin__Sos_types) |
| = 673f0445364553b3f9c6f87f72bc0ee4 | ocamlx(Micromega_plugin__Vect) |
| = 1c5cadd0b4122f4c7e16f3931a713e37 | ocamlx(Miscprint) |
| = 70db0856e5a9db6eb5eab1579e4b5ab1 | ocamlx(Mltop) |
| = bfba96ee5f774583e253ac65529a29e9 | ocamlx(Mod_subst) |
| = 30e536260e8e5c57e6d3d172b8246c83 | ocamlx(Mod_typing) |
| = 17869f50d27ad6f9334642f54e0a8bff | ocamlx(Modintern) |
| = 85ee555d523c2443424a86d3374db6b0 | ocamlx(Modops) |
| = 1531fd625fcbfec0386bc4416a03b238 | ocamlx(Monad) |
| = d4887f79c7b7fd0b490c9dee2268063e | ocamlx(Namegen) |
| = 121885b44cb4e55992732270d06feb95 | ocamlx(Nameops) |
| = 785ca50d662b3c0f661e8a3f6f09b469 | ocamlx(Names) |
| = f7cc8e1c89321bbccd48ebaf4f3fdf55 | ocamlx(Nametab) |
| = 040d348b8d1fb84ec230c8dd50e15596 | ocamlx(Nativecode) |
| = 17e17634f63bda217a91c472c4c44d82 | ocamlx(Nativeconv) |
| = 0994db222f8c5e7539f4e17652a28587 | ocamlx(Nativelambda) |
| = bf033c0f807c62b09495c75d16e2dc78 | ocamlx(Nativelib) |
| = c3eae5d6c5eed8c300e7105fdc64dd71 | ocamlx(Nativelibrary) |
| = cb33b07a820b73d3da08da8cb648f3b9 | ocamlx(Nativenorm) |
| = 3c2ad311235669cbdc67e989300115da | ocamlx(Nativevalues) |
| = 5d6354b31d34358bcb2f2711bd16a44c | ocamlx(NeList) |
| = a87b37b88c60824324f8d87bcea3eeb5 | ocamlx(Notation) |
| = bab7bb0646df3f054129bce794dc0804 | ocamlx(Notation_ops) |
| = 8257446c9cd66554f5ea2a10839b9bae | ocamlx(Notationextern) |
| = cb65dc54864ef486e5b468fa0cf2b6b0 | ocamlx(Notgram_ops) |
| = d6a001c21181e7ec3d72b159cd21f753 | ocamlx(Nsatz_plugin) |
| = f267668caf153253bbafd3a6a1adf70b | ocamlx(Nsatz_plugin__G_nsatz) |
| = fe16d9be91c74b63cfd9eedc5c064776 | ocamlx(Nsatz_plugin__Ideal) |
| = 578220c1ac4b625641109bca7234f84c | ocamlx(Nsatz_plugin__Nsatz) |
| = 1583f4427389957f104fb59fae9af116 | ocamlx(Nsatz_plugin__Polynom) |
| = a6ca30d3cf30372d26975bb27b6b920e | ocamlx(Nsatz_plugin__Utile) |
| = 7b11f2547df4c323846f584fbbc8061e | ocamlx(NumTok) |
| = cbb44bb171253e8f46928a4abc7ef06f | ocamlx(Number_string_notation_plugin) |
| = 26f6a68fa538990f257a607d4a423f3b | ocamlx(Number_string_notation_plugin__G_number_string) |
| = 96bd2bf9fa29d56b1220eff49c5b8ca7 | ocamlx(Number_string_notation_plugin__Number) |
| = 2b4757917afa4e8690401900b35a235f | ocamlx(Number_string_notation_plugin__String_notation) |
| = 6cd7c6d1df390b2322440b3d5dd589ab | ocamlx(ObjFile) |
| = e5e4462841a774d08b5a3800945b711c | ocamlx(Opaqueproof) |
| = a21f80f212072314c0ff3d97968ce76c | ocamlx(Opaques) |
| = df5eb2d73fefed70260934356ff58707 | ocamlx(Option) |
| = 2163d7fcc88818c7b14eb73574fc89cc | ocamlx(OrderedType) |
| = 78ea2a8f326efb9cbddb9a0ccd0801f1 | ocamlx(Parray) |
| = de12ca51769366f548779e6456a9b993 | ocamlx(Partac) |
| = 6a3849768a157828a5729d98d22e17f0 | ocamlx(Patternops) |
| = cc1211e8b0e3c0a2cf2f870e59525e5b | ocamlx(Pcoq) |
| = 94b7823fd36144450275ae3fdde83959 | ocamlx(PolyMap) |
| = 419fdf7aff0a53196f149e576ae4bb8c | ocamlx(Pp) |
| = 5e4a93cfb5099a48d716e33332ca9ea6 | ocamlx(Pp_diff) |
| = 6c3220d3cb8f93f23606ea810a9c2acb | ocamlx(Ppconstr) |
| = bb30a88cb7b492aec8f692e798af59fb | ocamlx(Ppextend) |
| = d826a922e28ef3309b10ea8e219197a6 | ocamlx(Ppred) |
| = f52d4126b07460e3171af105d47b3dd7 | ocamlx(Pputils) |
| = ee988b4f1539f0ed9b13adab5f2ea25f | ocamlx(Ppvernac) |
| = ab67d36eefa4d91ba66178d4d82a478f | ocamlx(Predicate) |
| = a2ba93d3fef3cdff06b96a5e60ec5eb7 | ocamlx(Prettyp) |
| = c0b81700017f6fc44f6e36355b5d675f | ocamlx(Pretype_errors) |
| = 45f49ff0d1a8908614e5b71d0bab3314 | ocamlx(Pretyping) |
| = 8ecc5cf8ab805421d315636404f5e4e3 | ocamlx(Primred) |
| = 08d3e54512588e6bd0974b37fd5ad6dd | ocamlx(Printer) |
| = f6dc95b93e412d01f9d1d48003f2f28b | ocamlx(Printmod) |
| = c379cf76bc8a06e0a8793de802d39188 | ocamlx(Program) |
| = 4dc197a7da50ce61dc3390a13053e42d | ocamlx(Proof) |
| = 59c34817f831700498610cabb68f823c | ocamlx(ProofBlockDelimiter) |
| = 64cffa08f04bcfdb3e179f8c83ea0952 | ocamlx(Proof_bullet) |
| = 156db8dee44f2cf9ec20352ed3904b3a | ocamlx(Proof_diffs) |
| = 2f613b2e924e5e164263597bbc426417 | ocamlx(Proof_using) |
| = ec0bf91a685de030939756a94f7f7d7f | ocamlx(Proofview) |
| = a4d617ef117433f7ba6058d76d054d3d | ocamlx(Proofview_monad) |
| = 3b957d52c625e9be65aa838485182fdb | ocamlx(Pvernac) |
| = 3ab33b6768b6bd01171e9efaa5868197 | ocamlx(Range) |
| = ca9804e6b873fbfe463e58216249d44d | ocamlx(RecLemmas) |
| = 98f90654ed4d4c6f9065ffb7aa64d22d | ocamlx(Record) |
| = f4a65d2f9dd9036fb0c58aa9eb11b522 | ocamlx(Redexpr) |
| = 6257b021f1a835c03f3cdd326d9909f4 | ocamlx(Redops) |
| = 71b4b1af0f0dd4ffe030e4132ace4ae5 | ocamlx(Reduction) |
| = 7b448095efbbc01f356f12d8628febfe | ocamlx(Reductionops) |
| = 63192751b57b7b1b828f7698877ebcfb | ocamlx(Refine) |
| = 9ba915b9742d4dadccf83cc08ad42207 | ocamlx(Relevanceops) |
| = 9759ca48828c295a8b95114b7aa5b811 | ocamlx(Reserve) |
| = 4e78c46e773a218263fd0a3d9b9352b0 | ocamlx(RetrieveObl) |
| = f6f85197e83f77b5c41746feccf7ea3f | ocamlx(Retroknowledge) |
| = 375012209fa5d859f9491d6d6bfaffde | ocamlx(Retyping) |
| = e3e5475372f75f05e641f1d9d5437d2c | ocamlx(Rewrite) |
| = 065879c531fd1bd28a924e5ad52851dc | ocamlx(Ring_plugin) |
| = d650f0426c35bcc2929d343c3c9e72c6 | ocamlx(Ring_plugin__G_ring) |
| = 3a7d095e4a6d6d7f7f3069f1132b3b59 | ocamlx(Ring_plugin__Ring) |
| = 032bce14b9d8d41aed27073802634b43 | ocamlx(Ring_plugin__Ring_ast) |
| = 48551cc3964c7847c352af7c93d98c9e | ocamlx(Rtauto_plugin) |
| = 1a79d2e7e137cd01051e6a601a3a97a9 | ocamlx(Rtauto_plugin__G_rtauto) |
| = a2ac07bbe2c11cbc6d941a6ff4c9f754 | ocamlx(Rtauto_plugin__Proof_search) |
| = 3d10daf99b8a3f127a10ea722acc5bf0 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 78c49df5d574515d80c7db6946d5bf7f | ocamlx(Rtree) |
| = d0f944bace0156dbba61bcedfbba80dc | ocamlx(SList) |
| = 5b3930d9b1c6c07732a8924c04f72d54 | ocamlx(Safe_typing) |
| = ce49a8db7ea9331594d8db64b6c4aa14 | ocamlx(Search) |
| = d449079bfd7cf09512d3f84139d7a10a | ocamlx(Section) |
| = f21f1b28099ba9db638e2bb02915a529 | ocamlx(Segmenttree) |
| = 79e38c2de1779dbc2e59c95b134a8be1 | ocamlx(Smartlocate) |
| = 2a062897e4b871c222f2ad2fba9fc6d2 | ocamlx(Sorts) |
| = 364038e96dc45d7fc8935e3a95af4d39 | ocamlx(Spawn) |
| = ed7e4cfccda3dca18d8af2d73a21876e | ocamlx(Spawned) |
| = ba1e1ca748309cf1352dbf0a6f816a09 | ocamlx(Ssreflect_plugin) |
| = 16ddbcac2ed1db733c2e534cbebe54c7 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 7ebfcc74fafad240c964018c9436d405 | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 96aed2fef57647a957a316badf51b2e5 | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 20fef1b1c24da098c88c6b0053994223 | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 8953e64258863274f592910db7690130 | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = c38c1058cf4fe6377cacd9e90744468a | ocamlx(Ssreflect_plugin__Ssripats) |
| = dc97e1324b1a99a1c42815ba74beaeff | ocamlx(Ssreflect_plugin__Ssrparser) |
| = 7aeaac54f8a8f44fc77a2542a384f1c2 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 281e48242f43a8c311096b2ee4129ecf | ocamlx(Ssreflect_plugin__Ssrtacs) |
| = 466fe1196e612e1cb9e01e44180d48c1 | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = cddabf6a5b0ac7ea50b88e0f5b2c621e | ocamlx(Ssreflect_plugin__Ssrvernac) |
| = f6222e63d3a507f14bfbaff77b0eea1c | ocamlx(Ssreflect_plugin__Ssrview) |
| = 3e4bd3af8fadf1b346d063ea3bfa6f8f | ocamlx(Ssrmatching_plugin) |
| = 8c803f7d997ada7369ed7938d14019fd | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 01d7cb92320125bd85630456a0a36572 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = 8a6cfa1023aa999633213c8ccbc3b77d | ocamlx(Stateid) |
| = 0e4cb886eca10928e348477a9ba04a31 | ocamlx(Stdarg) |
| = c8d28b9bd5d8d64c1c996ff71bc0dc7f | ocamlx(Stm) |
| = d4bb645db0fa1ab199620ab7acd9bb6c | ocamlx(Stmargs) |
| = 7a6414c41956de3e4e739e527f88c18c | ocamlx(Store) |
| = 0bbc801bb04e6b41c9ca3f4c96608cff | ocamlx(Structures) |
| = dcf84daef2bc91d69c7cd28c6e003561 | ocamlx(Subtyping) |
| = 67be684190e306e7bb1aebd1a7cc0dd7 | ocamlx(Summary) |
| = e6457fc2f1a7d278e650961e280356e9 | ocamlx(Synterp) |
| = 2e97e27e9538e9f6bdd679c8f507b5b2 | ocamlx(System) |
| = f7f6e860d725a443e796b86bdd23f510 | ocamlx(TQueue) |
| = c92652673cfbc267167d8ed065513779 | ocamlx(Tacmach) |
| = af0c186c1f59882ff427409c8626e41b | ocamlx(Tacred) |
| = a23530d15009873508122f6470f7e8b1 | ocamlx(Tacticals) |
| = c0ca09dcd7d3f6b39e81891c7eb3b992 | ocamlx(Tactics) |
| = 9b46771c5cc8587f0ebb0b3d8595f6ad | ocamlx(Tauto_plugin) |
| = 2e8e8af5981b8e386e8f61acec367c92 | ocamlx(Tauto_plugin__Tauto) |
| = 75cc61d7e28aad19c4dc59cf6d6bb39f | ocamlx(Term) |
| = dc2f054a79a7003b3463e64b3de01843 | ocamlx(Terminal) |
| = 992d1656087f77f2d90abcd901eadceb | ocamlx(Termops) |
| = b80c78d31d9d9fd5e6e1e6bcc24829fb | ocamlx(Tok) |
| = 1436afd291a97cc341cf388569d63459 | ocamlx(Top_printers) |
| = 896fec45410e203a8bfbd4dc43829fd7 | ocamlx(Topfmt) |
| = da5557a7124df6c408f1be20d035e448 | ocamlx(TransparentState) |
| = 3895062cc3abedbc3247191ea017dee9 | ocamlx(Trie) |
| = d55fcc9f2afa7dffd2497681d3c6b09a | ocamlx(Tuto0_plugin) |
| = 0b30b3b21c54b8815f09fbe2bea2be94 | ocamlx(Tuto0_plugin__G_tuto0) |
| = 302bcd872753aa64110ab842be687178 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = ccf288980a0f3ac5c2518d2d7a60ffb6 | ocamlx(Tuto1_plugin) |
| = 8f5803385e3aec3177b353f9e5f460d8 | ocamlx(Tuto1_plugin__G_tuto1) |
| = b841df3a5e05b580062a8556b5e535da | ocamlx(Tuto1_plugin__Inspector) |
| = e4f46ec39cd0b8f48c61cb5819046570 | ocamlx(Tuto1_plugin__Simple_check) |
| = 0567b7a4250f25ea97f70950036f93e1 | ocamlx(Tuto1_plugin__Simple_declare) |
| = cc05d64e75a6f36845061302a4d36552 | ocamlx(Tuto1_plugin__Simple_print) |
| = 4103992a14636702692977d2a4c5359a | ocamlx(Tuto2_plugin) |
| = b03de40da6b65f0f30e9f0a86caf4c1a | ocamlx(Tuto2_plugin__Counter) |
| = 6f343a4972a2a9bad100757f0dcbb9d8 | ocamlx(Tuto2_plugin__Custom) |
| = b02b6a35144586fc8305b40f37f6e0ed | ocamlx(Tuto2_plugin__G_tuto2) |
| = 92c975dffed017acc60a133498135426 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = f25a1b937e17658df19641388a56c72a | ocamlx(Tuto3_plugin) |
| = 68498c1858b0d72945ee03dda2fc7dc6 | ocamlx(Tuto3_plugin__Construction_game) |
| = 579197d1aa255de3720be28e64e36c1c | ocamlx(Tuto3_plugin__G_tuto3) |
| = cfe1a3be67683bd94624e55d9947f4e7 | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = 38b2ed17bbc42ee2fef5bd31cfa34997 | ocamlx(Type_errors) |
| = 09218934dea1b741c77b7775773e6a17 | ocamlx(Typeclasses) |
| = adc57db681f91e5eeb9a1a415286d8a5 | ocamlx(Typeclasses_errors) |
| = 0eae55ba06c1c3e1d4e6d9866a9f43e0 | ocamlx(Typeops) |
| = ac86ba2a07f61c153656cc4621a30f19 | ocamlx(Typing) |
| = c2611f231532a9e143d3b34125f50d8a | ocamlx(UGraph) |
| = ee2ec5bc29199ec5a7e83c49c7a10378 | ocamlx(UState) |
| = 2a57dbb786b1c670b4c0cf6019624daf | ocamlx(Uint63) |
| = 7ad40dea3041af4bfe0c48875a277d2f | ocamlx(Unicode) |
| = e39cbbfff4023c88469f7c1d4c7ce266 | ocamlx(Unicodetable) |
| = 8b0ff64756f3df5ff9af93d30dcd3f8e | ocamlx(Unification) |
| = 8246f3486bf7e2c27d9e11279783297e | ocamlx(Unionfind) |
| = 7b0dffcb374df7460ed7d43485d86e09 | ocamlx(Univ) |
| = 4a117004a5b01383ea20342d5b0fb448 | ocamlx(UnivGen) |
| = f7492f3ad1c77c357680cf526cc369e4 | ocamlx(UnivMinim) |
| = 1a90ca329ad46db4524f363f66af2d6b | ocamlx(UnivNames) |
| = b77a2e1d7ec12cb87b38884c6a6719d7 | ocamlx(UnivProblem) |
| = 953a2bd1190ffba7ee06eab64c955509 | ocamlx(UnivSubst) |
| = 44b5822c32cc6176e4a217380ca5890d | ocamlx(Util) |
| = a43ffad5169d71ea48509c01cd86b5bd | ocamlx(Vars) |
| = bc4e30f7a66d3b86d77267811381499e | ocamlx(Vconv) |
| = 8d08cf5eb87db66e324ec3377246e2a6 | ocamlx(Vcs) |
| = fe9ad71ce808e9cc404eff40ccc33ef6 | ocamlx(Vernac) |
| = 9f0ad8b3f8e698c6e6949473c6c09bd1 | ocamlx(Vernac_classifier) |
| = c0581a6052c9c2563c2500a835b8b8fc | ocamlx(Vernacentries) |
| = 7263c71528cb1dcd0f9643a65a6ca669 | ocamlx(Vernacextend) |
| = 4e02b750ddf9af1c0e5180aed76d259f | ocamlx(Vernacinterp) |
| = 808cf8342aa7d3eff0dd22ee74eb91a9 | ocamlx(Vernacoptions) |
| = 7ded7e247a70a5358f2c2f8d67fcc2fe | ocamlx(Vernacprop) |
| = f4aeced977e685124b837e7e72a9a567 | ocamlx(Vernacstate) |
| = e416cc4a0537670f16c88d37a2f762ff | ocamlx(Vio_checking) |
| = 08f603437213a5b3f5c025023714a129 | ocamlx(Vio_compile) |
| = c9cb076fd366b35748d82a7401eb5b2f | ocamlx(Vm) |
| = c954768a6cbf7a843800fc272851c704 | ocamlx(Vmbytecodes) |
| = 3b213fded760063a03cee8dbb22015dd | ocamlx(Vmbytegen) |
| = 82d76c25e7cfecc8f647f2eefe0a68ba | ocamlx(Vmemitcodes) |
| = 685982d8c3d0787cff64179ef865e16a | ocamlx(Vmlambda) |
| = db2da2bba6fd8feff297d1266de1de83 | ocamlx(Vmopcodes) |
| = 80edcd23aec8f5cc5f73581d9baf5a69 | ocamlx(Vmsymtable) |
| = d87a28b37471e746a1cca02840ab41f4 | ocamlx(Vmvalues) |
| = 731dc14bcdd3c515bf83c39f7f7cbf4a | ocamlx(Vnorm) |
| = cdaf42223baa6d139b018137f7593242 | ocamlx(WorkerLoop) |
| = 304e5cffad1319746425937b38a3833f | ocamlx(WorkerPool) |
| = a20308854293709316ee22e5ccbdb473 | ocamlx(Zify_plugin) |
| = 390b822f21980edf3d2dc2cfa26c6ff9 | ocamlx(Zify_plugin__G_zify) |
| = 0bb260135803a8f0ae8cc4233cd7156a | ocamlx(Zify_plugin__Zify) |
نحوه نصب
نصب پکیج rpm coq-core:
dnf install coq-core-8.18.0-1.fc39.x86_64.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/coq-tex |
| /usr/bin/coq_makefile |
| /usr/bin/coqc |
| /usr/bin/coqc.byte |
| /usr/bin/coqchk |
| /usr/bin/coqdep |
| /usr/bin/coqdoc |
| /usr/bin/coqnative |
| /usr/bin/coqpp |
| /usr/bin/coqtimelog2html |
| /usr/bin/coqtop |
| /usr/bin/coqtop.byte |
| /usr/bin/coqtop.opt |
| /usr/bin/coqwc |
| /usr/bin/coqworker.opt |
| /usr/bin/coqworkmgr |
| /usr/bin/csdpcert |
| /usr/bin/ocamllibdep |
| /usr/bin/votour |
| /usr/lib/.build-id |
| /usr/lib/.build-id/02 |
| /usr/lib/.build-id/02/aeac3db5e27e2e124cd79e0fb0cf468e8bb620 |
| /usr/lib/.build-id/05 |
| /usr/lib/.build-id/05/52df5fd3e8aeedfe13c7cb3a1690f729126aaf |
| /usr/lib/.build-id/07 |
| /usr/lib/.build-id/07/feed1f879faccbafded0b156e6a2555c7ded6b |
| /usr/lib/.build-id/0a |
| /usr/lib/.build-id/0a/f1d0d3f95a56617d88a78857078bc2c1eac3d7 |
| /usr/lib/.build-id/0e |
| /usr/lib/.build-id/0e/0671c2826e56b12455f7c96bdf8dccc81e2221 |
| /usr/lib/.build-id/10 |
| /usr/lib/.build-id/10/c41229ad6fde62f7e04243d5fb3e541268b1ca |
| /usr/lib/.build-id/12 |
| /usr/lib/.build-id/12/daaef90b319588d37b8a0296b1547acf5a143d |
| /usr/lib/.build-id/19 |
| /usr/lib/.build-id/19/6ad68e72b5697883cd73fa380406903699b51f |
| /usr/lib/.build-id/1a |
| /usr/lib/.build-id/1a/f87bdd51b780402e417dc93fef345d40a00f89 |
| /usr/lib/.build-id/1d |
| /usr/lib/.build-id/1d/35239f9e86b9fb8ff4f0d380e4ac09fa2a4779 |
| /usr/lib/.build-id/20 |
| /usr/lib/.build-id/20/934ae1a105d4df95606a099fd71b635b50a02c |
| /usr/lib/.build-id/22 |
| /usr/lib/.build-id/22/20fe9c0c99e4b55a378055b168042860b0a397 |
| /usr/lib/.build-id/26 |
| /usr/lib/.build-id/26/a65dff4b14d36058abdbaef665c2e49dfae2b0 |
| /usr/lib/.build-id/2c |
| /usr/lib/.build-id/2c/a013c31bd3e5b2a6ae3dff6852e2cb089de55c |
| /usr/lib/.build-id/2d |
| /usr/lib/.build-id/2d/6a3a1999181855e96c3e1b9db1ee4176ae7164 |
| ... and 2861 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2024-01-02 |
Version 8.18.0
|
| 2023-07-27 |
Rebuild for ocaml-zarith 1.13
|
| 2023-07-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
| 2023-07-18 |
Validate appdata with appstream-util
|
| 2023-07-12 |
OCaml 5.0 rebuild for Fedora 39
|
| 2023-07-10 |
Version 8.17.1
|
| 2023-04-01 |
Version 8.17.0
|
| 2023-01-24 |
Rebuild OCaml packages for F38
|
| 2023-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
| 2022-11-26 |
Version 8.16.1
|
| 2022-10-06 |
Remove the manual, which has a non-free license (bz 2132567)
|
| 2022-09-16 |
Version 8.16.0
|
| 2022-08-15 |
Convert License tags to SPDX
|
| 2022-07-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-07-19 |
Enable documentation build with Sphinx 5+
|
| 2022-07-19 |
Remove i686 support
|