Parents (Total: 33)
The searched file hash is included in 33 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 | 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 | 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 |
| MD5 | DE872213A0B37277F3AF21F32179F4BC |
| PackageArch | i586 |
| 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 | tv <tv> |
| PackageName | coq |
| PackageRelease | 1.mga7 |
| PackageVersion | 8.7.1 |
| SHA-1 | 26E0F32B5C1ADC76F5F1AC492B591F78CF54E206 |
| SHA-256 | 2385B1CD79E6B83F4C44267BF4D6FA65C6A8C3E87C0FF8A239780E338D351501 |
| Key |
Value |
| MD5 | FECEEE2D29E4C218445511E12BEA5DA8 |
| 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.fc34 |
| PackageVersion | 8.13.1 |
| SHA-1 | 2866E95950591DEB55BEB17F5BAB8A707712502E |
| SHA-256 | F78E360C82F0BED3189A9E75F9138DE465C948B605CD96824010941F94FC784E |
| 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 |