Parents (Total: 5)

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	3807048
MD5	BAE5282A01DC7F7E4CFB58270DC2AF6D
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.0pl1-5
SHA-1	10BF8DE6B8525E32F1ED3B85386E556452DDFE6F
SHA-256	0152E588B279BAC50EDF6EC477F858DB74B2BB5615A5E043486C98B952F9E6C9

Key	Value
FileSize	3807080
MD5	9A4BC3F1278FB0E2D20E24B0D4624294
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.0pl1-5
SHA-1	05897E67C8EB9688590980DA270E6F3F6C744071
SHA-256	610FCCA9C3FCBB1F39337EC50EFD9913AA4930E5360F126FE299DE8DCBB6A135

Key	Value
FileSize	3807082
MD5	F51751EF7D5972329C7DAE91D814A574
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.0pl1-5
SHA-1	20A5DAD54416520E0FE33544793604B590152935
SHA-256	2A98AD7C0BF48003EA6F28611790E62C4B5BCB01D705A0CD97CD5A185E5D843F

Key	Value
FileSize	3807116
MD5	5DB3B6A44BB93F8802819B29832CDDB5
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.0pl1-5
SHA-1	5D4F2DF2539EB4CEA92BBFCB65733ED996DADB6C
SHA-256	03E0AFD910C8DB9FE390DC555B36A1B946388441D7F73A687C89309EE7F6C888

Key	Value
FileSize	3807052
MD5	8C08DB7A2AA6BF81F25B01FE6EB5C562
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.0pl1-5
SHA-1	07E0EF2CC8BC667299D0D11F9EE27242FE5A0205
SHA-256	81BB13B24A1B96FA16BF889335B37A64584F9224B30C2CD2C1E5083D2C30BDF7