Parents (Total: 47)

The searched file hash is included in 47 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	4493912
MD5	29FAF22FD5AEF2F3FB9D3BF0974991FF
PackageDescription	Proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl1-5
SHA-1	06DBC55E6939C1DE08A3841519E3F36920F9418B
SHA-256	A828CFEA06C9B2DF621AA66E61E476059E6B359F2BF5A543FE11B2F588235B7D

Key	Value
FileSize	2446298
MD5	28436B0AB558E28532B5F9870C9AFBDA
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1build1
SHA-1	0746971352CC7059DB2F55B1996C8FBADAD22C59
SHA-256	5135FC79335AAB59E092F8DB88A74584EF13DDA82FD5519F2BFF234BBD1AF7C7

Key	Value
FileSize	4275330
MD5	5D90DA02C17821675C8A72386995903C
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-2
SHA-1	0C55D2F4BCFC4265D27CD77CE56E7D5F410F9179
SHA-256	00C3C70308B5955A97C5B34C7AAEB2F4015DE9EECD96426D754D68A951376C2C

Key	Value
FileSize	4662732
MD5	53619C3A90D298E636FB6A9D62D04903
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.1+dfsg-6
SHA-1	1213FEA99C542C929C4B5031534431A6C8CF0060
SHA-256	FBF5012CF8FE1261215732E9B82889A16BAB03BE76C7778B89E2278581835E29

Key	Value
FileSize	4518700
MD5	4FB3A0ED9346CDAEBF5AC712DE502E32
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-2
SHA-1	14B1D4FEED3A6E81F8B9EDA308904A6D3820D3FE
SHA-256	6C5DF572A8613959C9C67FCFE683FF51D3388DDDC02C1FAF7BB0793837071572

Key	Value
FileSize	4689476
MD5	193F96C8B3355FA913F5C7824B7F6AD3
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	18CB7476B66BDA46CE5DBE999A791E7B1717542E
SHA-256	90E29DB1BA9A38C032C92B61F93FD731F93BA69B23E9B9B6C8FEBD0B812BAA6B

Key	Value
FileSize	4930404
MD5	F93B11427AA71EFB6BF317292904197D
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1build1
SHA-1	1C1B5CB3C81E6FF7F7142DAC7C4AF31D13D11617
SHA-256	E3162F1CC1ECE28B4EE46CE8573A9120DE0DAB504CA50F71031E465DB02877E5

Key	Value
FileSize	2499540
MD5	66A42F11AA65884AABB1BBB1CA4BCB88
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1build1
SHA-1	1F0BF1A2FB57E0F60832155C092EBE86ED646404
SHA-256	B65CC6789EA311D2FD0CC000282BB23290C6F74D15DA29703B1B023A32813702

Key	Value
FileSize	4155076
MD5	10BBAB9FC701F571E19DE58C465D899D
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	24DC2DBCBD57B5051728680403A77A4E51657EC8
SHA-256	25FB26402BFEBA132AB903562D185BF5A7AE6B5CB81E33412EB5208103804F1A

Key	Value
FileSize	4379996
MD5	ECFAB12AE5A085BA9662F6D086D0D945
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	29D8225898A757BA58BA4EC8A02A5DDC9AC422E3
SHA-256	6AF2D74BEDC5A2058AA7A03553C159EAE401728037901C625824F02CEE6B6617