Parents (Total: 17)

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

Key	Value
MD5	62332420DABE96D0C5983C7C3ED12DF3
PackageArch	x86_64
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.fc32
PackageVersion	8.11.0
SHA-1	010F882578B376CE9A4FE8E115B8720212CA0898
SHA-256	53B9BB77FEE12DDA36941681D7AE0385FD2E4D50745501325D76C045286D17DD

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
MD5	D08736E75DA711AB7F268DC22DF807CB
PackageArch	aarch64
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc22
PackageVersion	8.4pl6
SHA-1	06970E7FA912D0007272B189DB432725A2536A53
SHA-256	D8F27F1300C7E9DABB6AD176383414C1E5C3A2E43FB71E3B0E00C621B112AC76

Key	Value
MD5	9274B8ACA7CBE54EF7EE7BDCE4465FD1
PackageArch	aarch64
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	4.fc23
PackageVersion	8.4pl6
SHA-1	0C1503F51138E2172F823E6D5F3324485476AC57
SHA-256	889D703C9A0B17635FEAC4142F2A8E3D8C777CDC4D492138D1C19BDFCB16FCE7

Key	Value
MD5	8DFD5BB272D622DD2E1C56A7F21C3430
PackageArch	aarch64
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.fc32
PackageVersion	8.11.0
SHA-1	3ABD519EE817D9639DABB4292520C9C7E7D1EB0D
SHA-256	3F092F8E8CFC5D2A1ACAB9FEB3C46F1460DBEF0A6D35CCEFF5002205AD3F4118

Key	Value
MD5	75CB50477A460955974431CACC41074D
PackageArch	aarch64
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	3C91342E70437C7882678155579330F1000A9583
SHA-256	E6418580A2ABD0DB7D18B71706B17A47673321B2D3049CC6F358960FF9FACB25

Key	Value
MD5	511AA38F15078FED801FC94C8CA3539C
PackageArch	x86_64
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	48EC122DF4699675738ECAC83B77353CC85480C9
SHA-256	FD43C057BCE57604B7ED41777ECCB2ACBBCC5EDABD1836D56F5D32D116DBC814

Key	Value
MD5	DE43D60884BE24532B95B4FBF91657AD
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. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	3.fc33.1
PackageVersion	8.12.0
SHA-1	5BC957B2F973847350FBBFB10C5C966A39F13545
SHA-256	662B05EB8B4F5CA523DF62A908681413C3E009F5B26D3D6DEAD8F7D2E1B84F1C

Key	Value
MD5	3A4546E66BAC85CF5761F810A860399F
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. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc32
PackageVersion	8.11.0
SHA-1	6C8950EB602609515A8E7671845B736B0ACE5049
SHA-256	9DE7D0D9E449B6ECB1B4E16E814CAE0B90DE43DA4E43B7C23ECA727CED101D27

Key	Value
MD5	3ED0DCD538B59908E098A40F462AE16D
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.fc32
PackageVersion	8.11.0
SHA-1	77066E07093FC68D177E7EAA927A30C30037290B
SHA-256	08F9515A3C6E802E71002C2038632BFC7CBC4A8C3431DDA229319821233E4273