Parents (Total: 6)
The searched file hash is included in 6 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| MD5 | A555D091E346D5C97FFAA9B1CC461889 |
| PackageArch | armv7hl |
| PackageDescription | This package provides debug sources for package coq.
Debug sources are useful when developing applications that use this
package or when debugging this package. |
| PackageMaintainer | Fedora Project |
| PackageName | coq-debugsource |
| PackageRelease | 1.fc32 |
| PackageVersion | 8.11.0 |
| SHA-1 | 11666A05F6DD65EBA89524EE84CDB965B6BC7DF5 |
| SHA-256 | 9E161C50BE22A06D1A0C04E783C5AA652ECC3F27E1306B7FE44901DECDF8472A |
| Key |
Value |
| MD5 | DC0FF7198B0A04358A3FF425DD18BD97 |
| PackageArch | aarch64 |
| PackageDescription | This package provides debug sources for package coq.
Debug sources are useful when developing applications that use this
package or when debugging this package. |
| PackageMaintainer | Fedora Project |
| PackageName | coq-debugsource |
| PackageRelease | 1.fc32 |
| PackageVersion | 8.11.0 |
| SHA-1 | BFF011FF68A26E2167FA0102369AF82B5B6DCF7D |
| SHA-256 | 6AFFC6538107D8375FB653D316B0126F6F4560571059EFA5C0A79FAEF5077B7F |
| Key |
Value |
| MD5 | 1228FB0DCA765019FDE0D67288F8C9A7 |
| PackageArch | armv7hl |
| PackageDescription | The ocaml-coq-devel package contains libraries and signature files for
developing applications that use ocaml-coq. |
| PackageName | ocaml-coq-devel |
| PackageRelease | 1.d_l_ocaml.4 |
| PackageVersion | 8.11.0 |
| SHA-1 | 7D2CF94062A7F23F21BB8D7B9D3F999D51B46F98 |
| SHA-256 | 68E2BC6B265295F7840FC6EECA3784D4BC662437E952C008451787E2123C8BE0 |
| Key |
Value |
| MD5 | 19C03453AB9882B1CA9FF1AC1A4E216C |
| PackageArch | s390x |
| PackageDescription | The ocaml-coq-devel package contains libraries and signature files for
developing applications that use ocaml-coq. |
| PackageName | ocaml-coq-devel |
| PackageRelease | 1.d_l_ocaml.6 |
| PackageVersion | 8.11.0 |
| SHA-1 | E6D77DF720147C6D96B14144FA2081111478E1CB |
| SHA-256 | E3A80BA2C2A000CF2255967045C9C2F3FA90FE8CA41BA58D62DFB735267D06FA |
| Key |
Value |
| MD5 | D66C98F64EC18783C772A32109617AD5 |
| PackageArch | s390x |
| PackageDescription | The ocaml-coq-devel package contains libraries and signature files for
developing applications that use ocaml-coq. |
| PackageName | ocaml-coq-devel |
| PackageRelease | 2.d_l_ocaml.2 |
| PackageVersion | 8.11.0 |
| SHA-1 | E87CF496657D4DCBAAF45BFF2BD1C80FCCA54668 |
| SHA-256 | 1B6F6F80A2BF013927283CCA6E13DD7160857442DB977F0E880CC714532BCE9A |
| Key |
Value |
| MD5 | C78BA2E3C58D02565F102526FD5CEBD2 |
| PackageArch | x86_64 |
| PackageDescription | This package provides debug sources for package coq.
Debug sources are useful when developing applications that use this
package or when debugging this package. |
| PackageMaintainer | Fedora Project |
| PackageName | coq-debugsource |
| PackageRelease | 1.fc32 |
| PackageVersion | 8.11.0 |
| SHA-1 | 45C6EE820DDBB3CA41B81B1C05D881B0D8F9FD4A |
| SHA-256 | BC6A12B0D7F2B3A2133864304BE687C3F25A8AE5BE5164D2037F7DFDD4A172A5 |