Key | Value |
---|---|
MD5 | B5D3E8F95485354F328266A3765654A4 |
PackageArch | x86_64 |
PackageDescription | HTML reference manual for Coq and full documentation of the standard library. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-doc |
PackageRelease | bp154.1.44 |
PackageVersion | 8.13.2 |
SHA-1 | 7712E2102DFA52A5D3D1ACAB3CC06BBEFA371397 |
SHA-256 | 7E9944B5AE65951DAA159FEFD5D527C2331BBE994415579634108382C70DA1BE |
hashlookup:children-total | 1112 |
hashlookup:trust | 50 |
The searched file hash includes 1112 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/index_abbreviation_H.html |
FileSize | 21571 |
MD5 | E0F0B63306DE290B18D130A922B5712B |
SHA-1 | 000AE43E47ECCA4CACB8036B6B0070946872D741 |
SHA-256 | 2C83AC9D7C9EA407F13C27B7321E4E783CB799209B1069A34CCBEDB2F60A1B64 |
SSDEEP | 192:PmEMfXjeXdTJJPaJVNTQsdJLkV0hIE2/6N8u3QxLVkWpy4E2Pfnt:Pv7Sbno9 |
TLSH | T1F3A2F74614D6646E42597A2E4AB47DA962F30BB54B243C01FF9FFD7FCBA2391120D283 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Classes.SetoidClass.html |
FileSize | 24831 |
MD5 | D19C7FFBEF7750370F436CFA92179244 |
SHA-1 | 00D20FC6D155E1FA9CEC0DAA73D663CDA840600E |
SHA-256 | 3A29648A9FB2F616830D6CAD04F812CCC67CAC0D677262EFD6BEA8A3487715A6 |
SSDEEP | 768:Ml5+oOJ+s0dOAtILb1OVW5VHM0y2mKA2BeO0ys:48HssSdIv1hTHSWOys |
TLSH | T1A2B2F2D883B228379973C6E627ED6B29F0E04A49D4894800F6FD47E757CDE60B586837 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Classes.SetoidDec.html |
FileSize | 30793 |
MD5 | D1C3EFD4EE2A44BBB083E0563A78BDEF |
SHA-1 | 00D4D6B75CAF894E81301772794D189DA9B5ECB5 |
SHA-256 | 1A34EEF4115D76B3B32E572396435E2E9ED10DA64633F1AA55FA0D965A27D1A4 |
SSDEEP | 768:dmARkjutO03f4mh9zxZMP97GQRQJZXMLlVOoEa6GYRCojkQliOg+Ydw:sARsutfvHnqFyXcZhE9GYRCojeOg+5 |
TLSH | T177D228E883B6293B49738AE616FD2B29F0E10945E1898D10F2FD47E7478DE1079D6837 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/index_lemma_T.html |
FileSize | 63782 |
MD5 | 2DA11BCEF6CF8E5A1098702F6D4FA624 |
SHA-1 | 00EA5315F75C7735DDCBE0D7198FBD6D8E1F8DB6 |
SHA-256 | DC0C9C8A060804762C861C6569CA65505F9C7ADF29984E00DB766BFCB02A2791 |
SSDEEP | 384:Pv7SbnouspnxprZzJDPJsvhzzhzrhGMXrpn1ITmJbzXgp5h15h7Sbnoc:H7S1spnxLOrpnc7Sl |
TLSH | T1E353714215C2646E4659363E0AB53DA932F30BF24B643C54FE4FBC3FCAA2B65125D293 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Ltac2.List.html |
FileSize | 91832 |
MD5 | 2FC981A7F7F766E591E03AF7A2337295 |
SHA-1 | 00EDE268D8FA0545172AE1F92051264B4EFB58E1 |
SHA-256 | 1928ABF839E5F855B120AA762C6B902B38038AD0EF3D7C0E9C4B9A068F3B068E |
SSDEEP | 192:PpYYmXP8kR8HB+BnYq8cU8uQ8x18EQr6T8wYTCAhAfb5i5IxSxfJtyDe0/8DltZA:PuIa00GQ7E |
TLSH | T1F193B3D883A27832487789E732E99BEBFCE05A8DC5C44A00F6FC56B612DCD78B505467 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/index_abbreviation_U.html |
FileSize | 22536 |
MD5 | 06D11D512826B4253B317B09CDE566C7 |
SHA-1 | 011F5B36AE5136E77DC9CB849D72866E29F00BE4 |
SHA-256 | 0178AD2D308618BEF50D742B716206BF94E0037C3072132C2806DD03A758B0A0 |
SSDEEP | 192:PmEMfXjeXdTJJPaJVNTQsdJLkV0hIE2/6N8u3QxLVkWpy4EPpzf+0VgiyayJnt:Pv7Sbnof08 |
TLSH | T162A2054215C6646E42597A2E4AB47DA922F70BB54B203C04FF9FFD7FCBA2791120D283 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/index_record_F.html |
FileSize | 21311 |
MD5 | 6877220FD2129BC84C4E7EF9702A7004 |
SHA-1 | 01217EF5CBD2159E2ABC68A2D61CC21E9B90A097 |
SHA-256 | CFF7A51EBDBD014903062D0D3DAD167510B12CC3EBEA3EE7672758140A9FFFAB |
SSDEEP | 192:PmEMfXjeXdTJJPaJVNTQsdJLkV0hIE2/6N8u3QxLVkWpy4EWvEnt:Pv7Sbno+ |
TLSH | T126A2E84614D6646E42597A2E4AB47DA962F30BB54B243C11FF9FFD7FCBA2391020D283 |
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_variable_S.html |
FileSize | 52404 |
MD5 | 2201938D27D0F4835B5A62B5545F2986 |
SHA-1 | 017DB69CB686B08C5651DE7B5CAF7E9198378001 |
SHA-256 | CDDD4B942662FAA7993C25F927126D0C3F0CBDA53E68DCF8622736A54B2134BA |
SSDEEP | 192:PmEMfXjeXdTJJPaJVNTQsdJLkV0hIE2/6N8u3QxLVkWpy4EOh/uGHpGkDakCmkCa:Pv7SbnoH/uGHZP7Sbnoc |
TLSH | T17D33774614C2646F4359362E4AB47DA922F30BF54B253C44EE8FFC3FDAA2795025E293 |
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 |