Key | Value |
---|---|
MD5 | AA756BB222B4292532B4108C3C20E0DC |
PackageArch | i586 |
PackageDescription | HTML reference manual for Coq and full documentation of the standard library. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-doc |
PackageRelease | 1.6 |
PackageVersion | 8.14.1 |
SHA-1 | 97231FCBDEEBD2E1C301173D8EA035766738F693 |
SHA-256 | 726437DE8F02BF45ABEA092151F328A9F962F5A96EF26ED2C6842507BC3C4AE6 |
hashlookup:children-total | 1120 |
hashlookup:trust | 50 |
The searched file hash includes 1120 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/index_lemma_L.html |
FileSize | 68905 |
MD5 | 5D716F1E17344724CA2EC79496864035 |
SHA-1 | 002D8AB359DDBDCB758A11C393923358E80CEF50 |
SHA-256 | 00233DDDDF0F01F14654142D89C691CD26FE75295225E0D8B51C3BFE045648E3 |
SSDEEP | 384:n8QGaf+iCYEu2erhzFhzHhzPhznh7nBXeEPhzfhz/hzvhzfhvXQGaf+v:8QG6J9QGn |
TLSH | T10C63C21210D2246E46593A7E0AB43D6976F307F64B603C90FE5FBC3FCAA6B95125D283 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/index_notation_S.html |
FileSize | 26525 |
MD5 | E13DABA36E599D67A3315EC5DF7E0CC0 |
SHA-1 | 004A3CD83A6B8E055AC2714394A2B65873A70C93 |
SHA-256 | B0CBCF463A20F9BA9E0928F2236A761D8A13A6FECF1FFD78B0534CB96BAA97B6 |
SSDEEP | 192:nmEMfMjwXdTMJPuJVNEQslJLmVMh5E2t6I863QxaVxWJy4511hp9viGnt:n8QGaf+p/ |
TLSH | T126C2534214C2246E46597A2E4AB47DA922F70BF54B643C54FE8FBD3FCBA3795024D283 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/index_section_V.html |
FileSize | 21299 |
MD5 | 99A938A79305333DE75078B165D0B665 |
SHA-1 | 009C4011F6A6314A268D12B9D69A568F4D517FF4 |
SHA-256 | 486B533E0CF61371916CD70AFEE949855E7646376FC5961035CFA243D9CCF763 |
SSDEEP | 192:nmEMfMjwXdTMJPuJVNEQslJLmVMh5E2t6I863QxaVxWJy455nt:n8QGaf+D |
TLSH | T134A2E84214C6646E42597A2E5AB47DA962F30BB54B243C11FF9FFD7FCBA2391020D287 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Reals.Cauchy_prod.html |
FileSize | 14574 |
MD5 | ED1EFE5288FB434401C8D90850B21CD5 |
SHA-1 | 00B3C35A52534F238CC932852D2E3A033C34444E |
SHA-256 | 2313B38A6BC4120DCB83B16D63A65C516DA912A5AFF2B7710467B9D941A01E52 |
SSDEEP | 192:nOA6W7u9IBCBvb/BuKN1OcSPlpJuua9obNl1q+ir2knt:nB6ou9IgruKN10PIua9ohl1ErX |
TLSH | T1136217E483A229374A7386FA17FD2728F9E14945E0899D50F2EE4AFA07CDF207555833 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Reals.Ranalysis3.html |
FileSize | 19449 |
MD5 | 08B7046F34B2FAB22240B5961679171C |
SHA-1 | 00C0186E6020AF7C427588ABAD1FA7D7835E2490 |
SHA-256 | FE92DCFC8F6AA88C05BA1342B9A014278A45657FD7CC41F4F3447C16FCAC072E |
SSDEEP | 192:noA6wzuPwsX7lrHWu0ANZnBuU8TkLvunt:nn6ouPwsX7lr2u0AvBuU8TkLvC |
TLSH | T10D9238F582E2293B897386EA12FE2B34F5E14D46D4895D50F2ED5AEA07CEF203545833 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Wellfounded.Transitive_Closure.html |
FileSize | 8698 |
MD5 | 30D4264E6BA4A72988ACF5EF7D952705 |
SHA-1 | 011A7C7F5EC80E3D8569F961603CAB7245849433 |
SHA-256 | C333DF46F92EE622611FB075142EA0281004EFC0444D15F983A41EBD7DAB16A3 |
SSDEEP | 96:1xYtWMxGMjILK+9bW8hIWbjzMY55ILvOcM9PX5557FLMYzME55575GpILHWjlf5U:nYtrV8KFilXeNGxyTVtp6EYGont |
TLSH | T15C0254E443A2183F8A7287E613F87B28F6D08D4AE7450854F2FE87AB0BCDF546552527 |
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/packages/coq/stdlib/index_instance_G.html |
FileSize | 21487 |
MD5 | 4DFBFAD9E5081DE13CD49B3F344CBBDB |
SHA-1 | 0183C77B304D6EF297940678ABF033F33A080505 |
SHA-256 | B577CAA45E1835055586FA2075DFBFA0F2B1A41454AFE5F8514E899F3799DF7B |
SSDEEP | 192:nmEMfMjwXdTMJPuJVNEQslJLmVMh5E2t6I863QxaVxWJy45Tnt:n8QGaf+l |
TLSH | T1E1A2F64214D6646E42597A2E4AB47DA962F30BB54B243C11FF9FFD7FCBA2391020D287 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/index_definition_X.html |
FileSize | 23129 |
MD5 | DE87FBC8100DCDEEBC83521D0F42A358 |
SHA-1 | 0184C56CA7D192ADFDC8C003B419EFB26E79ABFC |
SHA-256 | 63B93D1523335DE7ED99F929E28486F57AF42133BE9659D39556AF7044D7672F |
SSDEEP | 192:nmEMfMjwXdTMJPuJVNEQslJLmVMh5E2t6I863QxaVxWJy45NlhVnt:n8QGaf+9L |
TLSH | T1B1A2034614C2646E42597A2E4AB47DA926F30BF54B203C44BF9FBD7FCBA2791024D293 |
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 |