Parents (Total: 13)

The searched file hash is included in 13 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
SHA-1	56D588354E77E8AAA0B3E024F0CA8BD06C383CF8
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30.snap

Key	Value
SHA-1	88B3EFBD3EA5DFDB002DE7C9EC3B3F28F2DC3022
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29.snap

Key	Value
SHA-1	FA862AB6A960556E431702F09BC2C3D262D41D36
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34.snap

Key	Value
SHA-1	3CD816764D8EC7B86844A32300164DC73F73C1AD
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33.snap

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	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
SHA-1	E6F159361B70AFEFC73C1D69AD523D934AA9CAAB
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31.snap