Parents (Total: 2)

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