Parents (Total: 20)

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

Key	Value
MD5	62332420DABE96D0C5983C7C3ED12DF3
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 CoqIDE, a graphical user interface for the development of interactive proofs.
PackageMaintainer	Fedora Project
PackageName	coq-coqide
PackageRelease	1.fc32
PackageVersion	8.11.0
SHA-1	010F882578B376CE9A4FE8E115B8720212CA0898
SHA-256	53B9BB77FEE12DDA36941681D7AE0385FD2E4D50745501325D76C045286D17DD

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.8/packages//sparc64//coq-8.12.0p0.tgz
MD5	AE44C94C76199764D1CBDDE41337B766
SHA-1	16D88FD3ECAC1FB847C8FFCB465DACA24598E415
SHA-256	44E802D0002710D50AFCEE32A37DDD9DD9AD1F8CF7A5C7BC281B9EA1FEE05F84
SSDEEP	3145728:n0zP694lTsu8I6D74ShPs4VWhkDm1h2F6bPNwqen:n0+94+shki3RN4
TLSH	T1F258335AD15F3B593D81A6F3B219C6CB2B8B7817606818B6CA4D3BF534C34B98D1D832

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.9/packages//powerpc//coq-8.12.2.tgz
MD5	3BCAA695FF2AEC6D4FD5F6313B8018D9
SHA-1	17E4FA8DF783D7C9C9F40DE4B198AC908AC60688
SHA-256	F01419602314A097376360DDD7873DA6D1FC669760760F0BE2DFB7D881D25FAF
SSDEEP	3145728:qz3kXW/KhEkmz4RAWbskum8JY/n+u6KTTX8R106Iojkn:0UzezYAWZumiBvgX8X06IoYn
TLSH	T1055833CCF9062B4824F1C1EB2704D5E6219B206292ABD1A161DFF332796656D0FEF4B7

Key	Value
MD5	33449E3F842517A1DDF857FDED9954FF
PackageArch	i586
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-ide
PackageRelease	4.mga8
PackageVersion	8.11.0
SHA-1	2AA0186C89916A6258DEF3ED84D3DF8DCC8CB80C
SHA-256	A15A29377E4315F8DC06DB0D22EE996D6D0EFF89E5E8447CD4D9B4392683ECFC

Key	Value
MD5	DE6A5E4E840B6292B29E590EF9134239
PackageArch	aarch64
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-ide
PackageRelease	4.mga8
PackageVersion	8.11.0
SHA-1	3693A629A87F8A6B0D4D055345667FC04ED2F692
SHA-256	D175BD2FEE9C03109AF8707EE7DD788B08A7C7262233096A79DCB5B940EFD9C6

Key	Value
MD5	8DFD5BB272D622DD2E1C56A7F21C3430
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 CoqIDE, a graphical user interface for the development of interactive proofs.
PackageMaintainer	Fedora Project
PackageName	coq-coqide
PackageRelease	1.fc32
PackageVersion	8.11.0
SHA-1	3ABD519EE817D9639DABB4292520C9C7E7D1EB0D
SHA-256	3F092F8E8CFC5D2A1ACAB9FEB3C46F1460DBEF0A6D35CCEFF5002205AD3F4118

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.8/packages//powerpc//coq-8.12.0p0.tgz
MD5	77C3B061B8B31E295A7F60F1511A54B8
SHA-1	42209D9F851BBF41D1AA3AD40D4E4F2402CAE934
SHA-256	7BB30907D877B8DC10A3D6BF9889489FECBF66B83B51292BE9E9E241F636FA54
SSDEEP	3145728:FxsTLCdDIKOpsgyCLUJRapIx78Ix7m8w64:Fx/qpVRUJRIk57nwV
TLSH	T1F05833ECF126658A7CE0B2ABB7299DEC2BD5E44B008995B0C4C43FF7799641D6A4CC70

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.9/packages//mips64//coq-8.12.2.tgz
MD5	7CF978F0AC119CE89B1F54BAC436D5BE
SHA-1	50F7D40339A7348FC844AE92C32CF2F956DA0EE6
SHA-256	BCD6D0AB19BFA851430C3B4F93FEB42AEC00E0D9423865A729E7BFD9CA7FCEE1
SSDEEP	3145728:NMAf01S3zfNdE+9YBRPu1Gu2xpXHrgK4m:ibI3JdE+yBZJuE9T
TLSH	T1415833CCA3D29DAC7EE5E1F1132CC6D272571AC205099CAB9F1D5A7244013DA4BE6FB2

Key	Value
MD5	3AD55B447D50C29364F04C0E3C57B085
PackageArch	armv7hl
PackageDescription	The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-ide
PackageRelease	4.mga8
PackageVersion	8.11.0
SHA-1	55D23A7DB8BB4E8390086E1B67AC3003079ABC8B
SHA-256	7482D561D0BEF12B78357FDD90DD44AD189F00E3C8D8B17784BE97D3365DBD9F

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.9/packages//arm//coq-8.12.2.tgz
MD5	B8668C7B8232B6990FB8AF291E4EC236
SHA-1	5904227B31E33D141E777918169CBE972B8B6853
SHA-256	C9D5FDC58FE3AA5EA480034717B259644170F05567776EF3F0A2C6EDDE4031AF
SSDEEP	3145728:xpZkXW/KhEkp5OQ1zGvkVJTjt4faXwSMx0R9J+UWH:SzBgNqJXbTi
TLSH	T1135833CCDA127AECB9C9C1F7021DD0B5087355E56067E466A1BC32432297ABC1BFAB71