Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

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	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