Result for 31BBBF854BC2EC65D4D19B5CEEF35BE8C33D7CF8

Query result

Key	Value
MD5	4EC33058F338885C4EFCE839D06A6C4D
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	3.fc33.1
PackageVersion	8.12.0
SHA-1	31BBBF854BC2EC65D4D19B5CEEF35BE8C33D7CF8
SHA-256	407F729B2B75A6377B4F82D77D6FA34C49308C7CD91020097DB80B1E4C7F225A
hashlookup:children-total	1165
hashlookup:trust	50

Network graph view

Children (Total: 1165)

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

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-doc/html/stdlib/index_section_G.html
FileSize	22778
MD5	276AAC7331318EAC006B34A35A9B2832
SHA-1	0175780665275C494BF52643603B5671BAC77C9F
SHA-256	7F8D96D372AB46DF0A5D15671E6D6ADD4C28C8C07C48539F135818AC1D0DEE49
SSDEEP	192:ZpG2EMfVjiXdTgJPtJV7XQsoJLIVuhrEA608C3Qx1VHWLy4jqn95Dnt:ZA30tvEg9955
TLSH	T193A2394214D6646E42597A2E5AB47CA962F30BB54B243C00FF9FFD7FCBA2791020D297

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/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-doc/html/stdlib/Coq.Reals.Rtrigo_def.html
FileSize	44216
MD5	8481316AC57B68FCE6B2D95D70B0F055
SHA-1	01D7FC04B3CBF983372B0BE6E14C3B34AD6EE980
SHA-256	05452B481D659952E8C58651C9FAD7C32F211FA28DCA8F0A10567F5B74C1D2B0
SSDEEP	384:ZAU6buD6iju2uSpZ8Ru6ucuNuzSLCIzNZuR2X+HuluEwuxSLX+aulW2gru3u6Av+:vDFuvSpSYjtUK5QRlO82/Dlgye/2
TLSH	T1871329E983E2193B89738BEA17FD2724F0E14D45E04A4D50F2EE55EA078EF207956933

Key	Value
FileName	./usr/share/doc/coq-doc/html/stdlib/Coq.Reals.Ranalysis2.html
FileSize	100853
MD5	3B862BF8CD0D57502EF3E923D576CDAD
SHA-1	01F1381C7591FF4E8AC131E67607EDB9AC883785
SHA-256	DA0285C39BD5CBD0BF9FA55C9E5635B0012FA141ED4DD86838C84A424CCCD4AF
SSDEEP	1536:k0/PrQO/TX7fWVEyv2y5WSYEfc292goUOkZikqSjJCTY3IFKY:Jz
TLSH	T192A326E942D2293B9A7387FA12FD2725F5F24D45E4894D10F2EE06EA468DF203956C33

Key	Value
FileName	./usr/share/doc/coq-doc/html/stdlib/index_module_Q.html
FileSize	23544
MD5	9351703A1E9914961B7E11603BC7288E
SHA-1	0205CCC60B9B7484895B5B49C9DB98D6448591D0
SHA-256	DE4831DFA21143D7045FCB97BA74D28360E68AA16454EC994C22452DA1E6142C
SSDEEP	192:ZpG2EMfVjiXdTgJPtJV7XQsoJLIVuhrEA608C3Qx1VHWLy4jNHDBfj5nt:ZA30tvEg2
TLSH	T1F2B2474214D6646E42593A2E5AB47DA962F30BB54B243C50FF9FFD7FCBA2791020D283

Key	Value
FileName	./usr/share/doc/coq-doc/html/stdlib/index_lemma_D.html
FileSize	86284
MD5	51232796330D1C93DFE0748583ED3917
SHA-1	020633C374B2AE37934A44537BCA4455B7046FDB
SHA-256	88DA098786FE7F577B3589C82E6549086421733E0A95C26DF7D844B2EB3FA470
SSDEEP	384:ZA30tvEg324LEU8cBezSm7hRLhLu0tvEgo:k0tI4LEU8cBoHu0tC
TLSH	T13E83F45200C5547F8668267E09B93DA976F307F24A543C80EE4FBC3FCA63BA5125D6A3

Key	Value
FileName	./usr/share/doc/coq-doc/html/refman/_sources/proofs/writing-proofs/index.rst.txt
FileSize	1241
MD5	0CFFD3A5DED679051461A621AB9122AA
SHA-1	022122E9FB0090C6D1AEC05C0568C541B2397519
SHA-256	3AE7990AB885D566593620FAD1AA51667C6E325B3A81E1845EE87ED38A6C683C
SSDEEP	24:v4iUhqgAt/RZlAxDoGyZLwuAhwOByZvTAJc8o4X3S/pxS1rWwwiICa:vDU1MWqZLwuAyOB/QO8xgaVl
TLSH	T170213223F9592B3D18F30130956965C09749AD54D21BD190F01E40F8368F7D056F39FA

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