Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/Numbers/NatInt/NZBase.vo |
FileSize | 12648 |
MD5 | DB3958A7E138AA15CB0999C7128B901A |
SHA-1 | 011D18E8BFE4F9D5DB552E935200F404411F6A4D |
SHA-256 | 7D7FF3F3F6095BBCCFB424DAF40C88392EFDFF79257BB9AA62BE87881ABED668 |
SSDEEP | 384:05IWVRZMoIsoI1TBxt2nYVhQPTaq96k6DKI66o:sDVRZMDTWBxtHLQbaq96kWKI66o |
TLSH | T16A42C74A4063C643F4E251B4F778752150B84DDB026EAB4E9A38615CE7CDE8F0AE376B |
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 | 23916828 |
MD5 | E0A31C05DB4A85257FE0E0B53AC4903D |
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+b2 |
SHA-1 | 6643F28AC6F1C66E7D6CC0A11B45D04F24A234B1 |
SHA-256 | D655C538ADBFC8CF92245EFC1E18AC8A59B6DAC92C54CB950C9E94A165EF6E82 |
Key | Value |
---|---|
FileSize | 23914852 |
MD5 | 321527C2B1256F104792A1D4F30A1AE4 |
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+b3 |
SHA-1 | 46D6F9D897B7C724368EFE35FC81A57243D57B65 |
SHA-256 | D25340DBB91EC828BA6A71546630A7738F8131084502FB39B786DCF6C715D657 |
Key | Value |
---|---|
FileSize | 23913512 |
MD5 | BB9006D39AF878892BCB32C9FD16B2A7 |
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+b3 |
SHA-1 | 5D4DC9BF2112F606A3AAB303ADA1C99FACC4BC27 |
SHA-256 | C856E3EF2BF9EE0EF5AA265788853D7A5296DD829E950289C175DD12535C6A9B |