Key | Value |
---|---|
FileName | ./usr/lib/coq/theories7/Sets/Uniset.vo |
FileSize | 12765 |
MD5 | 2536D0D4A89C19AD4F6CC7E7E5B1DA54 |
SHA-1 | 0BB4382274148B3F53411B3CC63F049C9F5E640B |
SHA-256 | 6D744219229E8F4252664EC36DE778D8BFC33D88BB0F2D3047C00D07DA45B0E1 |
SSDEEP | 192:RFi0pnNV6gllrMHV/x/TexMmpgM4JhSx0S9rLytppBg6adG:RF3naYI1/5mpg7Sq0fSppBgldG |
TLSH | T15142A53EEA487CFE409D2EB0EF14F264D25842DD52F789962C08D67494C47AECE78395 |
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 | 3811402 |
MD5 | A320C51588BA42FEDE40F8E0582E5365 |
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.0pl2-2 |
SHA-1 | DADA42C4D61643A1857FE7B106EF71E7050E9320 |
SHA-256 | 470054E4C54F590B16B6DEDC28D1C793A9D03028F024EBBFFBC78293EBC9B63A |
Key | Value |
---|---|
FileSize | 3810994 |
MD5 | F637DF0EA9E4B80FEEF78F96F52AD0C6 |
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.0pl2-4 |
SHA-1 | B33EC1FA31F6FD9255E5E580DC392917908ACF14 |
SHA-256 | EB6CED25991A983C0E94B23AF1D3DF8ED8A836C3332538EA6E84743539868B9D |