| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/DecimalQ.vo |
| FileSize | 164666 |
| MD5 | 68139056D72CF9C74480A1E6DF4050EA |
| SHA-1 | 00978A8173FFB14FDF84E25DFE79971B2B7339FC |
| SHA-256 | 68705613AB8C47839886AA337C6D769C725BA696B063209DA26B7398A93E0F37 |
| SSDEEP | 3072:iCV0lnx9x9uLmCoc4zETWLuF4XPHjK9RmQM0w/J6GKPdCl:oj9GiCoKSLuqX7K9RmjnqPUl |
| TLSH | T1F3F38E52D113DDB0C4EE99F1D6D950C12903854F02FA4A1E2E6CC31CCE8BE9B19AADDB |
| 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 |