| Key | Value |
|---|---|
| MD5 | EF083F91B885E671196F351ED76040BD |
| PackageArch | aarch64 |
| PackageDescription | Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification. |
| PackageMaintainer | pterjan <pterjan> |
| PackageName | coq |
| PackageRelease | 3.mga9 |
| PackageVersion | 8.13.2 |
| SHA-1 | 48A66BC612A62FB99362EAA0CD7731E0BB6FE907 |
| SHA-256 | F3678878FE884386CEDB085A443565B83C3A43A1EB7901EE66AAFBAFFA886168 |
| hashlookup:children-total | 3 |
| hashlookup:trust | 50 |
The searched file hash includes 3 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | coq.spec |
| FileSize | 9797 |
| MD5 | 467476394E80AD0EC1512C8DDAC93119 |
| SHA-1 | A81932858218F7B2D5A02394498CE618BAB01D4A |
| SHA-256 | E6A9DA78449FBC1E547E44791AA17616828339D11ED47BDDFEF366198CD33751 |
| SSDEEP | 192:puPLVjPGQ+nN/vstSDleUsNbgPDK6lBg/VmzJ4Uc0:puB+nN/PeUcgPDK6luVmzJ4l0 |
| TLSH | T18212B67281C8906232AF7DF2D8B12211EA7ED1A63DAB5015729F53C4136731CA3BE1B7 |
| 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 | ./usr/share/doc/coq/coq-8.13.2-reference-manual.pdf |
| FileSize | 3794129 |
| MD5 | 123453C6259B0853F4C6BEAFEEE52464 |
| SHA-1 | 7856833C54D2748DBF17ECEAB8801E551D22DC87 |
| SHA-256 | E301E0A9B0B009C52B0CD4D4444299D31AD558060177BEC7464495359E083FE7 |
| SSDEEP | 98304:FNV/UiYWfWG6+43NyUbKA/U5UHPu/si0R1x9v:TV//6DNyUbHU0Li4J |
| TLSH | T11F0623E8E73B85A0DC514A61E01C2AE485D682D7991838FF3CD0DA87B501D6AFD24DFB |