Parents (Total: 28)

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

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
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
MD5	E8A3784193F9A4F3CC020D28E14BC8B3
PackageArch	x86_64
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-ide
PackageRelease	bp156.1.14
PackageVersion	8.19.1
SHA-1	4BB1C126F8D54DA89C438EE3E4C33FFC798FE664
SHA-256	32897E91C3BF971AD2F071538A6739FE8253EBB6E5BA50B1B81B17F4D12A8348

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
MD5	F243CE357E0963A5BC33280C797BBD91
PackageArch	s390x
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-ide
PackageRelease	bp156.1.14
PackageVersion	8.19.1
SHA-1	59277DF7FBFC303CD2F443185DA22DCFD1961A36
SHA-256	081794A6D5C00364DBD16662CA87A4F565C80480B5C61F762508342AF2FF29D3

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
MD5	923753B7861CE2EFBD6CE954D5FE03B0
PackageArch	armv6hl
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.d_l_ocaml.6
PackageVersion	8.15.0
SHA-1	62116C3C0BC3B0AAA1546412C6D98DEAF729FF06
SHA-256	2D50CCB34058DBBF16EF8039AC7E5D582A803D5CCE76FE61606F689584291281

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	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
MD5	87C9261F3F8660F3E90B6C757D9AD8C6
PackageArch	i586
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.d_l_ocaml.6
PackageVersion	8.15.0
SHA-1	73B8613CB706A3EBF172484BC1C80D9F3A11DEE6
SHA-256	43EEB87CE40B867912570C7A2418B94380C879B6AACCFF0FAFBED73671AE22AC