Parents (Total: 25)

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

Key	Value
MD5	42530C639C762457614A739400E7A41E
PackageArch	x86_64
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-ide
PackageRelease	3.mga9
PackageVersion	8.13.2
SHA-1	05C175903361F28D2FCE7AC6FF9F16870889C269
SHA-256	39882EE972A0FE0A318EA813DA3208F3E5A252222BB030747EACB36F2BDDB5DB

Key	Value
MD5	3F160299671D4BF22DAA1F81E6324726
PackageArch	armv7hl
PackageDescription	Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification.
PackageMaintainer	pterjan <pterjan>
PackageName	coq
PackageRelease	3.mga9
PackageVersion	8.13.2
SHA-1	09B8ED98E28322BFB3CA45AB73FADDCE8AF63167
SHA-256	4D7EA57384E7585CBCE49AB1131DCD4464E7125D0E643FAEFEE312C690FBFC76

Key	Value
MD5	8E532B4A727D9942A36371DB85B567E9
PackageArch	i586
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-ide
PackageRelease	3.mga9
PackageVersion	8.13.2
SHA-1	0A7665FA065E65724FEA76E5EB44BFD37DD20A01
SHA-256	451E48689D4C4A3A783AFD793E7DE0DEBF23D228E616E890E7E036C1BA7781E9

Key	Value
MD5	23884A6EBE3FE75847E831B1CBD59051
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 the coqidetop language server, an implementation of Coq's XML protocol which allows clients, such as CoqIDE, to interact with Coq in a structured way.
PackageMaintainer	Fedora Project
PackageName	coq-coqide-server
PackageRelease	1.fc34
PackageVersion	8.13.1
SHA-1	16B2D052CB83311298EE00378ACED9CA58AF0C00
SHA-256	953CB0532569425C2A0186D12D6C8CEB60E58429B272B3DC0220A91128FCEF63

Key	Value
MD5	33449E3F842517A1DDF857FDED9954FF
PackageArch	i586
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-ide
PackageRelease	4.mga8
PackageVersion	8.11.0
SHA-1	2AA0186C89916A6258DEF3ED84D3DF8DCC8CB80C
SHA-256	A15A29377E4315F8DC06DB0D22EE996D6D0EFF89E5E8447CD4D9B4392683ECFC

Key	Value
MD5	DE6A5E4E840B6292B29E590EF9134239
PackageArch	aarch64
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-ide
PackageRelease	4.mga8
PackageVersion	8.11.0
SHA-1	3693A629A87F8A6B0D4D055345667FC04ED2F692
SHA-256	D175BD2FEE9C03109AF8707EE7DD788B08A7C7262233096A79DCB5B940EFD9C6

Key	Value
MD5	BC0491BFE94676A618AFAF551B197C03
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 the coqidetop language server, an implementation of Coq's XML protocol which allows clients, such as CoqIDE, to interact with Coq in a structured way.
PackageMaintainer	Fedora Project
PackageName	coq-coqide-server
PackageRelease	3.fc33.1
PackageVersion	8.12.0
SHA-1	46B9EC5679731AE653DCCFA1D89E2331ECCB1A0D
SHA-256	30B52D30F7A09A8B80CB9E3D2F43D69ABD1466467881E0ED29D0085807B63943

Key	Value
MD5	1E7F159D6C1504BD3AFF5DBCABE51149
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	49A827F5A2548123AAD9E46D5636DD13F890FC70
SHA-256	9CF847D5538121A30789A28D7D4A14BF4FC7F3218037EB65DC974E8806B2D401

Key	Value
MD5	3AD55B447D50C29364F04C0E3C57B085
PackageArch	armv7hl
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-ide
PackageRelease	4.mga8
PackageVersion	8.11.0
SHA-1	55D23A7DB8BB4E8390086E1B67AC3003079ABC8B
SHA-256	7482D561D0BEF12B78357FDD90DD44AD189F00E3C8D8B17784BE97D3365DBD9F

Key	Value
MD5	EF935EC8F2FA55FD994EDFE804E1363C
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. 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	5C479A83607D93373523B3BB3A6AA248DBE73AA5
SHA-256	454B5BF7464F9F2782F90E2D2C4A12FF7133AFEE7A466B25B9A826DF1E5DF681