Result for E1D4682414BC062283E85D96D5044F75CB8B0E8B

Query result

Key	Value
MD5	4B69C01E0C1DCA686F3FF1B4C18B9C83
PackageArch	x86_64
PackageDescription	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. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc34
PackageVersion	8.13.1
SHA-1	E1D4682414BC062283E85D96D5044F75CB8B0E8B
SHA-256	9A6C9842A6A180D3CCD5B19AE8A27EB20740BFD6EB02FFC9FCE43AD84EB47B45
hashlookup:children-total	5764
hashlookup:trust	50

Network graph view

Children (Total: 5764)

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

Key	Value
FileName	./usr/lib64/ocaml/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3_facts.cmi
FileSize	3036
MD5	2B757F8509C8667BE44ACFD3FA76CCDE
SHA-1	000EAF97AF00E3185D73B7C77BA748CFD2506DBA
SHA-256	06977DF79427393C4785129A74B48D37C674327A6963D4BAA99D4C271F3FB4E8
SSDEEP	48:YHQbNvIvJXvX1ov+evKZzv21wtq4FgUvVzH/egUK4cWpU1M7o61lZTHNU5L0Sqkg:6Qbl25X1WHKN21L4aUvx2+vWp1D1tU5o
TLSH	T1AB51B7A53764BE637E3353D3DBE440DB1130282FEB924AFC489C5788611645A53EB26F

Key	Value
FileName	./usr/lib64/ocaml/coq/theories/Numbers/Natural/Abstract/NBase.vo
FileSize	85548
MD5	74D5BD2D9C4D3334334E1CF03CC6B737
SHA-1	0011FA092885FB4021C1D26551B33A05B92F85AC
SHA-256	38671507E2BFE37907AAA9381A1DF7F2531620250AA524901C95D0C7CD2C754B
SSDEEP	1536:a0umqLdBKf/+WbeCGHh1eR+k/m6wEE4BJDP/uFxMWV1qWRulF/QR9tAxnN:afm8KeW7H1u+XDiMWVzRulxY9qr
TLSH	T10383E556A64763DCF8494BB2F394A524C4A80D7D43BDA79EBD2CC114899B38B27C23C7

Key	Value
FileName	./usr/lib64/ocaml/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_polynom.cmx
FileSize	43186
MD5	690D3F161B7C1D6D10D8C68CAAC19263
SHA-1	002684103D76382A5B0B85C59ECCC9AE3B58D475
SHA-256	0326C518BB316EDE640CF89F90BEB63F619773617EAF22D7D14942A1716BCFFE
SSDEEP	768:etEHYUEwMi0Z9rntqv65o87DRJLRfclV2B5zGACyMWkM1raNBlDYv63p8+ot/NcI:YhcHoHQhEEu0U
TLSH	T1721351421F72A8402652BDF51C7DB85DCE80888A5BEAE6D3F65C65DBDD8350CA24F383

Key	Value
FileName	./usr/lib/.build-id/a2/19713df9f3c19b9dbeaba5c8a264311a27b8ce
FileSize	88
MD5	908E346E1AC72C710151273E289CCE96
SHA-1	0036638C9475186BA8744DE1532A8798CFCB1289
SHA-256	9B89408800C0C161B17E4DED76C97EAFAA70A6C2D314D70ADDDC42F8ECB0A5DE
SSDEEP	3:gCD/uAW1ZdgKq6wKC9t7K25W:X/PWP2DJugW
TLSH	T132B012607639E510741400F004111C491B001CC875301EE0810E012CE004848839172A

Key	Value
FileName	./usr/lib64/ocaml/coq/stm/stm.cmxa
FileSize	36859
MD5	27E1543C35A1A8012F9B5BDA2573A3D7
SHA-1	0057AED08257565C9F1AD7848FCA103851E35EEE
SHA-256	B0E89D71630D1B1A40CFC121DD4BE27F959AFC3409F5CA1155D16A7B48A91B14
SSDEEP	768:iwEXib6aT6VdJ4KOamAuILyn6JQ0JwdOS7u7Z6QQcby2dO6axd4yGyJD1JKKOSK5:iBi8aKMJ62dcMQ5dCZUKusVKr
TLSH	T16CF25B9573C5BF2334B3C3277D49006F82745107EAB285F442EF8B8911329AEE6D6A6D

Key	Value
FileName	./usr/lib64/ocaml/coq/theories/setoid_ring/Field_theory.vo
FileSize	468676
MD5	A082ED50260BCD29ACEF5238C124775E
SHA-1	007C35938305CB1B52A9FF057960A5D025326162
SHA-256	99528BDC0B02683C40C0827A1477EFA450B50BB9C03BF0881EE4002757089AC1
SSDEEP	12288:1KpUCA4j4+juuazS+I5WeVpH54PyuIyB4Unx:1KpfAAuuau1D4Py1Ux
TLSH	T125A45B7CA6418C71DCDA09B6CB5362C0B2A3B68F72BA1763491C638C4C973FE9197785

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/lib64/ocaml/coq/theories/NArith/.coq-native/NCoq_NArith_BinNat.cmi
FileSize	175607
MD5	9A7AEA26D9161EFCA7519A60A4C141F8
SHA-1	00891484940FB58043874E4F63395A12A1A7C1D1
SHA-256	9B8B2990AE7FB0C992F3FF107A37F825039F4B78608C582BB9D013BAFB4A2A25
SSDEEP	3072:xWIttaCSzLB8js2BQ365yA+Xi4kmRZFcjo:ICaCSzLixu6MnXi4kS5
TLSH	T14E0406CC165AA16BDE3706E8C6E5135A82151E7F72C0FDFBD85A61F0834902D27E98CB

Key	Value
FileName	./usr/lib/.build-id/bb/1e1df4c0b306220e21d5088d28121c1b44f52f
FileSize	85
MD5	2B6E3111F2AF17D34C159B7797706420
SHA-1	008C3C6FA00FE0509FFEB0543B5287087448F513
SHA-256	AD050B709D9620E07FDEEB63304207145F1E8E53913E7CF9DBC8E9525570333F
SSDEEP	3:gCD/uAW64KUhKq6xJWgXMO:X/PWBKUhDNSr
TLSH	T1E7A011A20B38AA20300020F80A20288B2F808888BAE02E00F20E8228E000AC88228833

Key	Value
FileName	./usr/lib64/ocaml/coq/plugins/syntax/float_syntax_plugin.cmx
FileSize	5686
MD5	77FE7F514EDC955BA8567CC781C3FF0D
SHA-1	00A2F19C61AA8E4E062092A726FC0FAFB0E84F1E
SHA-256	CED09EF9C52FB2E0721F148E0EF30451600678966A81C345C2E882C28E1CAE1A
SSDEEP	96:1iJr1INUUvD24viQwlggHdcCQUheUeN0Trh+KOC1L9YoxSmzPkkSJJEU+FlONdi+:EJkHvchH+wfMLKOC1yW/SrIPODi+
TLSH	T1F8C1C68171C4FE2274F991A79C85409F4F7490FF9A358BA6DAF802C8283182995D7EDB