Result for 17A3183B0855FA8C2770EA60F1195BA2CCB11C71

Query result

Key	Value
MD5	598BBAA1F874471A9CFF972690B60CAA
PackageArch	noarch
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. This package provides documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainer	Fedora Project
PackageName	coq-doc
PackageRelease	1.fc34
PackageVersion	8.13.1
SHA-1	17A3183B0855FA8C2770EA60F1195BA2CCB11C71
SHA-256	6B4B49E6358349A5961DB552B3E1B075237297697115B83DE0DC4895A58D5D03
hashlookup:children-total	1190
hashlookup:trust	50

Network graph view

Children (Total: 1190)

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

Key	Value
FileName	./usr/share/doc/coq/sphinx/html/proofs/automatic-tactics/index.html
FileSize	122427
MD5	6F87BA25CDF24BA81460F24C2875798A
SHA-1	000F729C44A758536F39DB3574BC72B50F8173B8
SHA-256	E419F40C027E1FB4130769F29A5518172DE445FA4046C30BD6C49D542C990B88
SSDEEP	768:+Vx0qVTlor2S1/rVXRs61SLOLGjk+dMt8QDbh0poFL5WB+fI2BYlJcPrvEyKQd8x:fS6/fLGny8ibOB+fIyMcjvEyGw1C
TLSH	T1DDC321320C5E29B702A347CCAE553F18729B9D6FD21A6E2271F801665793FA9D21133F

Key	Value
FileName	usr/share/doc/coq/html/stdlib/Coq.Relations.Relation_Definitions.html
FileSize	25878
MD5	BBAF2942287D4FE253023E108A7E0530
SHA-1	00ED11BE186AD94B20BCEEB80A18D309161E7499
SHA-256	0A48904642DB596C86CF343CEAF22454ABE0B1FB8D65A8FDACA53963E592888C
SSDEEP	384:ZAF33htLVfrqnlkCR50Az8PmWA8gSuM1NcukFuEvNNk1Be:itLVfrqnlv0Az8P7cM1XkcEvNNk1Be
TLSH	T1FEC246D84AB22A37887783E765F92728F8F18D45D44B4804F1AD16DB9BCDF187683923
tar:gname	root
tar:uname	root

Key	Value
FileName	usr/share/doc/coq/html/stdlib/index_binder_H.html
FileSize	176987
MD5	13999F2AFB3899588986B90CBF1A33F8
SHA-1	010972D422DCA008401AAAAD2AFDADBB8FE3DC5C
SHA-256	D37B29A99CA8517E92C2425650373439773E891A1EF782F59F5106E88B2D14A3
SSDEEP	768:e7SST09oEpXbXvflx+oUtiqoU74U8/GUnfcUoWUYuU/4U4mU1wUXmUhWUIcUNKUJ:e7STmB7Sl
TLSH	T15304299221D105AF8BAA527709F5396C75A303F34D803C48F91FBD2BED26F59126C2A7
tar:gname	root
tar:uname	root

Key	Value
FileName	usr/share/doc/coq/html/stdlib/index_instance_N.html
FileSize	55250
MD5	6260ACCD975C6AA7CA1421816AB5837B
SHA-1	0138A16C4BC0846C1CA177C64EBEB38202996223
SHA-256	6065698C4E027D599FDBDB4A8F25DE3F1EA5F0BB6B1180C8D106289CFF327975
SSDEEP	192:ZpG2EMfXjeXdTJJPaJVNTQsdJLkV0hIE2/6N8u3QxLVkWpy4ExB/xc33NltEMfXV:ZA/7SbnoH27Sbnoc
TLSH	T12843614205C2616E42593A3E5AB43CAD22F70BB24B603C15AE4FBD7FDBB3795125D283
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/share/doc/packages/coq/refman/_static/diffs-coqtop-compacted.png
FileSize	3458
MD5	F30C7CDA1EA063086968EB7A95EC9EDF
SHA-1	014FBA974492178C8491EFD9DF184281FD86C7FB
SHA-256	9D073C4CBA50AD7AE7B5A840606810DF6C130641C96BB9DDBF21EE43FA0CA776
SSDEEP	96:D7Wd5b7BLnTR9pSwcm5CtMoQUfyv2GlsR3:D7s5nltJ5CqoPyv6R3
TLSH	T17F6109F3BC42BB41D21B42178CB095382E6A4D928476CC16F72F326C6D7BA115D81ED6
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/share/doc/coq/sphinx/html/changes.html
FileSize	813265
MD5	4C98175706203789D86EF3A9F8CAE9B0
SHA-1	017019798ADCEDBF94710561D5F3F4F17B5B0C73
SHA-256	00D9EF4D185FBAC9993F7FB1F2489A1EDAFB16DEFB8AA41A62EB470F16AC72A3
SSDEEP	6144:zcZYYpLnq0cWWb1fu8v2FYVUABMK6EfrG8JK58winb519XC:sw1WBPABMK6Efr/y+C
TLSH	T12505A673806A46370B7741C8D7E91B6DB5EF402EE1550AA2D2FC4328938BDE1762B91F

Key	Value
FileName	usr/share/doc/coq/html/stdlib/Coq.omega.Omega.html
FileSize	3647
MD5	C41448942442CB936EF57CA07216DA3F
SHA-1	01BD83E6AE5FE98C010C4EC91D12CFBEDE0A1959
SHA-256	AF3CBD170C08CF696387863B0E6D04A560B91FE1F4B28ACB062CF44E6A88D7FC
SSDEEP	48:lmIbGpeQoQtQw3QWQzkQzZQXZSNSe7SaS+qSx1ScZwS89QJykbBVjP9CP9CN9f9A:1uQRPGBktB9CP9Cb9LTIBoFDG5ZD
TLSH	T11871CE8562FE0416A2B542E5BAF01729F8C38E47C2881D8474EC0ADE5FD7D40DD6797B
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/Coq.Init.Datatypes.html
FileSize	107393
MD5	C1011209DBB798CB85578557B2B4E521
SHA-1	0209B53B8104F7A2BBB078CE13A0043E95437321
SHA-256	65546A5530912D125F371A2306765734CE2CF9238BE8E79B090A166D48970DD0
SSDEEP	1536:R/VkFKvyWILPlMCZdFW7vrSNr56gbTd8iGmqgT//T7ELum7aszUTuU7asyWTu7ae:4u
TLSH	T1F4A339E843A269374D73CAEA17FD6B28F4E00949E5854E10F2EE0BF7069EF207555923

Key	Value
FileName	usr/share/doc/coq/html/stdlib/Coq.micromega.OrderedRing.html
FileSize	136585
MD5	98E1AEB293E6A136FCCF7C1887279358
SHA-1	0236FD9044EE34C0A987B25D92CD3CDB23208367
SHA-256	4176D5C841B9BE064859EA3D0E521289DB1E2F55C4E1AE7BC9F250F4C9A691EA
SSDEEP	1536:9L5LK5Twbf3yqZyvQtx6NOnWvPyZvOXqwV7DNJEoLT4QFvNKBKPDO5FPFTGBIJze:/P11A
TLSH	T1F2D30EE847A2193B4A728AE913FEFB68F4D1094EE04D0C10E6EE56EB46CDF507552933
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/share/doc/coq/sphinx/html/addendum/ring.html
FileSize	239419
MD5	F3FD68DC305532BCB4C2C2C4D901CAB4
SHA-1	0251DE21369837ACB226EBDC1B8E9294220E53C6
SHA-256	7142D8C520B5CA4C29960D61D228FCDA7FA1334416C0E13BDE107DD36496BED9
SSDEEP	3072:oXDJ4WYgjXXwED8jA+hsFCc1yPHXX1c3C:oTiWLD7DWA+hsFCc1yPHH1c3C
TLSH	T10734FC7149B70933117382C9A6EE2B2431E7492EF29A0952E3FC436D93DEF95B10761B