| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zorder.cmx |
| FileSize | 3929 |
| MD5 | B260E4204AE49F71B95DFD8B3A8B95EE |
| SHA-1 | 005740F6FCC707258FAE5C4FDD36323035D52E96 |
| SHA-256 | EAD4993613E6DEB1A91EA682CA2C0EF21B7FEFD80BD514943781D27F3CA3400A |
| SSDEEP | 96:n4A+KukgEDq3BFW8CAnJPbN50xA7qd834Tgb1RRqZrDna1XtZNyw6b5:nikgED+CQb/cA7qd834TggZrDnaLZwwm |
| TLSH | T1DD81E8A521B590073F1380E25FAC04D304F2291CDB565DB85B857B4CDD74E1DA3EB11B |
| hashlookup:parent-total | 1 |
| hashlookup:trust | 55 |
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | 360F43C1E84743A0F500DDFE046DF5F5 |
| PackageArch | i586 |
| 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 | 63A915CF36475FB9071593AFE9DA9EEE23827FAE |
| SHA-256 | 924B046827FA94D9CA358F3CC5243EBABFFD88AA6FD2E493004C86BA0097A3CF |