Parents (Total: 4)
The searched file hash is included in 4 parent files which include package known and seen by metalookup. A sample is included below:
| 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 | 83F783B63F202A15731C685646C5E1AD |
| 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 Coqide, a lightweight IDE for Coq. |
| PackageMaintainer | Fedora Project |
| PackageName | coq-coqide |
| PackageRelease | 1.fc22 |
| PackageVersion | 8.4pl6 |
| SHA-1 | BFA13B9F5B9126054C3B1A044A55B97443A2C86F |
| SHA-256 | 9A693E69E47FF972F7E982B226416F9636B7D26AAB40957DA42BF5B68256327D |
| Key |
Value |
| MD5 | 0CF3D9FA257E4F8547D7296DCFCBC21D |
| 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 Coqide, a lightweight IDE for Coq. |
| PackageMaintainer | Fedora Project |
| PackageName | coq-coqide |
| PackageRelease | 4.fc23 |
| PackageVersion | 8.4pl6 |
| SHA-1 | B4415F51F5799821AAF150C4141C1A9A546EAC0B |
| SHA-256 | 90CDBE8B53CE374A8F1E43CE8FDAC54175C9580FF50E6CA8C1FC5B5146AA75C3 |
| 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 |