Key | Value |
---|---|
MD5 | 57B657B809DA145E1A7F3DEE9F13D0A8 |
PackageArch | noarch |
PackageDescription | HTML reference manual for Coq and full documentation of the standard library. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-doc |
PackageRelease | bp156.1.14 |
PackageVersion | 8.19.1 |
SHA-1 | 9214A84088D9F6ABC83FAD9AF73C37430BC28FCD |
SHA-256 | 354FA58AD83EE0981C0662772D67F79B2FCA378CBB8AAA122C744CE6CCC3F48B |
hashlookup:children-total | 1077 |
hashlookup:trust | 50 |
The searched file hash includes 1077 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Numbers.Integer.Abstract.ZMaxMin.html |
FileSize | 49877 |
MD5 | E8DDAC80C5E45604FBAD365986A0604B |
SHA-1 | 005FF19151BD4B5BBEDB83A7928088552456D51F |
SHA-256 | 0983BE3856B9BB02D34CADE787C8D7E15B62EF8F72CA934B8849EF2D49EB1151 |
SSDEEP | 1536:3RMP6rudyJmGS+e50s37KJIcD2Q2sKoXcqhUmR14Le6BgqlYUzOyx64hYsn2SJ4S:q |
TLSH | T1B6234BE483A257378AB64BF916FD6728F0D10E44E4850874F6EF87E6178EF11BA61813 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.NArith.BinNat.html |
FileSize | 273444 |
MD5 | 3945A3438FFBCF7C66B8AC737ABBF83F |
SHA-1 | 00B031D0B901DEF42ED1B8E879D582BB4794DE1B |
SHA-256 | EFF335E0BA6E21649C6835650D1BD485606CCAA50843976E18086CE850D12392 |
SSDEEP | 1536:8o1YDaDK7GlQEIzUFou8sQYXtXFVC0nuHE44Sz/nYlNi9CVoIctV63ynWbjdZM0q:m/ |
TLSH | T19E44F9E483A3293B497786E913FD6B24F0E14D49E4854820F2EE47FB479DF147A62923 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Logic.JMeq.html |
FileSize | 40259 |
MD5 | E2C20C4076625AB58EF5551970AAC0A4 |
SHA-1 | 00B2BE65151F1E64FA7ACC96B5DEFF8AA3E3F97B |
SHA-256 | 54BE09FC0F4E21F2B0A9D4CB2434614434F722B15CFABDD1D277834EBD71A43C |
SSDEEP | 768:QJDhNNfFmbSOAIQ/L8r7XI/bGP3apqdZuzpSgPByX98/SREh4WYjT9e90ZfQwYrH:QbYCInXLREh4PYqfQwYrT4+e+YGQmoVe |
TLSH | T13B0394E483A2293B5DB28AF616ED6B24F0F10949E9895810F2FE47F7078DF247945933 |
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/refman/appendix/indexes/index.html |
FileSize | 129816 |
MD5 | 2E27E5BF17086753AB4A7937FCC0349E |
SHA-1 | 018559CA98B502138C5BA1BCAF42858F37E56F9E |
SHA-256 | DD0F0CF9094067A97372C93543B2748975E266703B8CD2CD79476629664EE22A |
SSDEEP | 768:Z6mHVMlorZS6OrVNR3JeyyI16LGjHQHxMt8QZ0IzS/h5cB+fD23xlJTolfwEyZQk:268uLG7QHxy8IzlB+fD2ZTe4Eyr |
TLSH | T1E1C321320C5A29B712E347CCAE553F18729B9D6FD31A6E2271F801625793FA9D21132F |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/index_lemma_I.html |
FileSize | 106641 |
MD5 | D9254EFF7D78A3F8F43478C2F97D5274 |
SHA-1 | 01A215B908A338E7633AAE95D2953EC80579FDCE |
SHA-256 | C4DE5814C0AE61D63C1CBE7E12496F297BE4F26293399155E0EB4EA3D0B76BAA |
SSDEEP | 768:c2IxcOncrb4Y/6xDQ+9x36YDF+kxFQUuHlnFI2s:c2ycrbt6xDQ+9x36YDF+kxcM2s |
TLSH | T13AA3499610D105AF87A9163E09F43EB931A312F24E407C44FE6FBC3BD96AF9911292D3 |
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/Coq.Classes.Equivalence.html |
FileSize | 32205 |
MD5 | 4C62C5F7ED0E9E76CF9EEEC67BD22A8B |
SHA-1 | 01EF709ED4FBB0ACC387F0B2C56202669674850C |
SHA-256 | 8A0920DB2DADCD4AAB0F7716635489BB6D355902F20BEDE9AB0769BB2EC67A88 |
SSDEEP | 768:j/b++nGgNP7xseX9+s3sPWHC8LIMLmTe13IDJOPJh1CnRLVeLr07FRIm9/fTQ0Ey:jj++nGaX9+sZzxdw7RRmoxRIm9LQ0f8A |
TLSH | T198E2FFD883B268378833C6E622FD6B25F0E14A49E4CA4910F2FD16E717CDE64B556837 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Unicode.Utf8_core.html |
FileSize | 9156 |
MD5 | 5255293CCA68D826100374DC64D5C326 |
SHA-1 | 0223FD7353FAB7AAFE6A87C18A241FAF0977072F |
SHA-256 | 2276F94289971A0D54EF22CBE569350CCCA137A574B2335E2EDB8171171503D0 |
SSDEEP | 96:1jML+hFbtmy89o4Hk/ablNFKql/adoNFK89ojw/+HwlYynkix0GpG3vHSkBilKwo:1Cd9tSs9ucwvwnuhL7nt |
TLSH | T13C1235D883B26D370D7389E716F99B25F0F14A49C6890D00B2ED56EB47DCE60B94A837 |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Numbers.HexadecimalFacts.html |
FileSize | 163420 |
MD5 | 5723736164B6F1F5752CD88A642D21E9 |
SHA-1 | 0241565557FF24597967AF1B982A759F0644C31C |
SHA-256 | 084288D967A2CF79FA249577B92D9A955DC6D61C4338559A502C9AE4D2CF18AE |
SSDEEP | 1536:uxX7KP9gADfuSuR8Wr6pVU94vT2gl204zva48vbWwoBqM5c7OPGJOq26dIIc+Am4:K |
TLSH | T1C9F383E843A1193B4976C7F916FD3728F4E14E4AE44A4961F2EE4EFA06CEF207551823 |