Result for BC9C73A4524E0D52DDC383DF783FA724206A949D

Query result

Key	Value
FileSize	33269648
MD5	E647B41C977B417B3C55660568BB7D47
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.11.0-1+b1
SHA-1	BC9C73A4524E0D52DDC383DF783FA724206A949D
SHA-256	D9DBF1CEBA0E52FED237794817090EAF1713E19146CE89FCCA232ACC33303A85
hashlookup:children-total	4639
hashlookup:trust	50

Network graph view

Children (Total: 4639)

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

Key	Value
FileName	./usr/lib/coq/theories/Numbers/Integer/Abstract/ZBase.vo
FileSize	74916
MD5	851010B312A95CDD66918A70AFBD44F8
SHA-1	0010589387B85DCFEA951906F7AC078BAD9643B2
SHA-256	04DADF3E36E76A628BD8EE69F6BC13F39800FC9D724B322B0E52A713482B557D
SSDEEP	1536:cA1aXXofIKXBdojDXM/NuIypMuM8PE70/EZEEVLO++nsX:cAwXofXBdoXUPXuUdKK5a4
TLSH	T14773F7C2A5438091E96117BBB325B81CD7B9493503BFB7D0ED2FFD158607A8662B13CA

Key	Value
FileName	./usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.cmx
FileSize	3309
MD5	7EB7EEBA3C4E13226886FAC6724177A6
SHA-1	0018754E96DFE136580EE7FBBFC72BF4A7CE2ED6
SHA-256	C048632886E93714F1E324257C970230FDD3234BCA76D86ABFDA9FCD3A535E76
SSDEEP	96:3QpMWiMARlDTrXhCBZheg8mrVxjHueK0HD:uiMQTA7Vnj9K+D
TLSH	T1B561B7E477C7F0C276614AF5A95F80AD0E510006DF12C8D55ACD4A4CDFE4A6A61C3767

Key	Value
FileName	./usr/lib/coq/user-contrib/Ltac2/Pattern.v
FileSize	5525
MD5	2C8D6F7C051DF2B69ED6336FA0EB4FC4
SHA-1	002488933C88853969D39B67727CBD45834447A5
SHA-256	74908AA1931DB4E7EC82EBBF8E1B07A8F9FEDABA4080C651E0719BE5628D7452
SSDEEP	96:eDCcFAvURXEB4OfaU6yIb1vG2DIG0PPILZa74IdoMHZJtSS/siRn/siaAzI1/sHY:2CghQxDNSNimiaAJxu
TLSH	T185B1E27606F81F32E5E280EA514BA0D5DB06D4AB5701B056F09CB1A51BCF430E2F7ACE

Key	Value
FileName	./usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Description.cmx
FileSize	2210
MD5	3BED1B739CFD527C75C7A3FC2F5CA2AB
SHA-1	004E07F8D10A070DBB2F7EF96317D756A9858E17
SHA-256	B63FA16A22A3683DD81B26F507343056A2A5C9257D84B7328ACDFAF8970E4494
SSDEEP	48:3QpMRKRi1wDji/N0ARGYDTcsEshGk0LqyZ/JKx7g8sHKguLn:3QpMWiMARlDTrXhQBZheg8mg
TLSH	T18D41D8EA7BC17656786453B3BC8E009902311427EF10DC6D2ADD638D0AB4E3FB1E2A43

Key	Value
FileName	./usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZSqrt.cmi
FileSize	2273
MD5	8A66EF07FF2A5782D47EB4ED706F43DB
SHA-1	0066BF9154E4FC009408D10DC04F35AB85E3E135
SHA-256	092E1846273B94C8B7EB83EF8B1715307561EB21095AFA17D0C11D3C9BE98BF4
SSDEEP	48:9+JdLHQpMRKRi1wDji/N0ARGYDTcsEshGkRqyZ/JKx7g8sHKgu6:9+JtQpMWiMARlDTrXhfBZheg8mD
TLSH	T1D941C6F93BC1765AB82002B3F899009A01721827CB50CC7D2ADD634C47BAE3A61C2E27

Key	Value
FileName	./usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_RelationClasses.cmxs
FileSize	134576
MD5	6DB61D2A204BBDFB0007C55959A40082
SHA-1	006750D2383F84DB6EBDCA3ED84304CC8F975D2B
SHA-256	2071423FD316E4340E172D6C29C9FFDFBE8D21DCE7EC8EA72C3596BAC05DF5A9
SSDEEP	1536:tw1L3rJeNdaVM7AFEdQJM+UdZn9bg0IfgqUQTKAxB7qUeLSq:C17o8q5IgqjKO7qU0
TLSH	T1C1D3CA9625A5897ECA73837A818701723BF1B9145761271FA153B33C3F0288F4FDA6E9

Key	Value
FileName	./usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rregisternames.o
FileSize	2704
MD5	FEA7A0B60054459A48288E45E3ACE60D
SHA-1	006DED6C028CCE7AB041C09452D0064EE7E048CD
SHA-256	EF2C1BB61E73D5537C77EAA40FCC2E6F1EF26E53735C98A27191ACFA7D5D9658
SSDEEP	24:bikEGf2CbWFbk9pBls51TLaT3DJtVpZ6fTPTWrZuMkRfYNUMeNv6w:biNG76A9DlszW3dTi7quMkmNiN
TLSH	T18B51976BAB89CD6BC99981F468993232A796FC1079D28B43D3C072584F73AC4DE11863

Key	Value
FileName	./usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_WeakFan.cmi
FileSize	7819
MD5	5F28D80979DA8BAF7D90FFB8D6E58F5F
SHA-1	007C692E75A195B3EBECDB13C09A078196799A21
SHA-256	58FBF7AB37D0488E7494D338706B9117F50310E665AA313A1F747E3ACF3E4135
SSDEEP	96:mVGGXN4zQO5pSB6H42gmqw248QzItEfRoLQpMWiMARlDTrXhiBZheg8mD:m3d/sS8gmqwlhzIC5oaiMQTk7p
TLSH	T1B2F1D7EEBB426B58FC1026FDC2A943B3036143BEC6F59CBB90144BF48A5051E538B293

Key	Value
FileName	./usr/lib/coq/plugins/setoid_ring/Ncring_polynom.vo
FileSize	205066
MD5	87EDD9BF4FC7FF3CC7F19B0C33AC57F7
SHA-1	007D4FCE2C0269062B57584CD51C0E58A18E57AB
SHA-256	3B48DB6BD7762B44C70D78509FCC07DD3991391FADBD0939213E0153839E6F2E
SSDEEP	3072:btdSkvlnrco+NBBbS8PoKzsy+9cZhV8KbpXOZEsZmrP4a4P+Rk20YS3umD:JdR91+LBRky+9UdXRJTRk2zMuK
TLSH	T167144A61A128E561CCFE4E72D75AD1C8B3214A4EE1FA068B1D4D831C8DC72FF9952ED2

Key	Value
FileName	./usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Permutation.cmx
FileSize	3686
MD5	87427B72944B803638780AC93276DD88
SHA-1	007DBBCA615C11B550FE7F25398A4E0B7FB055ED
SHA-256	7129A992967B2AE2DB79021DB13FB3C10D89FC611DE8D8BB0F04DB2D2976A6D3
SSDEEP	96:7QpMWiMARlDTrXhdBZheg8mqtlY4SRQ1e7FR:qiMQTb7ctlY4AQ07FR
TLSH	T1337164D13B82B4C9BD0B20F7556AD9610431100FAFD0D86CDEE9624EBF50655A2CBF63