Parents (Total: 15)

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

Key	Value
FileSize	5222074
MD5	7D1EA9A0B140015EBD2892EFF8EE4021
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-1
SHA-1	43ED5FCB627BEBCFB98024A2E395B78D0826A826
SHA-256	787BD63A42A87136EEC8082DDEDFAA105BAD5043534C7B6BB5D30CDA18970942

Key	Value
FileSize	7924570
MD5	08ADBC4B06C496336CFB5FC12E024DA1
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-1
SHA-1	984F2D509F177E88DD69DC9ECED8A2CFDE45F9CD
SHA-256	5C9BB70C5018B17D6437BBE65275D7F76F2EE2BF02B39E9BC82B290CA11552FD

Key	Value
FileSize	4920022
MD5	C6854474CA6BF1CE64478A2B03016A07
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-1
SHA-1	DA7E7831D3708A67D7338B257D3042AE23394364
SHA-256	3EBEEC5708556DF2CCC9ED3637A5017173F0D48798BD9EDD985A12F22CE488A5

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	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	5232966
MD5	72AE92BEFF6AD507ECE4E5F8AEC0A3CE
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	AF73618BB5F1BB53D9DB62B4ECF50567B89B8F7C
SHA-256	FD2B4242982B5C7E8F73BE127D7902CE2D8CA3AF18F6D4D3BA8C56CADF5AF705

Key	Value
FileSize	2409666
MD5	A9CC339676B50CC1F1E7FBCE66192435
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	C56BF36FAEBD62A257038F298440B18BCD41ECCC
SHA-256	9789E96F140C579A60B81F4E2629D31A2AA28F0607888788BB80C484F17F2DCE

Key	Value
FileSize	2440008
MD5	2DFD162DCDC53FB39C918492041A9F87
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-1
SHA-1	CB74011C448E964BDAE15D4C24149FBE007DF9E3
SHA-256	FBCA8663AD528EDA0B2986416CAA892334B6C0F80A2FFFF0C7BDC0522980F9D0

Key	Value
FileSize	2413582
MD5	5A406AB3E54BB53432EFBE128DFB8257
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-1
SHA-1	D470549A48279FE42437DB81201FEB9C24D0B3EB
SHA-256	4FA7D74E592DC1A418873196E51AE30A15C7238FB4E92C07756ABEC2EBA51D24

Key	Value
FileSize	5491602
MD5	5CAE8BE5A74FCC4F34B0D7891121C6C6
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-1
SHA-1	FD1DCDD8CD330E9F8FF0B35BE90B26F5D16CB976
SHA-256	29099682B2BFC4F5DF5E5509D15B318D3ED461780F231E8E1AFFFB34061709B8

Key	Value
FileSize	2420040
MD5	ADC5EADB9C28ED2C242529FC2538182A
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	79EA1FFC785E8066F3B2C9F0BA819AEA3966E9DE
SHA-256	5BDEE3510D307A34AD5333FD2B611A52BFF116604E63064A5C143F0C02557BBC

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	5468778
MD5	DD650B849228DB3ACBF465BCC435D5FF
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	E1A4AE5FE43938BE6827BDE7700A54C9E04D713F
SHA-256	5AE9D5E805ACE0633D9F8BC165F4C27A4C29D6FD014374DA8A43CD271AA1759A

Key	Value
FileSize	5514074
MD5	B4DD67ACD9C7D51EBA1C6A6BF402168D
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	B2CA3346A6C51C6F860029A14D97A2B31DCD7198
SHA-256	CE30B7BC77FACDA508F440FEBE072DDDD2EE3CBB6DB5B13577A7C8407B5B6E76

Key	Value
FileSize	5502554
MD5	C13ABD99E0777C920E94EB98CDCF1EC8
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-1
SHA-1	99808997C9A23C023968FCFD7BBA6D6B48A4ADF8
SHA-256	8F848356FD7AED9FA0038121982D053229253FCADB63901EB53867254F1B402A