| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Rdefinitions.vo |
| FileSize | 29851 |
| MD5 | 7039760DC898F0D8F6FD1F81D59629E3 |
| SHA-1 | 007943267F9896EAF03F4455F623DCE808D0EBDF |
| SHA-256 | 5A955319F2CEE46B5E19B6CC2E0F680B95167A5FC48BF88204225EFEEC42F468 |
| SSDEEP | 384:kSCzKym8Qd4Sr396vjr6Vjfha10K+iStYUNpmHxQJzfVnt4zHaq3FfEiGk6:kzfQd4m39S8j5a1uKUNpz99nt4zHVxGr |
| TLSH | T10CD26166DAD1C7A158B5CA342A7474CC5241AF8B5209E3281625037DEBCFBE72DB026F |
| 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 | 22797996 |
| MD5 | 04787691FD9F2C83C6AEA20DCD204228 |
| 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.6-5build1 |
| SHA-1 | B6490EADF0D300F6DE6005923BEA95493323D8D3 |
| SHA-256 | 05EACC21CCCAE3D251F92CC3DBBB7B494D856C904D9D1A7510EE7CCC4D345972 |
| Key | Value |
|---|---|
| FileSize | 22800288 |
| MD5 | 296AF2841155EB30FF83C4D007150144 |
| 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.6-5build1 |
| SHA-1 | E04D5053C162C600CA2695DC0B419EB631874850 |
| SHA-256 | 1AD147A24925BB2CF0EAFDBAC4110DD3139464E6B91D498C0A9B9BB161F2A70A |
| Key | Value |
|---|---|
| FileSize | 22801252 |
| MD5 | 288271108ABE3844E7F30689FE312E00 |
| 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.6-5build1 |
| SHA-1 | 920FFCA198CCD6EF8591251D47493B35A94F9BF3 |
| SHA-256 | 636F1C43A47EB90A262C119AF7FC30980A4986C7436B3264B46769AA0DCB2244 |