Parents (Total: 10)

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

Key	Value
FileSize	4017576
MD5	9E3EB7C82525E300247A5E991C83F2DF
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.0pl3-2ubuntu1
SHA-1	B6A17C509AD61FB79D47FBDBCB07AA50064593F8
SHA-256	C675A04291E47B485FD0D20DD17003CF020659EB176C85CCFAC3AF3949D5DDEA

Key	Value
FileSize	3458396
MD5	EC491723A4C78E27FF8C1A59FA6B32B8
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.0pl3-2ubuntu1
SHA-1	F9557F3AEFB32ED48B1B2204045909C7AA7E8DEE
SHA-256	97B6BBA006DE749C247DA536F2A038A695ECA21FA438AEF7D5C8B46777A03AD2

Key	Value
FileSize	3680374
MD5	3AAAE2CF0995C8C38394FCCB50E5C7D4
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.0pl3-2ubuntu1
SHA-1	46AE46AB59FF4C4AE4DB3379740DD9BF138C4EEC
SHA-256	F074F3B21AF15739BC3D26FCFA5F50B033720C5125B702E47F2F00F3C37AF53B

Key	Value
FileSize	3962968
MD5	57C296B2C7DD5B1FAD1DEDED75ACE4A4
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.0pl3-2ubuntu1
SHA-1	6B0CC437202C73E99246957B9615041A07B0D579
SHA-256	D4DA8BE58EF510C58DACCC677424A14AE99DFF9FDD3916D24271BD4F9037DEE5

Key	Value
FileSize	1397762
MD5	69283BC2DFA56B377DDD65DCB5DA66A6
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.0pl3-2
SHA-1	77C78738BC1619B3F5774EF4C4170925AC3B9F6F
SHA-256	A1461FE60200CB0166B5D48937EB78C7C57520AAB49B6E83FAEDBC66A0818D95

Key	Value
FileSize	3896000
MD5	FA4F6C4F1CD70437049E1E86B3A8EE35
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.0pl3-2
SHA-1	743B7B6DE8DCD6B5F68638AB9D679BBF3A78D174
SHA-256	B80043319120035B368368A8CA3D44541EA8D64AAF5DE0A48B9A286F9ACDB096

Key	Value
FileSize	3662814
MD5	65314B144C88D275AC9A701FF5AD1C59
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.0pl3-2
SHA-1	6EFA37D9C87C4446B0B73E8C44077F0916785CD9
SHA-256	2075DF912239321DFA3ACF22C43E77A27A29E444266CE40DB3565543AFAFB1EF

Key	Value
FileSize	3977826
MD5	1E067C263E00F3AF7D0D379ECB446A0D
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.0pl3-2
SHA-1	A90166DDAA64E7D92338C7A8E51220E7086BC84D
SHA-256	E6BAE5B926AE2503D181868A7D7E946381605C6E07EEBC9D96B4BE05B59F3CD3

Key	Value
FileSize	3440672
MD5	93C9DAECAF443A10DF53BEA42AAE76E9
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.0pl3-2
SHA-1	E9AC08C856F928BE9323F3907E68D2A5DD23CCFD
SHA-256	7762F8706E96FAF6F0646BAC6266D25B3FC6C216B5AB505F95B96F0B65ACAC94

Key	Value
FileSize	1411456
MD5	57E23E027468AB5C16D0119FB0DAA66D
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.0pl3-2ubuntu1
SHA-1	8C51FAA9BBA574EC446A999DD4E4FAE9985B332D
SHA-256	F14E6C9C52BDF9C359E18DEEB2E57F59FFA5A4A04E3B57F31DCFA30450302FA0