Result for 91B314AF0C89BD39C4B37F527ADE3568A7D268C4

Query result

Key	Value
FileSize	35402568
MD5	0910532B4AFAB542E414F7D10931CB16
PackageDescription	proof 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b1
SHA-1	91B314AF0C89BD39C4B37F527ADE3568A7D268C4
SHA-256	E7C5E24E394321A47BCEECC9388454C2F814D05435C9D109FE0B7F7B793D4D58
hashlookup:children-total	4942
hashlookup:trust	50

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
FileSize	23381
MD5	2BD5F21F51E0A9131EF16424E5FEC4A8
SHA-1	000C7D0FC0991D9F9064FAAC7BDE3C5C27E2E988
SHA-256	D581EB6E93583ADDA8F0C806922536CD122BB9A654A357AFCA81D96DF892AB52
SSDEEP	192:KpWEMfVjiXdTgJPtJV7XQsoJLIVuhrEA608C3Qx1VHWLy4j/0q:0X0tvEgo
TLSH	T19BA2314215C2646E42597A2F4AB47DA962F30BF54B603C04EF9FFD7FCAA2795021D283

Key	Value
FileName	./usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Disjoint_Union.cmxs
FileSize	16096
MD5	83E97CB129F27854C0DEA2C9D1FF9482
SHA-1	00165572BAEA10AF222848F0DB7D6283B61436C5
SHA-256	FE354DA33A504AF75EDAF0ADA25C8E1AB8A07C8A6760C08DEC89F1B7EB5F41B4
SSDEEP	96:UuNIUYjjBWBsnoikxZIl1Qik0m5nhWiC9AR1DTPhn2Zhg8DDcUf9JnNH3+55NULb:3NYj8Gf0MdjiC9ITIWW3v
TLSH	T1C2720A477BC6E93ED47455B281CF471AB2F0F41265A5CB2B1A40370C4EEBD42EE62A83

Key	Value
FileName	./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmax.cmi
FileSize	2598
MD5	39A844D9D02B3B095E47BC05DA6F8F2B
SHA-1	001B02F2B44C392E4D974B115E8A7D60FD5DA1F7
SHA-256	2AB944242DF42247D7CF9F76CC38C688E8ED97F6A087459E96F99C9AC992870F
SSDEEP	48:DvouTcuvkwCSnhRKRi1wDji/QWEARg2DTcshaTaZ/sUvLg8sA6ggLKcg:DvQw5nhWiC9AR1DTPha2Zhg8DDcg
TLSH	T19F51C589738579B6746101B3CADD00D712B1282AD361D8BCAECE23498AB8D1B52D3A07

Key	Value
FileName	./usr/lib/coq/theories/FSets/FMapFacts.glob
FileSize	319787
MD5	1927E2601305575C967E80921CA42E1A
SHA-1	00302BAB730D1B98EB38151D028CD996D5031B16
SHA-256	559D3DC597C26B11F14C7F01E3CC979AF13811C53ABCA74E97055FCC31B29555
SSDEEP	3072:ysodLARSmgOFBg9RP/XcTJvfzLe4QcBIFIsnQU5SaMzZ22L+fVRjPVgn2TyJaTbm:WA6mJay7
TLSH	T18B6456FE71476E7B1E9FCE73874123A6C95901F72A6B0032B6EE8BF9396418D01189D4
tar:gname	bin
tar:uname	root

Key	Value
FileName	./usr/lib/coq/theories/MSets/MSetList.vo
FileSize	385218
MD5	243764E1CE443E649D1738693BE8ECE5
SHA-1	003B045ACD3D2F5D1E2E048AF6F8107D83150E74
SHA-256	6F673BA8B49C74268A214789AD0C2FDFA6142AF846920255C25D880CEAC40432
SSDEEP	6144:xZzmm9BoKa5qoCxhFEgQtedEo/+7e/MoQlJ9Ow4IvRc5ahaVimkb+BSzK:f7oGxzELteyZPPTOwDc52vioK
TLSH	T121847DB1F1095EB5C8EE19F8F3C4F161D662459E01FF46928E6DC31884CA7EB508ABC6

Key	Value
FileName	./usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis1.cmi
FileSize	21756
MD5	6591373BB02BA9202D065F1F1763416C
SHA-1	0052C78929E5CE0EA1782AA7C42DD4580405C35E
SHA-256	7CB6EBF21C876E1E4B94B60434F2CE2C7553C964C1D5B9F2E8F94778715D898F
SSDEEP	384:zlM6JjHnfUK4Y9sC1/S2oNnQ+cjj06Th2HdhvLW5SWK:zffJJscqy+cjj06T6W0WK
TLSH	T1F3A2BE8E5E026528DE1AA0FEE7E9215B6F104B7FA2D8CEF7C7041ED0854260C13DB663

Key	Value
FileName	usr/lib/ocaml/coq/theories/Logic/Classical.glob
FileSize	154
MD5	9DA2A7777B2B11FF7D1428A90880F666
SHA-1	00884F2F040235006CA1A9A5BFE9A60C81A1C174
SHA-256	F96E319C26FC91B9A59F7BFD857DA9395F0D86C6CAD3D771F61A7D0851E34834
SSDEEP	3:JnDTdhnXNUKXXdJfGSJEWWkhSaXfGSJEWWkMenFZknDUpGSJEWWkM6mbgP:FTLn9UWdJfGSJVvGSJUeFanDGGSJU6mA
TLSH	T1DEC04C26890525F43A9319715D8113F06371718DAE55DA51A46E990E06C489CB924BAE
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Peano.cmi
FileSize	8300
MD5	6E1B5A5B304EE24BA0E21E11F79452C6
SHA-1	00AAA278799CECA827890590FE7055B00A743A85
SHA-256	34E5DF19F30070EC1EE62C04385B47E017AE302B64A0E39106890E0D351D3A5E
SSDEEP	96:O6TgCC9R4EICmBHVZoBJ2IR2GkIYDFDDCVi05nhWiC9AR1DTPhnF2Zhg8DDcg:OoERTIzNnRGkBD1QiZiC9IT1wWWn
TLSH	T13902EC9D2750AA1AFD4219E8C3ED5267139046FEE2E2DDFBC4480FE48E5142ED397263

Key	Value
FileName	./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zgcd_alt.o
FileSize	15368
MD5	4EE6115D9E7A3FFAFEC60D6E72C42E8D
SHA-1	00B41BC8B242CC4374FFEC842C7CB3FE68ACA905
SHA-256	2ACABF0D46530EA65E8EBE48F5792CEF07C7E2B188EC945B34710BBAE350E32C
SSDEEP	384:72vR1E8MWbFTbGewbTc0VnyHDSDF8sz4r:72ZJJT6ewncanyK0
TLSH	T19162414ACFD6CF3FD61B4AF008EF4BAA37B0D854ABE6BB1BA404B1455E40B48279154D

Key	Value
FileName	./usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpower.cmx
FileSize	5874
MD5	3557448EDE24B0AE70C4E66E0E54FFAA
SHA-1	00B44CFA376976C7819DE04937D45BA0624CDC5A
SHA-256	FB490E1E840FD2CF3CE5C013A01D50BB363BB8AA0C81C22C132E43AAFA08F308
SSDEEP	96:C5nhWiC9AR1DTPho4xPzZVRvMsyKfvLW5Hi7Bc2Zhg8DDcUfHmLgLQmNhbnDNOLk:XiC9ITK4xPbRvVXvLW5ofWWYLUQmNhbJ
TLSH	T174C1C7862A80A1663F53D1F56FEC348B2DA3141ECF699D78F75A0A4DCD7A81182E2173