Parents (Total: 39)

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

Key	Value
FileSize	1434144
MD5	D4EBD4C1FE2A6530BF3C3D9115D4D3DA
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl3dfsg-1
SHA-1	00D78641E5123C85B20937EFAAC58AD650BC72AB
SHA-256	CA293FBC51221E6126E7F26EB860A63060DBA3DB58217F8EEEB5250BF7A1BAF0

Key	Value
FileSize	6236660
MD5	35EF465F7197827E44A100E3B1156EF3
PackageDescription	development libraries and tools for Coq 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.4pl2dfsg-1
SHA-1	0C34E6C37F2BD6AE1EE5AA6302F94E1BF4D09CBB
SHA-256	B0E1D0C50491F97A9E6CAD55D03B26347B371FE967D892DC8FAAD2E752FF4CD0

Key	Value
FileSize	5930520
MD5	2798FF8D338708D583E4374B94397EF3
PackageDescription	proof assistant for higher-order logic (toplevel and compiler) 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 coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl2dfsg-1
SHA-1	1130F12FCCBCDD5F70A230D18B92272526A10474
SHA-256	B01D328E7EACAF0F99173DFB9EFAD1276821E3D8631B8379677662F8AB5261E5

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	486966
MD5	7E3F1A9CE2A573D05D7C20CD9047F8D0
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	273CC7775C97A7889124104894292B6654A6B0CC
SHA-256	B762D648D000027177A787A5FDE9D4AA82DAA90CEEC74612A7FDBFE1D5AF7377

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	4952978
MD5	C1F0DE1D63AC4BAD635A8DBB57E4E360
PackageDescription	proof assistant for higher-order logic (toplevel and compiler) 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 coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	36B6EC4DC465000E56865C45F2257D9114A44297
SHA-256	25E55E077B9D918052A90777D9C3486B3DFAA25E5955FB767435F73E78B94CBD

Key	Value
FileSize	4040156
MD5	A5CE6DFB3C290DF28CFFD7CCBCEFD5B1
PackageDescription	proof assistant for higher-order logic (toplevel and compiler) 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 coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl3dfsg-1
SHA-1	38B231DAEA2CB8DC7EABFEE7856350DC06400523
SHA-256	96F08F786D7048B2819EDAF2EA7F208599EA37A3CBCA12AA480C1BAA5F5D5794

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	7528276
MD5	97CC0F3D6A72B86BC1CDAC4FD78C82AA
PackageDescription	development libraries and tools for Coq 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	3E6DBC59E8BC27E11CE8634FF5C05E8BA91599C8
SHA-256	4B90DF1E7ACFBADEDBB96E98D7CA999A52CAC3C6B0F69C9750A7E350712522D8