| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmax.cmi |
| FileSize | 2598 |
| MD5 | 39A844D9D02B3B095E47BC05DA6F8F2B |
| SHA-1 | 001B02F2B44C392E4D974B115E8A7D60FD5DA1F7 |
| SHA-256 | 2AB944242DF42247D7CF9F76CC38C688E8ED97F6A087459E96F99C9AC992870F |
| SSDEEP | 48:DvouTcuvkwCSnhRKRi1wDji/QWEARg2DTcshaTaZ/sUvLg8sA6ggLKcg:DvQw5nhWiC9AR1DTPha2Zhg8DDcg |
| TLSH | T19F51C589738579B6746101B3CADD00D712B1282AD361D8BCAECE23498AB8D1B52D3A07 |
| hashlookup:parent-total | 3 |
| hashlookup:trust | 65 |
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 37141832 |
| MD5 | 67CA3AB4FFB600260B23483EBB9F9EB8 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.12.0-3+b1 |
| SHA-1 | 86A78A21F92C34DEBF85F155ABD83D82838892F8 |
| SHA-256 | 520C5F1BF4DB2F58DE2B3396BC77C3198ACA2A777BA0B0FC70F7285CE54873EB |
| Key | Value |
|---|---|
| FileSize | 35402568 |
| MD5 | 0910532B4AFAB542E414F7D10931CB16 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.12.0-3+b1 |
| SHA-1 | 91B314AF0C89BD39C4B37F527ADE3568A7D268C4 |
| SHA-256 | E7C5E24E394321A47BCEECC9388454C2F814D05435C9D109FE0B7F7B793D4D58 |
| Key | Value |
|---|---|
| FileSize | 36980788 |
| MD5 | 59F11180DAD18B87DE2D5220CDAC0195 |
| 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.12.0-3build1 |
| SHA-1 | 1B200532978B0EBA1F18F38EB4119F703E8549D2 |
| SHA-256 | F6A45312B5CFF507852F946571A3E797B6705BD386F2D6DC6A1B36122BBA10E0 |