Parents (Total: 12)

The searched file hash is included in 12 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	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	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	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	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	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

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