Result for DB52DF9B457D6745D9EEBB712FABB19A81004C87

Query result

Key	Value
MD5	26758E2C9FCC85D93674508916E0895C
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.fc32
PackageVersion	8.11.0
SHA-1	DB52DF9B457D6745D9EEBB712FABB19A81004C87
SHA-256	05D31DA1168DFACF8BDF01D857E13064942F366116CD5C2060BBB7E68A34C4AE
hashlookup:children-total	1079
hashlookup:trust	50

Network graph view

Children (Total: 1079)

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

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/Coq.nsatz.Nsatz.html
FileSize	120952
MD5	A80ED79E861E42BD2F2C889187D924AF
SHA-1	001D60A7D5FC5A40349212A7107C61FDD374338A
SHA-256	1FE24EF21F60D00A9B746AE6A06C3986BF222E61E3B216E9992D80331057CED5
SSDEEP	768:eEMD5kWGyQ48E4czKcRWngAVVZrkM81ijmelDl:euhtl
TLSH	T154C3C8D883A23937497386F626FD6BAAF4E04D89D8C58910F2FD46F702DDE247516823

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/index_global_W.html
FileSize	309281
MD5	62008D0FD5BAA960D33C853B7D32BDC4
SHA-1	0032A90C05707790F69D31A2376A9FC0C4E75376
SHA-256	7E5113E2F2E0A92BA90F7811EC20A3C7BB1BE37ECB810B09D6E0875E7DEE5ECD
SSDEEP	1536:n2sJ13XslmwkA1nw2UwVaTh0Dq+nRTYWhBhhKfEoiuCyR5iCCti5X+5LRV56u3Ob:hJ13Xslm
TLSH	T1B86418DB70E1092E8BDF86330AA53EBDBD5352F398715428BA1EFB17A506B86110D1D3

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/index_notation_A.html
FileSize	23860
MD5	AFAF9E06BF1E7BE162D784095368D7AB
SHA-1	00CC459485D9EFDE0421F587B6FA68F4D2268B2E
SHA-256	A1F74DB1BC8C009948D23A035D33CDBD513570C7E7C8A9150B4CA9638EEB1058
SSDEEP	192:ZpG2EMfEjAJPg5JV7BQsQJLPVPhX6hEV8R3QxOVCWWy4jrLEQpnt:ZAGg59cdPbP
TLSH	T120B2520215D6646E42593A2E4AB47CA962F30BB54B607C40FF9FFC7FCBA6790421D293

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/license.html
FileSize	124440
MD5	73055FFA7BCCEA2E4833FEEB090AA855
SHA-1	019160F3D2B6AD71CFFFEE5E373C240CA08D4B6C
SHA-256	EF596A51DAE3003B7492AEA656BE9961A1AFDF27F02552D5D6A37E1781139D10
SSDEEP	768:7LUtN/eC17hmhGVfOBiJ5RLvuLVu9kPMFoBWs/hy5E3mMe1z3lwq6g5XQQgEh4dC:gN/eC17SMLLvU5BWs/sE3md1Gq6gAfC
TLSH	T155C3F232084E193712D347CCAF963B18719FA97FC31D5A6262B4416623A3FA9D61633F

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/Coq.Reals.Rseries.html
FileSize	33577
MD5	1514A2EF8EDD2CB9FB601F1A09E00C96
SHA-1	01AFC1CBAF312D7DAF3233B5D885F2FBAF929E9E
SHA-256	AD33F9CFA1468E45EE23BB07766398DD4C282B7CA0E9CE7A96CAFFD0166C97FF
SSDEEP	192:ZpGYA6DK8KbacV7YlXlo9WVlf+WqzK8LF6zkKnpyKlIOYvpSRQIyNXG1KH/fBqCr:ZAX6KV4+Mkfx5nf3Mo
TLSH	T1B9E2E5E983E2193749738AFA17F96729F4F14949D4894E00F2EE46EA47CDF207646833

Key	Value
CRC32	F436B5D2
FileName	usr/lib/python3.12/site-packages/sphinx_rtd_theme/static/css/fonts/lato-normal-italic.woff2
FileSize	195704
MD5	4EB103B4D12BE57CB1D040ED5E162E9D
OpSystemCode	362
ProductCode	184543
RDS:package_id	294740
SHA-1	01BAEC836B2420F2C132A1201E32124E9256914D
SHA-256	4465765F2F6EDDCDAD34FFD7CAB559E56BC0E75E45E192F85E9562B0771481DC
SHA-512	8D64C9D96A38F3D1D75F535B0E998794FEA1AEF7223733B323F837DC9B481163FA7D02EFC67429F7F820059F0CE335AB2DB885730BE25C9B0B1CA279AD11877F
SSDEEP	3072:il8/duaPbUbdpal5BJLjSEEjSzmzIREKcyeJqfAaw2wT6DVKsdY7DO7usK8sJ9VE:il8VNP4oBJX3EjSYKcyesnwT68sdY+7X
SpecialCode
TLSH	T1CF1423049AE099C9D8D1CC374EBC1A5F94D9BCFEC7C85DD01E11E658B371AC41AE82AE
db	nsrl_modern_rds
insert-timestamp	1728980832.9622746
mimetype	application/octet-stream
source	snap:GdKzsPKW8Xzvbzt7qP6FZMZfii4NHQ26_84
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/index_module_W.html
FileSize	46667
MD5	E6393F07535D2F34534E76C556011F3A
SHA-1	01C14082FCDB6C034BB492392D09202DEEC1EF59
SHA-256	C144E48376D641DE814493D3CC68EC92AD2D021BC257913FF987E91163C4AC53
SSDEEP	192:ZpG2EMfEjAJPg5JV7BQsQJLPVPhX6hEV8R3QxOVCWWy4jFZsMK640VN7ZzzEMfEm:ZAGg59cdhVN7Zz1g59cdj
TLSH	T1F223214614D6646E46597A2F4AB43CA966F30BB54B203C04BF9FFD7FCBA2791020D293

Key	Value
FileName	./usr/share/doc/coq-theories/html/Coq.micromega.Env.html
FileSize	23683
MD5	1C9B58143150F51B6EF0EDF1ACA51F21
SHA-1	01D264F55341970F5CB142F8FC9A4A36278AE57F
SHA-256	125861A58E8A600F1400D916CB04C835C74897AB6B1D655FC502440C971B28D3
SSDEEP	192:ZpGRVrgvddN872Pjm7yJ55yl7dyN7Ect03ZEfEzA99E/3E3NK3xEhE/AREhEhNKR:ZAwI
TLSH	T188B2F4E843A2243B8A7386E957FDA769F8D04D89D4465840F2ED46EE07CDF147A43933

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/Coq.micromega.Ztac.html
FileSize	33449
MD5	91432AF1CE268FE6DCCB1C8A16B4F0C4
SHA-1	01D799C2F361D892A442D05689302FCF62377728
SHA-256	2A43A474DFF5FB5972C902998F87BED929FBDA75962820221470DF870A4C1940
SSDEEP	192:ZpGi0vfZVbKeySd9z52l7J7t7cU1BfUCO/O/OlO/OOmOBuUbrBnt:ZAket52ldhl1O/O/OlO/OzONb
TLSH	T1AAE216D883A2283789738AEA13FDAB69F5E04D89D4854910F2FD16FB07CDE647552833