Key | Value |
---|---|
FileName | ./usr/lib/coq/contrib/ring/Quote.vo |
FileSize | 5080 |
MD5 | 9A9C122E4FE03360BC77BB0C235B9284 |
SHA-1 | 058E12EF0A9DA83584B70C52008803501F86027C |
SHA-256 | 6543AFEB12C1CC69BFA0CEDF646A877E05FD50BCC8F2CF63D6756D7B7A56D505 |
SSDEEP | 96:Ztyohqo2kJBQojOMTnfpNFNiCnX+DS/kS6vPewXeqyYxqU6Rw8:ZJqo2u6Mrfpb3gewXeqyYR8 |
TLSH | T183A1843FE91C0EEB4DDF1CF5E3B4E794C39913A810B6A795944047A869E822BDD8C14C |
hashlookup:parent-total | 5 |
hashlookup:trust | 75 |
The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileSize | 3728070 |
MD5 | B0BB8F442BC467E93D1E9EDF2582477E |
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 Camlp4. For more information, see <http://coq.inria.fr/>. . 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-libs |
PackageSection | math |
PackageVersion | 8.0pl1-5 |
SHA-1 | 32DFF7701130D7B0228F6196353E3D6898135B78 |
SHA-256 | 68AD0DD3B4C8AA0077EAB8FF52E1197F845C7387DC5A79D3EB73EA5309730B2A |
Key | Value |
---|---|
FileSize | 3728084 |
MD5 | 6A140762CD37D1E3A2D6147E6538B100 |
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 Camlp4. For more information, see <http://coq.inria.fr/>. . 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-libs |
PackageSection | math |
PackageVersion | 8.0pl1-5 |
SHA-1 | F2D195927049E0ECE5C602955F14AD59925AB292 |
SHA-256 | A412E7B1DDB266D1A4F1EC542D20D76FBEC60CC544432F5263F98AFF8D492B4D |
Key | Value |
---|---|
FileSize | 3728050 |
MD5 | 6A1AF93EDFA08F54EA7BAEFBD8E9D680 |
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 Camlp4. For more information, see <http://coq.inria.fr/>. . 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-libs |
PackageSection | math |
PackageVersion | 8.0pl1-5 |
SHA-1 | 3487E1B8786EE4FD5AC32E13F55D8D223DC31B39 |
SHA-256 | CC1585D73DB50C2BA28A3D01B085404FFDCF055A62C724BB5BB835B70F26F739 |
Key | Value |
---|---|
FileSize | 3728160 |
MD5 | F08D92BFF8734FD33166E91691817E35 |
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 Camlp4. For more information, see <http://coq.inria.fr/>. . 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-libs |
PackageSection | math |
PackageVersion | 8.0pl1-5 |
SHA-1 | 99732C515924CC639BD0297F768DBE732C20F7F5 |
SHA-256 | BF4F8DA95E00EB27DEE6D4FC1704085C4F78365D6BEA3C00AC59BDFD9D6E7C2A |
Key | Value |
---|---|
FileSize | 3728146 |
MD5 | F5EB1FC95D6F306ADDD223120BC759EF |
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 Camlp4. For more information, see <http://coq.inria.fr/>. . 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-libs |
PackageSection | math |
PackageVersion | 8.0pl1-5 |
SHA-1 | D240F96EFB1E96B3A5920F614566017CEB778F65 |
SHA-256 | 7B42489E56EE21F37292D598F5E22124D404A9207354BEE82466598DE197469C |