Parents (Total: 64)

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

Key	Value
MD5	78CECA22B73393F904DE88B44EE39F04
PackageArch	armv7hl
PackageDescription	Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. This package provides CoqIDE, a graphical user interface for the development of interactive proofs.
PackageMaintainer	Fedora Project
PackageName	coq-coqide
PackageRelease	3.fc33.1
PackageVersion	8.12.0
SHA-1	0133B9BEC924BE58973BCB1C432DE3F70C27DEEE
SHA-256	93E9D09A961F0BF41BF6D6B78624B66A674749D0DCE3581CA4FB318663254DBA

Key	Value
FileSize	46732
MD5	058AA5746FD0A15A7A5BC7D0F72DCBBB
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.12.0-3+b3
SHA-1	019A3D1B1A36D6B9424011F5354917663F8FC025
SHA-256	A03CC22DC04B5AF0888089AD2465E460687AAEB08DE06F9587FFF80D5E5C9BD3

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
FileName	http://archlinux.mirror.root.lu//pool//community//coqide-8.13.1-1-x86_64.pkg.tar.zst
MD5	777DCDBFC63EFE0D340DDC493E6B6CEF
SHA-1	082FEEBB8511C8E3F65223CD7877F7A97D4D99A8
SHA-256	144CBF27E2F74B0E1EC58C1481F6094F00EA0855FBB220C6B0CAD0E64A9F0C83
SSDEEP	49152:CUiIxdDjSkeBvf/PlbUlq0PimS7ph5E8V9GU4lgUncHM1/k1VN5wQpPfW:Lrik+/PO93YhzV9GU1M1/k7NJW
TLSH	T185C533ED529D413CEF244E768E3EBEB30A5663E880508CBFDFA451ECE5925A185DC780

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	1759240
MD5	0CE905F5967317A22488937C14BA4B45
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.12.0-3build1
SHA-1	0EBC8443621D94D0308923E4930550F18906B1E6
SHA-256	4CA547F01659B262153C14B13254D29CA5B0BA870A5D93A1414242D8B1EB04B7

Key	Value
MD5	48B5CD85BE4E10F51EF29190CF5AC95B
PackageArch	armv7hl
PackageDescription	Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. This package provides CoqIDE, a graphical user interface for the development of interactive proofs.
PackageMaintainer	Fedora Project
PackageName	coq-coqide
PackageRelease	1.fc34
PackageVersion	8.13.1
SHA-1	110B95899F285C64E4FD4D8003567692ACBD45B8
SHA-256	A2FC59C133C4B7381BE5996884308EE3ADB2FDA0219C2C8370E97CBD4A8EA49E

Key	Value
FileSize	1723020
MD5	FF879B2572BFE90E6C83B6B262340BBD
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.12.0-3+b3
SHA-1	116192D75CD953ED5035A269E4D6EA1B58C979CE
SHA-256	9057E709CDA8D1C9179E932C3D4327483C33266A2CF7D4908464FF423F2A17F0

Key	Value
FileSize	1736840
MD5	8253BDBF3499D54B9FE2E97779A83A5B
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.12.0-3+b3
SHA-1	126B261B43B61AC64AA9E18EB61EDE156F14ADBE
SHA-256	CD8A39C002D84198FB06D791B48BD4A54AE13105267AD1C03199980EE62311C1

Key	Value
MD5	0F20AFCAF34A8A1301F399FD5E00F5FF
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	bp155.2.13
PackageVersion	8.13.2
SHA-1	27402C7A167D2E802DD6123BE162C8A4DC8B3229
SHA-256	946B696D1C9B18A0382458FED1AD629F4BFC03F8545CF620E4FE1A03F804610B