| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Numbers/Natural/Abstract/NBase.vo |
| FileSize | 85548 |
| MD5 | 74D5BD2D9C4D3334334E1CF03CC6B737 |
| SHA-1 | 0011FA092885FB4021C1D26551B33A05B92F85AC |
| SHA-256 | 38671507E2BFE37907AAA9381A1DF7F2531620250AA524901C95D0C7CD2C754B |
| SSDEEP | 1536:a0umqLdBKf/+WbeCGHh1eR+k/m6wEE4BJDP/uFxMWV1qWRulF/QR9tAxnN:afm8KeW7H1u+XDiMWVzRulxY9qr |
| TLSH | T10383E556A64763DCF8494BB2F394A524C4A80D7D43BDA79EBD2CC114899B38B27C23C7 |
| 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 | 4B69C01E0C1DCA686F3FF1B4C18B9C83 |
| PackageArch | x86_64 |
| PackageDescription | Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching. |
| PackageMaintainer | Fedora Project |
| PackageName | coq |
| PackageRelease | 1.fc34 |
| PackageVersion | 8.13.1 |
| SHA-1 | E1D4682414BC062283E85D96D5044F75CB8B0E8B |
| SHA-256 | 9A6C9842A6A180D3CCD5B19AE8A27EB20740BFD6EB02FFC9FCE43AD84EB47B45 |