Key | Value |
---|---|
FileName | ./usr/lib/coq/theories7/Sets/Ensembles.vo |
FileSize | 15275 |
MD5 | 1656234CCC89CCBF256130426EB228B2 |
SHA-1 | 0876718BF441AF255769C6DA7B5040867E4BC8C9 |
SHA-256 | 55C5D5BB60B8271E64C84AF68261F32EA09F21F77E2A5070D0273746B401FDF4 |
SSDEEP | 192:XjY7Ka/hGKQWP2YIz42riA+lPqDLhwdYutsHN4MLz5GWWW/QtXXeNd32OyzUO0Sa:XjY7Ka/8/YUdqPq3ydH2HWy5yenmz4 |
TLSH | T16762CADE2D14F9AF0CEF26B5B635D198C507C19D02F997888C4C73A028FB256C2A539A |
hashlookup:parent-total | 2 |
hashlookup:trust | 60 |
The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileSize | 3812570 |
MD5 | 9CBD9B74A04C1D922260E496C65505CF |
PackageDescription | proof assistant for higher-order logic (Coq 7 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 from Coq 7 in Coq 8, and allows proofs that were developed in Coq 7 to be used in Coq 8. It is also required to translate theories in Coq 7 syntax into the new syntax introduced in Coq 8. However, this package does not need to be installed to use Coq 7. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | coq7-libs |
PackageSection | math |
PackageVersion | 8.0pl3-2 |
SHA-1 | 0BCC98A3BE6D4E11D9AC40365C51419143058D0F |
SHA-256 | D6E2602A7FEE969BADE59546CB090D5F1B9A84CF5E5CF54472A4B7B38408014E |
Key | Value |
---|---|
FileSize | 3812718 |
MD5 | 3C0EBAF19973FC335F2F439912D1C50C |
PackageDescription | proof assistant for higher-order logic (Coq 7 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 from Coq 7 in Coq 8, and allows proofs that were developed in Coq 7 to be used in Coq 8. It is also required to translate theories in Coq 7 syntax into the new syntax introduced in Coq 8. However, this package does not need to be installed to use Coq 7. |
PackageMaintainer | Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> |
PackageName | coq7-libs |
PackageSection | math |
PackageVersion | 8.0pl3-2ubuntu1 |
SHA-1 | D6E2C6EC0299BFF866813153D90D6E9F6B7A664E |
SHA-256 | 9AD343CAE7A0D3D73787D3DEF1D233A2CB132A9F396F0950C4EF3B28B174FBC3 |