Result for BF97BCF43CC30A1974C53B6ADDD84E0DC7A02E9E

Search result
Graph view
Children (4942)

Query result

Key Value
FileSize36491180
MD5564C89F37D7F34A7E666926D717560F7
PackageDescriptionproof assistant for higher-order logic (theories) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.12.0-3+b2
SHA-1BF97BCF43CC30A1974C53B6ADDD84E0DC7A02E9E
SHA-2566B62B138538AE259BD9BEF1036024EFE215FC0B0B1A2535975E128C296EA0A28
hashlookup:children-total4942
hashlookup:trust50

Network graph view

Children (Total: 4942)

The searched file hash includes 4942 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/share/doc/coq-theories/html/index_projection_M.html
FileSize23381
MD52BD5F21F51E0A9131EF16424E5FEC4A8
SHA-1000C7D0FC0991D9F9064FAAC7BDE3C5C27E2E988
SHA-256D581EB6E93583ADDA8F0C806922536CD122BB9A654A357AFCA81D96DF892AB52
SSDEEP192:KpWEMfVjiXdTgJPtJV7XQsoJLIVuhrEA608C3Qx1VHWLy4j/0q:0X0tvEgo
TLSHT19BA2314215C2646E42597A2F4AB47DA962F30BF54B603C04EF9FFD7FCAA2795021D283
Key Value
FileName./usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Field_tac.o
FileSize2688
MD5F455EF757A4647F3A86A25F71BFF5E4A
SHA-1001B46FFDD32C71D9CA8EB95FA271FE6B2F6410A
SHA-256AF24B7E8C6D0520597A37B55CE479129FFE25A48455BB28468BF1A2A0F2C1498
SSDEEP24:b+fTJTT58j1WE4ZCkwgJJI1HacrVmbSp5bfzWrFkRfJsp1UEP6H:b+7B5mJDgudokbS9S
TLSHT12C518E031FEF8D79E119E1F04CB526326350F9115BE2C303E7607D5A8EB358D9D2A48A
Key Value
FileName./usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNativeString.cmi
FileSize2405
MD580429B35958E467CE6956D945982F984
SHA-100204244F31E96FC9092587BB09508DC7CBD7F7E
SHA-256923F14F57FD425AD2BE6C71945731ED9BC5E577BCFAC5EE8D924E559B072EF85
SSDEEP48:74Gn/M6UvVzH/egUK4cWpcD1MQu/NL7Jy9LtqZlL:nn06Uvx2+vWpdQu/NLtTZt
TLSHT1B141D8543292B6D13633A3A78FDE405B02305A47C6A704BC47CC5BC80B7557A42DE59E
Key Value
FileName./usr/lib/coq/theories/Reals/Ranalysis5.vo
FileSize195464
MD5E54D308FC368238023E6F65B7E71B8AA
SHA-10024572730679FCF2B7E78D06CF275D735B7B3A1
SHA-256C7E0ED42B0B28005FB096585E2461C2BADE46745416F4AAB1A8B5402A083CDDE
SSDEEP3072:CJbKZpu6EEy1MX/BagiOoEIbQauuJjupXzmiJcz0YWYxxQxEuZMzwfIXvAzsea2N:vQ6Qca+olbjJapD1JczM8z6IXvAz9N
TLSHT164149D96E090ADB089EE8DF0D794E8927913494F92FD07868E38015C468F2DF1C79EDB
Key Value
FileName./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Peano_dec.cmi
FileSize3666
MD58D7645040B14C239C3661B3753BE7CA8
SHA-1002B1980D3B08548B45ED69DA17B1FCDAE1A07D5
SHA-25613DBE81E9B2EC7A9745AC40BCAD4010DA0A4DEEFB10921743C56622D769A086B
SSDEEP96:NEapnn06Uvx2+vWpdQuHDwy9bmgfoNLtTZt:HpUTvZuHDwy9kpdt
TLSHT1DC71D59C3325B191BE57E2D29BA810930270266FDBE708BD52C90ECCC95842D83EA95B
Key Value
FileName./usr/lib/coq/theories/FSets/FMapFacts.glob
FileSize319787
MD51927E2601305575C967E80921CA42E1A
SHA-100302BAB730D1B98EB38151D028CD996D5031B16
SHA-256559D3DC597C26B11F14C7F01E3CC979AF13811C53ABCA74E97055FCC31B29555
SSDEEP3072:ysodLARSmgOFBg9RP/XcTJvfzLe4QcBIFIsnQU5SaMzZ22L+fVRjPVgn2TyJaTbm:WA6mJay7
TLSHT18B6456FE71476E7B1E9FCE73874123A6C95901F72A6B0032B6EE8BF9396418D01189D4
tar:gnamebin
tar:unameroot
Key Value
FileName./usr/lib/coq/theories/Numbers/DecimalQ.vo
FileSize164981
MD508145C4CA48970DE55571EDA74F03B0D
SHA-1003228B88FF385B0CAE531E867F5CAF77969FEAC
SHA-256058AB51B2EBC69B9CA6720155BFDBF480B0985B3A5E7E2FA0C963C8D9397A093
SSDEEP3072:U35nx9g8Coc4zETWLuF4XPHjK9RmQM0w/J6GKPdCl:0v9PCoKSLuqX7K9RmjnqPUl
TLSHT1ECF38E52D113DDB0C4EE59B1D6D950C16D13860F02FA1A1E2E6CC31CCE8BE9B19AADDB
Key Value
FileName./usr/lib/coq/theories/Arith/Even.vo
FileSize51527
MD56D555C5DD5E2CAD513B64959EEF8DE0E
SHA-1005CA05BCE9603F4A0CCABE7F4A921047E8E1825
SHA-256C07BD49FCBAE321109D63D38F25339B772B24D2B578290E70450031E74C89DAC
SSDEEP768:PmgMc2W4DmPe2Tw5m0UI05tox33V8ip30LZ9lxRU7sYpySzxDzAXoLFmuPBCI7:Pic2W4NkwdUp5tm33t2/zb0wgmuPBCk
TLSHT165334B99D54DD571E8FF1EF6D234F192362A088E82FA1A550C2C922CCAE72CF3593587
Key Value
FileName./usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NPow.cmi
FileSize2410
MD5C859327D2B513068203ABBC27FC4ED50
SHA-1005D299099D1706A0206679FEEF7AB5B066E14DA
SHA-256F95E60C8F3B6B4906D6B927CC0EDF4796CE0A7EA6154768A3F883641A75A09D9
SSDEEP48:sZ4vIn/M6UvVzH/egUK4cWpcD1MQu/NL7Jy9LtqZlL:sqvIn06Uvx2+vWpdQu/NLtTZt
TLSHT18241A8593293B6D13622A3739E9D805B02305B07D6A6447C03CD0BCC166B5AFA2DD5DF
Key Value
FileName./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_auxiliary.o
FileSize6728
MD5376A964F553A134A43BAC6A264E99AFE
SHA-100715F3BC60F4900F409B6AB2764E86F25338287
SHA-256A8F0D202B661571144E11C6965E32080DD0F2658AC0B7D06C8837B777D049776
SSDEEP48:b+54frGIhlEGpepd02gFC6a0aKLH1xXyqyKHCn2u2eWHODkz718E:b+ufrt9ChKj7iqyKHCn2u2eWHOYz7CE
TLSHT1E8D15A0736A38D2EC20A89B580B562519379FC14CE5ABB977B05BA0D6F71FC8CE33456





metalookup is a service from miwakeru.com