Parents (Total: 14)

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

Key	Value
FileSize	1805972
MD5	BF0C0BB722B16F6F1ACB59A37958EE0E
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	9C0D900170DAAD528B54534BA747AC80A14CACAE
SHA-256	F0E03998206B4518F0B3B6D3146F1816DD7BF3879DBD3679E822A81163F9E8B4

Key	Value
FileSize	2309244
MD5	56B209A4D0D32FA29357824FAD6C6D93
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	BF1AAB205DC2095190D81547C4F5C8843AE0507A
SHA-256	E3EAA4B56658AD71D0050B5869B362D179BAFD33E92D4496072F5D4CF2C617EA

Key	Value
FileSize	1834728
MD5	FA6B265A79DF4D0082D6C9C91A3673F9
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	6DAC54E3491D594D6D0EF6B96CCFB9078FC1F1FE
SHA-256	5AF5C0F380223AC43960A475D7FC8D5676780860BDD05FE9D169A532AE8B2CE2

Key	Value
FileSize	1895904
MD5	8118D68A718EF14F806E146219B77F34
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.14.0+dfsg-6
SHA-1	F90433D51A3BB443FE83F8BC163125852ABA89F9
SHA-256	773C554310C6457EF92A8919F3248F49F48C1E7BAAA8B1090E06283C2D120479

Key	Value
FileSize	1980688
MD5	976A5DCCBD457F5B13D28AA2D7E5D74C
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.14.0+dfsg-6
SHA-1	AC5C1700DDBB4F2B1C5DD65A53DD3D8B82D33F30
SHA-256	44DD1E0CFFB465B4AD61E55650BEE192DE0BA90A6F1AC321E6C79AA8D76C1616

Key	Value
FileSize	1871148
MD5	519E8BCF902D29865C3C348B1FD70271
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.14.0+dfsg-6
SHA-1	DDAA41D842F5DE35B93F8A250A8F6AEAEBA4C4E3
SHA-256	52916371B1D2732056BDFE3B43A17F568E5D31E9AE5E8F86AA56364F104B2BAF

Key	Value
FileSize	1806236
MD5	76F15666E18DECE0679B6C943AD52D28
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	5FBF10E460DE9E740AFFD535B96AEF78B551C7A5
SHA-256	ABE8CAF6F2921F88256D737C369F87B3634E1844ED27505DD3360FE2C32AFD53

Key	Value
FileSize	1993412
MD5	DFF704289D81CFB3C53FB106F5FAE951
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	0AA9B2D42FDA4B0F66338306DACF0DF651DE14A2
SHA-256	9D87C74B6E0FED71FDDCF79A3412DB9CF3C4F3B2770908DDFE23EF89D0ABFF82

Key	Value
FileSize	1744380
MD5	F27219E51C11451BCC5E0E9CD684DB63
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.14.0+dfsg-6
SHA-1	5D3D49202ADA445DF1C6B63952625C8D33C00577
SHA-256	D71C6C785D1060EC82F1BD8F07843E0FAFB6F561DA3852E3C784F4E851E178BE

Key	Value
FileSize	1758188
MD5	00E9C7497AC3B6EACC1600ABACF3AD5C
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.14.0+dfsg-6
SHA-1	052A891D19ACBAB71791C8CFDDA71B8EC2553EBE
SHA-256	41A8D833C02E570A82EB682C88F2EC124B12A50D05C442C193B63F10F6DD49D2

Key	Value
FileSize	1836744
MD5	FA48D02373370C5FF07EC75126A244B9
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	8A35FE9CD6555166B526541775C366B8A6BAD6E9
SHA-256	E8EE2400631A564FEF2047279700BDFEEBEF33209250C49CB953D999A940009A

Key	Value
FileSize	2310756
MD5	1A65C74659322EFC08B8546DCB6A127D
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	7417EB6381645C960B2FA759D9B78AB20AAB61D4
SHA-256	73FD6D9BD1411B3CE3D0DF3ABF806BE2C71E8D2FE0DF1D8A1D9B17082422868A

Key	Value
FileSize	1997360
MD5	23205B6104BD69F1189EDF582DAB91C6
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	6E526E9F73E5E0C1D3A5CE2A0D68FFDFA06CBB0E
SHA-256	44276B1A2D6E50A99F052F7FB60D109901EE8BB90332F108C036A95AEDB747C6

Key	Value
FileSize	2199796
MD5	94FBC3E75F34DA718340E2D685D69E1A
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.14.0+dfsg-6
SHA-1	514AA43758647BAED5F0400ED8A8B990926BDCE2
SHA-256	FFCE1357FD7F08893216AB30D2C65F4DCCA93D157BF37ECA904420E6EFA0AB30