Parents (Total: 11)

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

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.5/packages//sparc64//coq-8.8.0.tgz
MD5	0E2B5639BF1C77894C24BCDC38FD54AA
SHA-1	52DF2ABE7BB7B4654526331D2F375F2F6100FFAF
SHA-256	A7AD0C9018D8FEB301C586121DB56F2C1D39148E5D973E460831AF7228E130B5
SSDEEP	1572864:fLyaDatAAU4RsTPXxcttpDIOXOHdf8izE9P0uyB5uH182kWQKsXf:jyaTAEx8tlxXoxjzEfyBAVTkgC
TLSH	T11EE733CC60D26F07E838A9A19451DD148AC504CA784A4BF01CDFF4D377B7AE6926EED2

Key	Value
FileSize	1743216
MD5	7E5E722660BCF279B36ADCDF8BA61F66
PackageDescription	proof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	882EA44132EE796118073191893A28A061C0F105
SHA-256	D391BB031263C9CB4A0251135AD056387F524DA75AE5F1D49BCD5DED9096604E

Key	Value
FileSize	1856292
MD5	25B0B2266078BACE55EE916871FFFCBB
PackageDescription	proof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	C4B53AB737F4CC864BAED988EA931D879CCFDE3A
SHA-256	8DBC2D20CF55DEF848C470F4EEF15C049F13721EECB99AE574AD7E99191A0CAD

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.5/packages//amd64//coq-8.8.0.tgz
MD5	62D6A3F01161C915D3E98240408FF7D9
SHA-1	22DDB4DAEE9673CDA1B8C25FE3FA11A367F93369
SHA-256	E701439F07DDB68604B97F1028E463D3B279A76CEFD869983F5AD0E783640905
SSDEEP	1572864:T6wIfUlodKqZB+WY1J1eKk1+TwHJHIP583huCWTzBae2f3MAmXmLKHVpgt82Sf:O3TZRQJ1o1ZHJHIP5ouC61GnYo6VKvg
TLSH	T171183384A9D3990BC811992189701CE5C9D12188CA875DD5DF63BC75AFCBAEA3B7333C

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.5/packages//mips64//coq-8.8.0.tgz
MD5	25393364600EDC9FB4855C92ED9CF8BF
SHA-1	36E6D9112FC39D9B6569FD116AAD9DC8455B5BFF
SHA-256	6ECE87DCDA85531B54698E17396483E1FABEA280A337320464D69B6D23918891
SSDEEP	1572864:0do2KWiGRlNu1CmOFxHp4qiwHErW4fTt+SxmslbUsTemySfoyThQPv:0dLYRGxHp46kr3R+HslbVxySNGn
TLSH	T165E733DC3632678ADF09E3B7762BF6732AD714078004BE7C498C6EE01DDA669C255C89

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.5/packages//arm//coq-8.8.0.tgz
MD5	7ECD84D18BD1EAED59B73550E8DA3513
SHA-1	297F09D4E56C8F37356C52E23CD00EE3D9570006
SHA-256	AF84DE44D918E57B01EDF78CCFBF45F55115F91224792456ABBEE5B8B3721B3C
SSDEEP	1572864:2edGg6AkxEVo9PZQtpBnXsWKEzgcJXXChIPNfGjkOy4:2gGgPEUptnzJJXShwNTOD
TLSH	T12CE733D4839225AD19AE53BB9E29ECBBD9519610E17EC2F048FD4320B3054B7BB07F85

Key	Value
FileSize	2209780
MD5	0C2C7B473ACFDB85E2D7E3BCF873249C
PackageDescription	proof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	4BBBC59092DD30C228B3163E41E78EA8BCB720E6
SHA-256	739EA530675B7E2B494B5C8B24CEAC1E0D01D87B128DB9CAFBFF6DE811272D22

Key	Value
FileSize	1682244
MD5	9993D1E152B8219751CDFEB701F4526F
PackageDescription	proof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	1589E2D45C5A6EC4CB9C45908E2848F49C468ED6
SHA-256	DC5D3BBA264103F8D39ABC98783D65021C90259C9BF57E84B8E75267E34DAB99

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.5/packages//i386//coq-8.8.0.tgz
MD5	31F8586D50E7C043DA4A5D75671FFD9E
SHA-1	5B5AB8FB3776005718DDADAD4563D7F4816C46B0
SHA-256	CE4CC31362A00FCA0C3EFF5AB27D8175F631D15DD49001AF7373372CB48E73D1
SSDEEP	1572864:gzijBz4NoKdG8GBLQjUnzbDM5XfZzyKLaM3KmRCQ09pKw5J7SPXU7Y+F9hfjD/hI:HjBz4NoziIfs5ORn9pb5hSPyVVjDJ4ay
TLSH	T15408334A6893A092D99707064AB118F5CE5043C3843B9B89EEF3ADFFC4926D44C7779E

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.5/packages//powerpc//coq-8.8.0.tgz
MD5	6731DFDDC924E61EFF37F0E80D4FD557
SHA-1	259A837D31E37046543FE912B34FA3513264E00A
SHA-256	D079F3F681F201939AE85F42A85835ABD6C6ED96917D148DF3877E3063F865C8
SSDEEP	1572864:3d+KEuvKeuxQfaAOSF8s2fEzgcJX8ChIPNfGjkOy4f:30uKUaDSFThzJJXzhwNTOV
TLSH	T169E73368D2867E1C3BAC72B767158DF8C3519053D9BEC1C28CF92B05535E6A6EB06F02

Key	Value
FileSize	101700
MD5	E6279CCB357EE29960EE4F5D913E0A7E
PackageDescription	proof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	DB0E662B6F5037E95661744A18FB6EFF4F6CAE27
SHA-256	A65774CC8C7E05AFCDFE2C7A5DB5DC124E139D2DA2CCF255510240B1BBE6A820