Key | Value |
---|---|
FileName | ./usr/lib64/ocaml/coq/theories/NArith/.coq-native/NCoq_NArith_BinNat.cmi |
FileSize | 175607 |
MD5 | 9A7AEA26D9161EFCA7519A60A4C141F8 |
SHA-1 | 00891484940FB58043874E4F63395A12A1A7C1D1 |
SHA-256 | 9B8B2990AE7FB0C992F3FF107A37F825039F4B78608C582BB9D013BAFB4A2A25 |
SSDEEP | 3072:xWIttaCSzLB8js2BQ365yA+Xi4kmRZFcjo:ICaCSzLixu6MnXi4kS5 |
TLSH | T14E0406CC165AA16BDE3706E8C6E5135A82151E7F72C0FDFBD85A61F0834902D27E98CB |
hashlookup:parent-total | 2 |
hashlookup:trust | 60 |
The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | 83D3B9F20D26621835318E8F68EB1C8C |
PackageArch | aarch64 |
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 | 52D726B9A961873605D642540205EAF6165676D2 |
SHA-256 | B0DE5DAB104B0C67DE3329EA0E05E91661400471F957F6D042C310487B058964 |
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 |