Parents (Total: 10)

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

Key	Value
MD5	EE6B811E4C31D4B19F0802384FF5C133
PackageArch	x86_64
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-ide
PackageRelease	1.6
PackageVersion	8.14.1
SHA-1	E3FFD398B1E8C3D6045627A0CAA7C9B9EFBCF29D
SHA-256	6917CB5C52230AC4CC285D8ED3F0BC0B930ADF32E9325EAD195AF22E14C2374B

Key	Value
MD5	EB120A61EED3EFF8C8A3FC276098BFD0
PackageArch	s390x
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-ide
PackageRelease	bp154.1.44
PackageVersion	8.13.2
SHA-1	7D004D8B780CB5FB160B152412DEAD0B89E30B03
SHA-256	428F9C255441965FEC51F6A7990F2DEAA894D6D8D058FB8478465F7127ADD924

Key	Value
MD5	0F20AFCAF34A8A1301F399FD5E00F5FF
PackageArch	s390x
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-ide
PackageRelease	bp155.2.13
PackageVersion	8.13.2
SHA-1	27402C7A167D2E802DD6123BE162C8A4DC8B3229
SHA-256	946B696D1C9B18A0382458FED1AD629F4BFC03F8545CF620E4FE1A03F804610B

Key	Value
MD5	404520BE1EFF71E5E074957C179231D6
PackageArch	i586
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-ide
PackageRelease	1.6
PackageVersion	8.14.1
SHA-1	889735BA26443F2DBB5D31890E7A31AAC01E6A9D
SHA-256	7772620916938D4D7A383867F6DDD21DC984E999BA5F72158E80052385EBEA08

Key	Value
MD5	15D6AA5362F19227CE61C4150EEBBE63
PackageArch	x86_64
PackageDescription	Proof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification. This package contains shared files and the command line interface. For a graphical interface install coq-ide.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq
PackageRelease	2.1
PackageVersion	8.13.2
SHA-1	DE165D578B4C102D50EAE669F6C728B19897B065
SHA-256	D549ABE752B8DEA8A6D8F736A3FC5442D21D3C2D17F587C6CA2B170B37A9AC9A

Key	Value
MD5	F243CE357E0963A5BC33280C797BBD91
PackageArch	s390x
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-ide
PackageRelease	bp156.1.14
PackageVersion	8.19.1
SHA-1	59277DF7FBFC303CD2F443185DA22DCFD1961A36
SHA-256	081794A6D5C00364DBD16662CA87A4F565C80480B5C61F762508342AF2FF29D3

Key	Value
MD5	E9737C8008FFACD90D7DDC4ABAA918FC
PackageArch	x86_64
PackageDescription	Proof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification. This package contains shared files and the command line interface. For a graphical interface install coq-ide.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq
PackageRelease	1.6
PackageVersion	8.14.1
SHA-1	0EA585F151A3C8EEA281C6EE5D1B810550015327
SHA-256	3434FB474B72444B9B6C9179ED9679E35F623C0E608602845D3E25916AA742E1

Key	Value
MD5	7BA78A431ECC3655E72F50A571A1F2CE
PackageArch	x86_64
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-ide
PackageRelease	bp155.2.13
PackageVersion	8.13.2
SHA-1	D03A1593AED264A65197E29B44D1EACEF0741074
SHA-256	25C833AAF987DC1E310E19926549552DCE2940980A7C1CC95A2B58129FEB2996

Key	Value
MD5	B92310784251D57485B37852C11670AF
PackageArch	x86_64
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-ide
PackageRelease	bp154.1.44
PackageVersion	8.13.2
SHA-1	3568BC61CDE2941BF4E73734A6FA27029C5F9E7F
SHA-256	93FFC7C7B79804B6BD6C7EE35C0EC726D0E0A2DA4744A04C4DAFBE565EE43A69

Key	Value
MD5	E8A3784193F9A4F3CC020D28E14BC8B3
PackageArch	x86_64
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-ide
PackageRelease	bp156.1.14
PackageVersion	8.19.1
SHA-1	4BB1C126F8D54DA89C438EE3E4C33FFC798FE664
SHA-256	32897E91C3BF971AD2F071538A6739FE8253EBB6E5BA50B1B81B17F4D12A8348