| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Structures/OrdersFacts.vo |
| FileSize | 94076 |
| MD5 | A3880A7E1A66B0F9F0A36A950168FF1F |
| SHA-1 | 00731C7467145C5E766703130B69D40ED7A72167 |
| SHA-256 | F9CAD4029B0D9740D94B7C56E64FB0F4AD7481CB7D1F002DEB4E2F6BE2530340 |
| SSDEEP | 1536:PkzYmyFK0wgvOUzf1N73ohOpDmUsrdFtqQ20Hjnk4eVOPVZTpQZ+f9Y3C:PksC0wfUztNTohOpDWtq7M2GHo+FMC |
| TLSH | T1A3933A98E20B89B4D8CB19FDF355B111E6B409DF10FFE3A6892DE22844D5E8B90467C7 |
| 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 |