Key | Value |
---|---|
MD5 | D078C6B8114F4C41E40A900EEC09FB97 |
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 | 1.6 |
PackageVersion | 8.14.1 |
SHA-1 | 9052D6F90BB6E4E8A193FE1DCEA598154741B3E4 |
SHA-256 | C232A1D9A618CFA1C1BC2F23DFC0CCC00BE55A2534772C52051877756BC046A9 |
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_projection_T.html |
FileSize | 22828 |
MD5 | 3B573E160C0BE7FD2989D1EE82FBDE78 |
SHA-1 | 0085B95E6B8772073073B17CDE07F8CB088CF5FF |
SHA-256 | 37E8E0A9CC6B46C47B31FE8621EC9654B3AE68E96B106A96465AF250C0285C0A |
SSDEEP | 192:1mEMfMjwXdTMJPuJVNEQslJLmVMh5E2t6I863QxaVxWJy45TJIOoeOnt:18QGaf+fWOoei |
TLSH | T154A2234614C2646E46597A2E4AB47DA926F30BB54B203C04FF9FFC7FCBA2791024D297 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Sets.Image.html |
FileSize | 44046 |
MD5 | 8F68A0E109A92C031199E34A8BCDAEAE |
SHA-1 | 00BB5BB3B5AC194AB565D2190E77D2301B1626B5 |
SHA-256 | 012D4943B3B7B1E1ACC149181D9EF821FCF50CCBB28A8F0F2E923DBAD8783C45 |
SSDEEP | 768:WWk3Y3hqHH69+x+94btnggvzk3P6B5NXzdpvbTFHVBmM:WSe9gD+mM |
TLSH | T19E13F5E843B229378A778AE627FD7B28F0E14949E4454A10F2EE47EB16CDF107551A33 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/index_projection_Q.html |
FileSize | 21147 |
MD5 | C5B6D8826B47C9BBC80F1EB3099555CE |
SHA-1 | 00D14F5A79ABD16DA5A9CF2653215D0F4377CE5A |
SHA-256 | 8ABBB12EDC9D18FAC3D91E59D9CE31C5B095F146DD00A687021611E3C1F23F46 |
SSDEEP | 192:1mEMfMjwXdTMJPuJVNEQslJLmVMh5E2t6I863QxaVxWJy45Gnt:18QGaf+O |
TLSH | T15892E74214D6646E42597A2E4AB47DA962F30BB54B243C11FF9FFD7FCBA2391020D283 |
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_lemma_N.html |
FileSize | 334137 |
MD5 | C1157DE770A646BC3FFF01B652A4B829 |
SHA-1 | 0162A76C590CF74D71CD709A964B67D13B407BFE |
SHA-256 | F5CBF66697B109E3A21A7C024A2F88DD3801325C074EC579DBA7F406CC942253 |
SSDEEP | 3072:UVlaq4YrLGOBpXPBpGOc0JBAQ/nCiyyn//nW+Tjv3x5n/CiK6phkMAQRZMEVlGOy:YeVwM |
TLSH | T14D647D5512D293AE87F90274197939DC31A74BF358801868A81F7917FA37F4F72B8683 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Init.Logic.html |
FileSize | 528018 |
MD5 | 8ABA931AF00F257BA5C5BC73261B8CF3 |
SHA-1 | 01658944CB38ED26CB970CE6363A5C38CBE27CF9 |
SHA-256 | 8EAFD670B8BF25226200487B0BF15ACA79236E64DE67CEC79376A4AEEF79E0FB |
SSDEEP | 1536:eRn7mYS7asDrT4wrVDXVCIi6Wgk7asx3TnFhAnXmCA3mE7asMLTZ+OA+cyeQiY8l:2SisNA6AadAY3AXAmAoshR7ANCsIS |
TLSH | T1CFB4B8E483A2297B4D778AF613FD6B28F0F14949E5864A10E2EF46E706CDF247585833 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/index_definition_E.html |
FileSize | 71530 |
MD5 | 0232C09942AD1656E4F079F7558852F9 |
SHA-1 | 0193A640E70636ABD9157EE25EDFF0875A9BD32E |
SHA-256 | D9D973298631E4A54ED1118B9922C762EDF611B23AE4F6B6A5CE19A0D1B210AF |
SSDEEP | 192:1mEMfMjwXdTMJPuJVNEQslJLmVMh5E2t6I863QxaVxWJy452AUmC6roU8iuBJ9HM:18QGaf+CANMHpRBO7d58Ga0QGaf+v |
TLSH | T10E63D35155C215AF87582A3E0AB43DAD31F317F21A613E44AE4FBC3FCAA3795025E293 |
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/packages/coq/stdlib/index_constructor_T.html |
FileSize | 24092 |
MD5 | 8466C925E6D205FD1CED5B29289A5936 |
SHA-1 | 02399609054888F6D0B318DA9BB4B6EC05F97A71 |
SHA-256 | 5865C9D6CA3A13FF813A0CD9A164E71AA8E1FFDA5079513FC74FDDB00E919730 |
SSDEEP | 192:1mEMfMjwXdTMJPuJVNEQslJLmVMh5E2t6I863QxaVxWJy455RyndEqkC/ukoEuQB:18QGaf+ehsEXOr6 |
TLSH | T1B4B2354214D2646F46597B2E4AB43CA962F30BB54B203C04BF9FBD7FDBA2791024D297 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Arith.Bool_nat.html |
FileSize | 12596 |
MD5 | 38CB010C8C0E6245DC276D704C08BB99 |
SHA-1 | 02AE0BD1404E30956FFD89799DB01BCB33A4217B |
SHA-256 | E4E3B6CA9E16F59D2C04C5CF958984793285550729958E257495952785DAF591 |
SSDEEP | 192:1kJdKZchCU0ZmlBLsiAcRCCimEyDy9C8Tnt:1llkl1siAwCCiZyDy08p |
TLSH | T122421AD883B2643B9972CAEA1AFD2B24F1E10D0AE5854910F1ED56EB47DEF107942D33 |