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	DA2313107102EA92519BF5B6CCC0289A
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	3.fc33.1
PackageVersion	8.12.0
SHA-1	FE1F0C607B2C0222DE85367A2E9405DE618714F0
SHA-256	E385C3C83AA0CCB8547A1DE25EA780FB644ED3A996836AFF091DBEE344AAFC32

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	4FB69DD53D5955B4E6F8ABF2BC475FF4
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	3.fc33.1
PackageVersion	8.12.0
SHA-1	BFE4D9EEC48FD38862928462B023982042F2A38E
SHA-256	28366385C087FC77490F36BBD61160548DEA12052B38045367509F4FB25C0B54

Key	Value
MD5	E3A65FDCF85DD504B1961A508A3A0B49
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	3.fc33.1
PackageVersion	8.12.0
SHA-1	5E89D1A91A3FD244BCBD7D51E6CC83CACE990A39
SHA-256	78103730A5B6CA53605CBE6442E5193C40CAFBB1FF7FAF50B5BED3A5541AF733

Key	Value
MD5	05B87308C8718B8A7D2B1AFBE8A53CFC
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 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	B40BFC2643ED6A258513A8A7F5E36D0457AC93AB
SHA-256	574443987DE26F71577BF3B729CCD35C0B4B5DA13C5EC628003BA08264B4E800

Key	Value
MD5	73318BAE4479DF03A474B2A130AB5F42
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	3.fc33.1
PackageVersion	8.12.0
SHA-1	1373ED4DE9C4AAD615481488035CE0B78537E996
SHA-256	49DE9FF34005693FFDCA741B7BDF75250F8D3104CFAB7D3878D14A57FC99EC91