| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Sets/Uniset.vo |
| FileSize | 18279 |
| MD5 | 843612953BE5334D889E5984CE660764 |
| SHA-1 | 012E4601D6135993B4FC56EC1F25774E8529BEA4 |
| SHA-256 | C8529DDC9B2AF6B03D5C4DCE0A7BFE0FFA8882EBBE5F194D1A025D9FA868E792 |
| SSDEEP | 192:QHclte2NoElNFykGQpxlfku6S5a1d5r64+S6qCno0/vUklTD5G7NKisurU3730An:RYKDikRyJVdgj/vUkLGmQU3730ANhUnO |
| TLSH | T15882A49CD35E0CB1C8DB1EB5EF24B755A35859CF223BB7DA2444833899E82DF891C182 |
| hashlookup:parent-total | 6 |
| hashlookup:trust | 80 |
The searched file hash is included in 6 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 20293000 |
| MD5 | BD7D8DB9AD8FFF55B718FED467B27F52 |
| 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.9.1-1 |
| SHA-1 | 568D3D5F1261C2B4C9F051D5655CC550A815A357 |
| SHA-256 | A0C138AC30E6F32C14ADE4DD4CE73BB2C603069EFCF0016707F0E25A2093B230 |
| Key | Value |
|---|---|
| FileSize | 20375292 |
| MD5 | D9419A115B3A658094A44C7A8C3C9C04 |
| 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.9.1-2+b2 |
| SHA-1 | 305EA0404331F28D863F7E3EEF70A22E5610454D |
| SHA-256 | 0CA146B4EE820E2AAB4C6BB08B3EB4BAD33BF2FA02C1F8F45BDC23DC8531BAD4 |
| Key | Value |
|---|---|
| FileSize | 20294996 |
| MD5 | 237EF4FEF31D6CD6CE1B3F21660B785C |
| 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.9.1-1 |
| SHA-1 | 6DD13E00775A8DE26BD93E680B591B2C20EB7F30 |
| SHA-256 | B919E1A543244372837E4D88712A5A832C85AF7255CF101397BC101609B60FBC |
| Key | Value |
|---|---|
| FileSize | 20291832 |
| MD5 | BE02590F7F32615D38CF0BC94513D4A0 |
| 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.9.1-1 |
| SHA-1 | DB2E251F0BFD9D70D6B0BAC686D25BE8D0698F92 |
| SHA-256 | 1789BFE04EEADE775AABA33D4538E6D77B6604CD3A60DAD7199326F2BE7C6D64 |
| Key | Value |
|---|---|
| FileSize | 20357464 |
| MD5 | 031011D5ED851DA5DCA72C37F344000C |
| 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.9.1-5+b1 |
| SHA-1 | 6AF86BC82EC19772A938325A639C203C3B161A00 |
| SHA-256 | 934DB2F8CC01B684514F750AAFBEBD3F76CCC83E8E7F9985F91E7E52EBB06A7C |
| Key | Value |
|---|---|
| FileSize | 20372136 |
| MD5 | 974EE28BA704AD09506F99868E484321 |
| 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.9.1-2+b1 |
| SHA-1 | 87A4403FEE31CF843EBF1879564935E5807D9DD5 |
| SHA-256 | C9C202132C3F70ABE72B528657F0CCD853E35A40C234778C71A8657003C26DA3 |