Parents (Total: 54)

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

Key	Value
FileSize	21750252
MD5	43C31B298CFD33546A52FC4FDBDB2200
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.14.0+dfsg-6
SHA-1	07800863F0A27FF15C21C6D7112CF3369A41E5B3
SHA-256	56E7FC31F6828A5C368D878AA9B89A9E2A0D8753041DFF46C53585614153205E

Key	Value
MD5	6F0687C2EF3622C4D20F29C89F49B0EA
PackageArch	s390x
PackageDescription	This package contains development files for Coq.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-devel
PackageRelease	bp154.1.44
PackageVersion	8.13.2
SHA-1	08F1AF401E533A9164B6486D929A5BDCF7F49CA7
SHA-256	E061FCA5EBBE93EFC2DC9F0D07B512E90E80141E6FFC3F3E366AC61D749C3B0A

Key	Value
MD5	3F160299671D4BF22DAA1F81E6324726
PackageArch	armv7hl
PackageDescription	Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification.
PackageMaintainer	pterjan <pterjan>
PackageName	coq
PackageRelease	3.mga9
PackageVersion	8.13.2
SHA-1	09B8ED98E28322BFB3CA45AB73FADDCE8AF63167
SHA-256	4D7EA57384E7585CBCE49AB1131DCD4464E7125D0E643FAEFEE312C690FBFC76

Key	Value
MD5	DC7666491C5DA73F0FFE60F4023D2326
PackageArch	armv6hl
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	1.d_l_ocaml.6
PackageVersion	8.15.0
SHA-1	0BCA7ABDC27A9C76538EFD37D1E6434C195EE748
SHA-256	E0B907E20BADE61F23AED28F5A758C698F08F7A72BD0598CE7952F988D81B2E4

Key	Value
FileName	http://archlinux.mirror.root.lu//pool//community//coq-8.13.1-1-x86_64.pkg.tar.zst
MD5	58D5557391770D650BCE8E7423B8142C
SHA-1	15092F3338B174622BA658FEDCB9663AB5B87F3E
SHA-256	314B98ECE8713FCDE2B39434D4A6EE7F18F8370758D3EE59A388682096ED0092
SSDEEP	1572864:xYZJGr4Pe4OMZCtYDDvVrb4kNRw0VILA6:x8JGaZPfvVrbHZ6LA6
TLSH	T15CC733C1F7E2860EEC686938216E695921D94CE141203AEEB7B237E2B7F74572D35F10

Key	Value
SHA-1	198D3BB17C0DA24D5E7AB88D549B081076EC2C79
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap

Key	Value
MD5	CF1E7BCC933A426CDFA5C38061944C43
PackageArch	x86_64
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	lp150.1.1
PackageVersion	8.15.0
SHA-1	1BC644A5F1AA7DB5BF4BAD55C33F623095265932
SHA-256	8BE2553D6AF06AA208141B6454094840458C4EE324A670EAAE9787E7050EFF36

Key	Value
MD5	3072CFDA596A961A2D9B4FDB0F2D98DF
PackageArch	x86_64
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	1.d_l_ocaml.1
PackageVersion	8.15.0
SHA-1	1F964F0798C9D82523158AA3E393507AAB80243E
SHA-256	0E8E3B43CCB9A5ACBBCF20120DE198930D83A4C2A3EC38E8EAF00FBC733311E3

Key	Value
MD5	610CC6E4F5B5ACC4BDE352F20EEBAFFF
PackageArch	x86_64
PackageDescription	This package contains development files for Coq.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-devel
PackageRelease	1.6
PackageVersion	8.14.1
SHA-1	30C6BC41C9C9B4065543D8B742209380E970BFCC
SHA-256	CA4BF26678FB7C28C2FCC552EDD9DAC642089A67CDD411190592349F92B2A3DA

Key	Value
MD5	85FDE5BC9AD85DFEEF2548BAF32A0C32
PackageArch	armv7hl
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	1.3
PackageVersion	8.15.0
SHA-1	32DE2EAB9DB8AB22DF9145F5E32EC571FF2370B8
SHA-256	68D57EF66507F720BAF2C32BFC2A76F6CDE11A609BD30A6FBF8E6F7E4D1F4BDD