| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.cmi |
| FileSize | 2818 |
| MD5 | 51ECDBE5AF4DCE487BE48911A1052048 |
| SHA-1 | 00199C7AEC24434210462522996AD742863B31B4 |
| SHA-256 | 9DBF7E6ADEB4E63149AF631DC5FAD8C5EB4164AA2513B6D475D2D51C70BA56D0 |
| SSDEEP | 48:WHlLRMPLiGStf+kkYVtxV/bBeHKl1V2/P9CXvcmmnKMP23Wqu32hW4w18:WRCPLWtf+kVdBuk1s/lezUA3WqK2hY8 |
| TLSH | T1F7513BC8F790B101A497C0B6C1E5547159411A7319B3CCBFAE4462DE8BACD581B03F9B |
| 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 |
|---|---|
| FileSize | 31788186 |
| MD5 | 8160FB65BBCFDBE7794E798CE595C45B |
| PackageDescription | proof assistant for higher-order logic (theories) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.5-2build1 |
| SHA-1 | 5ED3F1E6DBB2793A1D0D86EA714DA58AB5AC00D2 |
| SHA-256 | A48AD2810595977F5DE2D634038BE91AE35B301E95D48D9CDB1D2CDDF54062BF |
| Key | Value |
|---|---|
| FileSize | 32856452 |
| MD5 | 875E23C885363B2B2701C039857D6E1E |
| PackageDescription | proof assistant for higher-order logic (theories) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.5-2build1 |
| SHA-1 | 07EA024FCBBCF4FDEE47B15C781CC8A80628B485 |
| SHA-256 | C6E8BD28AF61B806A2D7A805F8974F9A2E8342DBD42C3911CE05FCD566D942CA |