| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Classes/Init.vo |
| FileSize | 3675 |
| MD5 | 5732E6E761129C5086097E8DA589753F |
| SHA-1 | 0041AE4B895CA79D485C19D0A9DDF60D983B1002 |
| SHA-256 | CFD52AE1DA6ED6212B9E1240302805021CF7C0A59D66CCD94A87D92279ED1869 |
| SSDEEP | 48:hvHXBjKkZ+8Z/pI1jQCRTjZvkFECVd1lXBBsKvpFXADOxZ6SWOBm:hHBKkAmRI3RhvkFECVd1yKvkDOxsSM |
| TLSH | T1307110ADA3081D67CCF661B0C770B5D1A28CB9825705BF0B01B8635C4F990AB9D7633B |
| 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 | 20357060 |
| MD5 | 646AA56BAF40B2FD4A2E4329A2301EFD |
| 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.0-1 |
| SHA-1 | 9824D665CC9CADE1FFB9031031362CCC2C388022 |
| SHA-256 | 6160AD64DD46D732E89C36F8EC41F1B7E5891290C9864ECBBEAC77A3411A6432 |
| Key | Value |
|---|---|
| FileSize | 20358884 |
| MD5 | 52FB73A60673C3E967635414B15EEDDE |
| 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.0-1+b2 |
| SHA-1 | 694B30DD3B8ECAC2077E1BC5C66931123D76F406 |
| SHA-256 | B06C43BDA9DA6624D4BCEA0119E1A500139DA404FA6C1D74801929D816B4E189 |
| Key | Value |
|---|---|
| FileSize | 20360040 |
| MD5 | 5C693765F6468EAB59E0241B382746BC |
| 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.0-1+b1 |
| SHA-1 | E128F255C362D9462829AAEB18EE7E204B67C80D |
| SHA-256 | D2CAF639698B215DE6FF41E622502EF8ACAE2BF7D89A957AE108D27238415623 |
| Key | Value |
|---|---|
| FileSize | 20356976 |
| MD5 | CFE9E0018E8ED2CA6219ECE8253BE54C |
| 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.0-1 |
| SHA-1 | 4586AF5ABFF950C0BAF1343903F16A78B3A6FE2E |
| SHA-256 | 4AE643D36782F800F9CB89CB7FC02FE2BF24B9E54B3C852149A211AF4821AE8A |
| Key | Value |
|---|---|
| FileSize | 20356988 |
| MD5 | E6D4566C4C1981829236FF49571F059D |
| 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.0-1 |
| SHA-1 | 9580838516386F70A75690CF5364FAA4006F3422 |
| SHA-256 | 8A041DE61D88390FF905149605845CFD6FD3B07B7839E34DDCD50867D645D976 |