Parents (Total: 33)

The searched file hash is included in 33 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.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
FileSize	36980788
MD5	59F11180DAD18B87DE2D5220CDAC0195
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3build1
SHA-1	1B200532978B0EBA1F18F38EB4119F703E8549D2
SHA-256	F6A45312B5CFF507852F946571A3E797B6705BD386F2D6DC6A1B36122BBA10E0

Key	Value
FileSize	23922476
MD5	686F81E24B8278005A3FCA5D10E10700
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	2596C731572E541DE19892DC4CA7FFD78B053767
SHA-256	E4AFCF667E6D1B64D94BD30CFA02EDA0308AD63753E4AA89FF50B6297C745BB7

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
FileSize	23914852
MD5	321527C2B1256F104792A1D4F30A1AE4
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	46D6F9D897B7C724368EFE35FC81A57243D57B65
SHA-256	D25340DBB91EC828BA6A71546630A7738F8131084502FB39B786DCF6C715D657

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

Key	Value
FileSize	23920460
MD5	7A484AE4C357467A934393463D5C28E1
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	5BA5F84C9D588AB73BF2E3D15A6066E309388E33
SHA-256	A30AC9DBF4A09E746884E6BD42C069A33708334D9DBF8A1DC14866F9C4706CFB

Key	Value
FileSize	23913512
MD5	BB9006D39AF878892BCB32C9FD16B2A7
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	5D4DC9BF2112F606A3AAB303ADA1C99FACC4BC27
SHA-256	C856E3EF2BF9EE0EF5AA265788853D7A5296DD829E950289C175DD12535C6A9B