| Key | Value |
|---|---|
| MD5 | E9737C8008FFACD90D7DDC4ABAA918FC |
| PackageArch | x86_64 |
| PackageDescription | Proof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification. This package contains shared files and the command line interface. For a graphical interface install coq-ide. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq |
| PackageRelease | 1.6 |
| PackageVersion | 8.14.1 |
| SHA-1 | 0EA585F151A3C8EEA281C6EE5D1B810550015327 |
| SHA-256 | 3434FB474B72444B9B6C9179ED9679E35F623C0E608602845D3E25916AA742E1 |
| hashlookup:children-total | 7 |
| hashlookup:trust | 50 |
The searched file hash includes 7 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | coq-stdlib-8.14.1.tar.xz |
| FileSize | 2882676 |
| MD5 | 03F30F9ED7913F0BB3829C3FD67E8112 |
| SHA-1 | 5EA68C803BB994BFDDAA7D84879E72CD9FA17F76 |
| SHA-256 | C5FA52A71ACF61A561E0C51642B7FD73C66BE79ED4493B2F6B3DEFCE0ED3407E |
| SSDEEP | 49152:88DTqggTD+Df3hpTYkuWNThVdh5o5oeo+E8lMXmFCVEnFjsoInD:VVfxpT/ugFTh8o5iUEFjsV |
| TLSH | T1A4D5338F7D3A40DF05E9693FDA621B85B07BD10885398BBCC82FC660C9A5866537C78D |
| Key | Value |
|---|---|
| FileName | ./usr/share/applications/coq.desktop |
| FileSize | 246 |
| MD5 | E1360702381A83A2DFC3ECEE44F01F7A |
| SHA-1 | 5F0748D5C55CAF1D0E6BFCAC248E7A6571330CC8 |
| SHA-256 | 6815CA95EE29BFD21A7279F1F8AFBCAC55F2FC2DB3739BF82EFA43A3413A20FA |
| SSDEEP | 6:agQM8L8c58IWByZWByJ2cAzYCjBIRukhYGCBI:rKL8c58rcPCjBsdhYGCBI |
| TLSH | T150D0956731198121865D11D24696CDC54173003804367060FC1126B09024E437197FD8 |
| Key | Value |
|---|---|
| FileName | coq.spec |
| FileSize | 26285 |
| MD5 | 8938E31896119519F81C642AEFC04F34 |
| SHA-1 | D8A58CA1B93CF20A7830D5F8D14BBDDE831AD80B |
| SHA-256 | 17A1454E0FF067F7C770E3AC6A13D672D39A6734BD9F6963CA8533AA3BEBBB5E |
| SSDEEP | 768:lK7dttpsOxvhAn7HACOn+fOXlvLrelWIl7f2y:lK7TtpsOG7HA7n+GXJelN6y |
| TLSH | T116C20A7766442772A7D20682F6BD2291E73A806E3B65158170DCC32C274A4DDE37F2FA |
| Key | Value |
|---|---|
| FileName | ./usr/share/mime/packages/coq.xml |
| FileSize | 419 |
| MD5 | E134DD73E097FD8D2D66318CE377EE95 |
| SHA-1 | 3C7F6996212F7A08272A79681DB391AABBBD7919 |
| SHA-256 | B782925E042C904FF1EE87BF5CD04DB51FC481FFFE2336FF60B77ABF73CEDB8E |
| SSDEEP | 12:TMHd9KLSj92OlHnYGjXX7U7tysblHOXGFys2OAE:2d9/jMOlLjHWtysblSGFysR9 |
| TLSH | T1B4E0E5C4E6D398556170E9174B2BD018730593A74194B9AEF6C1CE71DAA1FD1069234D |
| Key | Value |
|---|---|
| FileName | coq-8.14.1.tar.gz |
| FileSize | 7066759 |
| MD5 | 0DB223185B31426F68AD1EAABAE79BE1 |
| SHA-1 | 9875C858D5527F7E4D4A0901FCFB50BBADAF6603 |
| SHA-256 | 3CBFC1E1A72B16D4744F5B64EDE59586071E31D9C11C811A0372060727BFD9C3 |
| SSDEEP | 196608:CWugguL55EbyFQzwCZLOgt8Vdc+LU8t4UtarbgKP:Qg3rEbHsCZSe8jFD4UtarjP |
| TLSH | T14E6633CE70575602E104A1A2BA6E650AFF9C288DC7AB55E5DF90020530A9D35C7FFCEB |
| Key | Value |
|---|---|
| FileName | coq-rpmlintrc |
| FileSize | 340 |
| MD5 | 280607F543620E0A0595390E6119ED77 |
| SHA-1 | 6339DD99BF5331232707EF2CE4E66F230228AD87 |
| SHA-256 | EEE0C228F4124928DED3BDEB60C79D0D6C729301E3AA0AF649BF09486BBCBC63 |
| SSDEEP | 6:SbFMC4stmQIRZUDXgBl4sNNMK4S6npHM3I6z0bc0ZXPMKn7WvhcQNAFMKN1n:qbpIR+m+p0wb3Xz74hQN1 |
| TLSH | T18BE0208BA341B736375347D774A731B81737C2D00950944B5C55384D022E8E58377A77 |
| Key | Value |
|---|---|
| FileName | coq-refman-8.14.1.tar.xz |
| FileSize | 9060468 |
| MD5 | 895AC73AAB3CBF9B6EC2A65F32B9C550 |
| SHA-1 | C30CF03BC22CF872E4C94CC751955D280D3FD161 |
| SHA-256 | 357921DA1DCAE772044731D68ED535FC6B336EA22899BAF673A09130C1922295 |
| SSDEEP | 196608:mjCfaFN1vGN9LEWRCM2+8zQmNgXf24Jb3Fvv72:mKaFNoTUM2TGPPJk |
| TLSH | T110963358E85609DD17C14F488A7CA374ECE798A2E66E13F20906ADF0FC7E63A81DDD44 |