| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.FSets.FSetBridge.html |
| FileSize | 215635 |
| MD5 | FDC5C3CEBDC03F5DD3A5533E3036D08B |
| SHA-1 | 00058790C76EAEAE1B840DBD4C9D7802F7653952 |
| SHA-256 | E303F997C05421FC427CA2F6119D88161088F3EDC0DE72291DAAE60AB2DF8FD5 |
| SSDEEP | 1536:I38khPxpyo0oSojy1BTv4TU0MawoGP7z4odW6oIVToaF6F5ofVomoJyDm:I9 |
| TLSH | T16724E4EA43A11937497B8AFB03FD6B34F0E10D99D4854B10F6EE46EA12CDF2479458A3 |
| 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 | 22532430 |
| MD5 | 10BCEF4E217327FF9B144FCE6EC16FBD |
| 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-4 |
| SHA-1 | D1827AA2D0F30BDE0BE7A4726099555126A8643A |
| SHA-256 | 4700FB7754350AF66467F3FE19885FB12B2ADF2DBFD0D712241DDE189FB8FA2E |
| Key | Value |
|---|---|
| FileSize | 22532000 |
| MD5 | 5F1936C0C42BD985CF8B196DC895B269 |
| 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-4 |
| SHA-1 | 7513F2387D12E1AD5982EBB7688060E9D48199D9 |
| SHA-256 | 7F7247554453A245000AA40284A9AACAE35B9F193B2C589D0BC9FC67F72E5A09 |
| Key | Value |
|---|---|
| FileSize | 22521998 |
| MD5 | 89399AF2F5C0B785189128CECF8256B5 |
| 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-4 |
| SHA-1 | E582B72B4A96E6DF88D9B8971800300C71261060 |
| SHA-256 | 966A3522601702120A054937F6BBC789D75F8C773809B09C1A08BE4C5B65372C |