| Key | Value |
|---|---|
| FileSize | 14797690 |
| MD5 | 5E95E78C37BFAF28C5EE074A434A8DC3 |
| PackageDescription | proof assistant for higher-order logic (theories) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values. |
| PackageMaintainer | Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> |
| PackageName | coq-libs |
| PackageSection | math |
| PackageVersion | 8.1+dfsg-6 |
| SHA-1 | 6CCAD8FCD340B5727695EF8D81566423C5877B1F |
| SHA-256 | C75BFBD667D1E6A8A841C2EE1C7021C47EF7D34EBA24CB85DF6F82D22A83F4D2 |
| hashlookup:children-total | 732 |
| hashlookup:trust | 50 |
The searched file hash includes 732 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-libs/html/index_global_H.html |
| FileSize | 12108 |
| MD5 | 65D02A329C0A57323F41DC7ACE4DE21B |
| SHA-1 | 003E5DAF4976EB09E0D348717CF046E9578F78E2 |
| SHA-256 | E16FFA2C7566EE134F9AE236D80B7574CFB1E8B7F140A2CEB5D3FA9D15C86C6A |
| SSDEEP | 96:LzCK8mKVrjMMPrgIrrL7DzDz7b7LjTDz2CLrgQDb6pC0FM8rKyiCiaD6aIiyZqaV:78SEMfphSJLoVaEqWiEQs5ClkS |
| TLSH | T1DB42480614D2616F46997A3E4AB47CA926F307B65F243C40EF9FBC7FCAA6794110C293 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-libs/html/index_axiom_C.html |
| FileSize | 13255 |
| MD5 | 7851D9274478EE033B3191AC891BB1D6 |
| SHA-1 | 00CE5CF97B52E5915482C8887EB215AE7B70224A |
| SHA-256 | 1A7C00C0F19BA21EFFDA5EF2DB53F838F66FE6E476C7FE626B7BBA4178028942 |
| SSDEEP | 96:LzCK8mKVrjMMPrgIrrL7DzDz7b7LjTDz2CLrgQDb6pC0FM8rKyiCiaD6aIiyZqaf:78SEMfphSJLoVaEqWiEQs5DgLgc |
| TLSH | T13652519714D6606E42597A2F4AB03CB922F30BF15B253C44BE8FBC7FDAA6790111C293 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-libs/html/Coq.ZArith.Zorder.html |
| FileSize | 86307 |
| MD5 | 9C2AEAF926B7FCF0B19A11A7A587DC67 |
| SHA-1 | 015032EDE082737C511EC7C8F5F47BB7F4CDBFE3 |
| SHA-256 | FBB98ECF8B8BC23380CF5DFA781403EC659DA23D8877738CEC316E8096632F7F |
| SSDEEP | 384:ai9gqfP4inDo95CZrAdvGxkgu47D8Asu8gQ72CkJCHe5L63+EsJ/gkAHGvdEOe01:h9ONN7/1mX |
| TLSH | T1C283EBB0225236BF9AEB86F776A073F9B8D06D43F9504024F9EE1A9253C9F483752C54 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-libs/html/index_lemma_L.html |
| FileSize | 37442 |
| MD5 | 842B70F7645CB247E42D7E23ADDEF8E1 |
| SHA-1 | 01967D89B7325BF0D952D1297F2B99CBCE10075C |
| SHA-256 | 82A7AE64701175574E35C096F9155C96AB8FADF4F4C09CDD83F432FB489E7448 |
| SSDEEP | 384:78nOM4nLnF5hB5scbAHrhjnhzHhzFh4j/hOB9UvhzXh9Phw3h8OC:7TLYI |
| TLSH | T123F2E11610D221AF87583A6D19B43D6876B307F20F643C84FA5FBC3FC966BA512286D3 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-libs/html/index_module_D.html |
| FileSize | 10720 |
| MD5 | B560826A714F2F4353C5D24911C1BDBE |
| SHA-1 | 021FD189DF161CEC89DC8E2D1580C6A845E39149 |
| SHA-256 | 990580ECB4EA29ACF3A6F201BB10DF800492B8FB360A69C210DDB750E5CF0187 |
| SSDEEP | 96:LzCK8mKVrjMMPrgIrrL7DzDz7b7LjTDz2CLrgQDb6pC0FM8rKyiCiaD6aIiyZqa3:78SEMfphSJLoVaEqWiEQs5s |
| TLSH | T13B22FA4614D2656F42597A3E4AB47CA922F31BB54B243C54FF8FBC7FCAA27A4110C293 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-libs/html/Coq.ZArith.Znumtheory.html |
| FileSize | 90281 |
| MD5 | 571BDB217229316AB7CB370B84F63482 |
| SHA-1 | 0237781F8B0E687A2F568D57DB94F53E61A437A8 |
| SHA-256 | EC71447C0389B98C50775034AB7F9BB69F9ED8521B6766307370158940773BB0 |
| SSDEEP | 1536:XUNQHd843NMTj7rbGvHsp3h/7dqhw2Yh2w2Um:XvHd843NMTj7rbGvHs5h/whNs2Nl |
| TLSH | T1239304A16641367F9B6B82E535B473FFBC810DC3E440C724F9BE0A9216D9F0D2B684A5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Rtopology.vo |
| FileSize | 140275 |
| MD5 | 88B2A923CAD3D62548BA792F5CE6F136 |
| SHA-1 | 027C280118C769BCDD049DA58F5085E66FA28342 |
| SHA-256 | 6054B6A5F8ECE2B94F973B777A8367ED6027F2DD513C913FD5068C0A964419E4 |
| SSDEEP | 3072:PAHyakIKWAo6ntkkmJVhPoscHWIu1Sp+RrppY/kwHuLNnCux9tV:PXaLxD6nGkmJgscHWIfpcm/tHo9tV |
| TLSH | T12ED3398BE5946DAEC8FD6AF8F265F0519843018E91B797DB0900C2BEFEC735A056C4C9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Wellfounded/Disjoint_Union.vo |
| FileSize | 4925 |
| MD5 | B5C1C2C13327A88494367A1FB8985FB9 |
| SHA-1 | 02C4B65B0426EACCA29F95A674103FEE4F14FD25 |
| SHA-256 | 86D30107239D4FC7DB258F92979D269DF7997A04F2582C5B317C81F5C5066B66 |
| SSDEEP | 96:ipGHF6A5lYS1aKtssN8kF0bK/YfsPIA5fBnZ/qRPmjAMn81D/C:URAR1aZsBqbKFIwRKejAX1jC |
| TLSH | T183A1C619C06C0CB62CDFB8E1E738B3A6A455549F01F8A7CE0086D17DECE99AF5769488 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Sets/Ensembles.vo |
| FileSize | 17948 |
| MD5 | 267B67B5B6B9EF689A58B0AB83774CC5 |
| SHA-1 | 02EC4A9EC26407E5907B48C5F6892DFF29CD4669 |
| SHA-256 | 964B1F5242184FF36772B0F615959F55A46EB7BFE2A521DACB759FE1BD1042CE |
| SSDEEP | 384:7jSNB01SAZaoFzvm9fOq7sKWNzODMiaZJN5wtzHya2K:PS8uoFzvo1sAw5sBL2K |
| TLSH | T10682E76CB62489ABDCFF25F5B636C25ED92740C822B3F34B884497189CF3355C68A95C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Init/Wf.vo |
| FileSize | 11565 |
| MD5 | 904DF7D2AB7E4DE8DC4B777348F52076 |
| SHA-1 | 031E392B46AF22CB6F68C5C67533F6DE4D515932 |
| SHA-256 | EED0CF27F9EB0714D44C42B53591093C1DF6362FAAECCCAF43436C0B130DAE3C |
| SSDEEP | 192:jbvL4mUahC3pxEIEIvSwIaa8KnZ/P8aWTDZtd6u8gEcZ:jbvEmUahEpDEiSwHKnZn5yEuGA |
| TLSH | T13F32333EA65858FACDED9BB2D371875BC154439E17B3A387094043B8BDC2396D2CD289 |