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	6093552
MD5	6F56FDC06BD68B773F2169A255D095A6
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl4+dfsg-2
SHA-1	B2EBC1CE6B761E7D4CC44CA834403FAB65848EB5
SHA-256	4E353CD25D5278828B88CE2E1F1656683964ABAD77FE6AFD4740AE6B7C1418CC

Key	Value
FileSize	5088408
MD5	A047128565CF4D62689C175C8D4D2BE9
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	2B55D6368CC4D3DB25A2CE6276B27B1AA29D0524
SHA-256	8AF9324B344FFAD7DDC2488B16FBFE8AA507801893B2159DDB6E821A58AAA695

Key	Value
FileSize	996648
MD5	AFD5E1FC11F10CF05EEE8AA26FA30A56
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.4pl2dfsg-1
SHA-1	75189371FA3B7EB61AF9DC43F9A7482E02120A88
SHA-256	84C0E9641DF178496DF85A681D1C2E849AF67ED2D7AA4CFE118800A6AD915127

Key	Value
FileSize	5515366
MD5	8464194EA334E1A6CAE0B599F52E6FFD
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl4+dfsg-2
SHA-1	0BDA931A6D77A0FF1D41196DC5A86DB9449EA1DD
SHA-256	5AD3BCD1F3BB29899833DB6B03291ACFB1054152BB59730FE9C93E25B2B54481

Key	Value
FileSize	5483720
MD5	008E3025FBD5689D3761AB8A53769BD2
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	3CF4883419AF32B741E1847A0CDED101E1D9D6AB
SHA-256	D01F1177E326B9827C866FD9009DA4CAC695D8888F9F05486981FCBA3C2515D0

Key	Value
FileSize	6063854
MD5	E15E68D5E43C3C6A3A472BFEA22887D7
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	6BBF0E609C806C1963EBEBA03E9F2BC698FFD61D
SHA-256	AFBBFCBF84E1C7B9F9C4C0EF10B9E5E38BCE125AE0EDD947E7DF6541EB52D8DF

Key	Value
FileSize	5505280
MD5	A217FFE8D151529D0B0170BCB7657C67
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	21D318FD7D9541CB5FE782988B11D1E258C1BA3B
SHA-256	EF74B3564671BBF99C5F98C75558EB70EC49EB29D85A826F5E9787A532A5A837

Key	Value
FileSize	894830
MD5	8A81F32DDE32CFBEAAC092E51FBCD6CF
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.4pl2dfsg-1
SHA-1	80ED2E6D0AEB310E96EE43DAAF21E5E6A8CD4080
SHA-256	61112C0127056537EC14C6B396E6895390818764440BF3BC21A276B83932B27A

Key	Value
FileSize	5487638
MD5	F356096B659B9A9D2E92176F3453E616
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl4+dfsg-1
SHA-1	D45F45EC301FF59FC0EFF6C1F1524E2ADDADA385
SHA-256	1AB2EF90CBEA08E51BEAF457B78B27207C0E0050B55A0CFC1FBC6149D8593528

Key	Value
FileSize	5104178
MD5	F6100BFF7A7A0DAA15C202AE059903FC
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl4+dfsg-2
SHA-1	205B1D8C721AEC25248CF71BCB083CF67E084650
SHA-256	02EABF02E009D5E8F6D7AEE5C7821E78F059FE99B9E454114E439AA845D5E971

Key	Value
FileSize	6082796
MD5	82DCD7D200E789241C2516DCD1A5A354
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl4+dfsg-1
SHA-1	D072F86DE6F83C369D082C8EC7D2488E20CBD168
SHA-256	269D7218EF4104EB0F38420B0E797BC89A92672C2FE3700115DF31E4045D838C

Key	Value
FileSize	5098422
MD5	5D1E3F35978815A66FA49639EC22CA60
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl4+dfsg-1
SHA-1	E1EEBC97CE158E041F167B1B462FA33D83E75489
SHA-256	94A7AF07B7D3E21F6118E484DDDA122647D095F1E42A360438F799710C377AF2

Key	Value
FileSize	5509628
MD5	10C049DE560361BB1A43787EAB144A63
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl4+dfsg-1
SHA-1	2150FFF459B8D36A5FD2D9D0E2673E2AFB8DE1DA
SHA-256	EB87E61A8B35CFBEB222C77DE5308C3CF2FEF6782F990B41E471A127F94B35BF

Key	Value
FileSize	784708
MD5	CF019C6A4FEA9BE7307C60702638C6EB
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.4pl2dfsg-1
SHA-1	A7F4385B4E5FB670F8B4341AF109A0CAD843DCB6
SHA-256	3C1EF788A9EAAC0B8F9D1C9BB03F60E1910571950BD41C74C24067E97C86533F

Key	Value
FileSize	5488336
MD5	2099EC6FA460C414A53432A09DE466C0
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.3.pl4+dfsg-2
SHA-1	44A24B113AC9D36555870832844C383404C5C9E1
SHA-256	56E6841D371F3B309A8F8C4B042F2BB711D5D1156A6430F2BD5967215EB032F8