| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/SplitAbsolu.vo |
| FileSize | 27136 |
| MD5 | DFC55FF699B7A1E07357DE9AB7B5D030 |
| SHA-1 | 00B9277B9921A636D3BC9902E04990100D5942F0 |
| SHA-256 | C67B84ED3144051B724CE644ACEE11FF7CB3FEF8D23A07FAE0E4DE00D0126DD6 |
| SSDEEP | 384:7hKKm8Qd4Sr396D8ThbAurmfha10K+iStYUNpmHxQJ2QDVnt415EUi0OVq2fCg:jfQd4m3979AP5a1uKUNpz4Q5nt4cc2fL |
| TLSH | T1CFC26236D5D0D7A118B1CA342A787488A241EF478359E728663503BDDB8FBD72DB029F |
| 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 |