| Key | Value |
|---|---|
| MD5 | 15D6AA5362F19227CE61C4150EEBBE63 |
| 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 | 2.1 |
| PackageVersion | 8.13.2 |
| SHA-1 | DE165D578B4C102D50EAE669F6C728B19897B065 |
| SHA-256 | D549ABE752B8DEA8A6D8F736A3FC5442D21D3C2D17F587C6CA2B170B37A9AC9A |
| 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 | ./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-refman-8.13.2.tar.xz |
| FileSize | 8992636 |
| MD5 | 5EEEAA56C5D4D904F90F844E3E2F8CA8 |
| SHA-1 | 28110408AC2BB98E338B3361F5501E0FAA59FAFF |
| SHA-256 | 209CF16781DC604271795E1C6EEAB8662D3B5D3D887B9F2DF78AA18959C54F66 |
| SSDEEP | 196608:QS4ajZ3dfZir6jzvSjSIa8gXVd0UUCKoy1wOBfGQjiWCo:ljffZimjzvSrgXVdtUEe+Qbr |
| TLSH | T1EC96336C04AB235ACB2D3D1028574412DC9351D6DF4C9B371F69AAAE8BD86FEC49F0D8 |
| 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-stdlib-8.13.2.tar.xz |
| FileSize | 2801528 |
| MD5 | 54537FB6E3BB26BB3E84621F51E2CB3D |
| SHA-1 | 1650425E04B0D61BDBD7AEBA2DDBAB75C2D4AC70 |
| SHA-256 | A238E81A0B18E06A2CB741F5DC2807CDA491AC695A092EEEC05301BD1F1FCF8C |
| SSDEEP | 49152:E6WdpITURoxVMntzDAX6ultmC6bzyFpCVfOe8Yzsw5zmVMtZjnpmHmU:E6WTHsCtzDAX6urX6yFpCVAqFZjpGmU |
| TLSH | T1BDD533259BFFB0DC56CCB1E27EAA61E229A0DA50415F272073BC886935D7110F391F9D |
| Key | Value |
|---|---|
| FileName | coq-rpmlintrc |
| FileSize | 336 |
| MD5 | CFF4EAD9C018F82279F745A3F436CD6C |
| SHA-1 | FF73F0916133197B51A994056CE37A7DFE06CB0A |
| SHA-256 | CF6124CEB678308ECA774829CB89FDB879F1AC1A801C52F31BB42C4A43A2F333 |
| SSDEEP | 6:SbFMC4stmQIRZUDXgBl4sNNMK4S6npHM3I6z0bc0ZXPMKn7WvPNAFMKN1n:qbpIR+m+p0wb3Xz746N1 |
| TLSH | T17CE0208BA341B726371347D774A731A41737C1D00990904B5C553848022E8E58377A77 |
| Key | Value |
|---|---|
| FileName | coq-8.13.2.tar.gz |
| FileSize | 6952855 |
| MD5 | 0E68BF67189D21D6E06F1F5FE21D891D |
| SHA-1 | 226A8DF862B56DED8D81591BA190559F7E2FA03E |
| SHA-256 | 1E7793D8483F1E939F62DF6749F843DF967A15D843A4A5ACB024904B76E25A14 |
| SSDEEP | 196608:IPg4742YgrZy/G/FoXUYd98J82l9+dI587l:PgVYgrZyG/CXUYXE8ptx |
| TLSH | T1BD6633FC59A5090F566E4BB0B6C1DCA849DB09D666E70E2A7781DC3EBC8C13E03169C7 |
| Key | Value |
|---|---|
| FileName | coq.spec |
| FileSize | 24199 |
| MD5 | AD7E5406205AA98EA828ACC91AF01D3E |
| SHA-1 | 0B0770E4C8ED6B60D74DFBAD813C9B0140A57763 |
| SHA-256 | 66CF0736EBDB106E6C0BCE5BE7D1A615F20FF5F54A328D4D126CFA0B70C9903C |
| SSDEEP | 384:l4os6nug+fSOrADkdwVLbM0tR7nw6HVmCOjj+fOXqri69kFLTg6veAZirUzh2SVE:lok4dwVLbMAn7HACOn+fOXlvLrelWIl5 |
| TLSH | T163B20A7366442672A7D24782F6BD2291A73E816E3B25155230DC832C274A4DDE37B1FA |