Parents (Total: 103)

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

Key	Value
SHA-1	0359039CF17F62C8D7B1095C16EA08584940FB4E
snap-authority	canonical
snap-filename	t2lB6va3EDQHQDV1Uq9kY084GSymT9kb_29.snap
snap-id	t2lB6va3EDQHQDV1Uq9kY084GSymT9kb_29
snap-name	dotnet-runtime-70
snap-publisher-id	NkziOx5Ju2cGzp2Ei3picHMIev25uDU6
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2022-02-15T01:02:46.378965Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/t2lB6va3EDQHQDV1Uq9kY084GSymT9kb_29.snap

Key	Value
SHA-1	0627EE466790C79C954266526701E97AD88375CA
snap-authority	canonical
snap-filename	pYjbVUhvR6nqlpQfSGY4WrEoxkIbYkHp_15.snap
snap-id	pYjbVUhvR6nqlpQfSGY4WrEoxkIbYkHp_15
snap-name	dotnet-runtime-80
snap-publisher-id	NkziOx5Ju2cGzp2Ei3picHMIev25uDU6
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2023-02-17T22:21:41.788494Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/pYjbVUhvR6nqlpQfSGY4WrEoxkIbYkHp_15.snap

Key	Value
SHA-1	068CC09F954EA5020DB9D170103854EED9E7355B
snap-authority	canonical
snap-filename	69mzOfPMHMlgZ5UkaDRavhq3s1HpKHnp_45.snap
snap-id	69mzOfPMHMlgZ5UkaDRavhq3s1HpKHnp_45
snap-name	dotnet-runtime-60
snap-publisher-id	NkziOx5Ju2cGzp2Ei3picHMIev25uDU6
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-12T05:32:18.396590Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/69mzOfPMHMlgZ5UkaDRavhq3s1HpKHnp_45.snap

Key	Value
FileSize	70132
MD5	3931EAC5F6EC90C885F84BAEF2AB186C
PackageDescription	theorem prover from Microsoft Research - development files Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . This package can be used to invoke Z3 via its C++ API.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libz3-dev
PackageSection	libdevel
PackageVersion	4.8.10-1ubuntu1
SHA-1	0995BA19A18AE6BE9B041BBE73661AF3F5036340
SHA-256	EF826499411875E4DC962AF8A8DFD439D4C3C227B905CD05D2273DBD765BB9FE

Key	Value
MD5	DAA0B231C27EB759555FA41713C4262A
PackageArch	x86_64
PackageDescription	Development files for the Z3 library.
PackageMaintainer	https://bugs.opensuse.org
PackageName	z3-devel
PackageRelease	lp152.1.2
PackageVersion	4.8.7+git.20200407
SHA-1	0A78373C38BB94687FDD0B97AA1B03C4665ACCFB
SHA-256	B7D08269CF9C55A9393F6488D4DC56737EE29CF6189BD4A2F267FD0B3BA46EB0

Key	Value
MD5	549A8820FD3673DA20B4645639C36773
PackageArch	i686
PackageDescription	Header files for build applications that use z3.
PackageMaintainer	Fedora Project
PackageName	z3-devel
PackageRelease	1.fc33
PackageVersion	4.8.9
SHA-1	0AC67BDF8AD8C284E8743EF0076B6A6E264FE824
SHA-256	A9138EC14102D365E36CFC9AD87D86471896F164AAFC602A03F6FA20ECDC8E5F

Key	Value
MD5	D8FC69842B31BABE5045837938FD30A0
PackageArch	i686
PackageDescription	Header files for build applications that use z3.
PackageMaintainer	Fedora Project
PackageName	z3-devel
PackageRelease	2.fc34
PackageVersion	4.8.10
SHA-1	12CD81F8A34618502BDA3DB2C70D15316ABC71BE
SHA-256	C686E4DEFFB8D03330224CEA7F227300049F2D7239700CE44D2F0E22400850E1

Key	Value
MD5	8CBBFE6EC402856141E8B20C757CC55E
PackageArch	s390x
PackageDescription	Development files for the Z3 library.
PackageName	z3-devel
PackageRelease	72.6
PackageVersion	4.8.13
SHA-1	164C1BB43ABAE29714B01CEE4CA41D98EF4D700F
SHA-256	19297F609E95868A0E715152BECF005FDF1B2C2F21FC9B95E38905796D5A5879

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.9/packages//powerpc64//z3-4.8.9.tgz
MD5	71F62C6235992864072C1AD175D662D8
SHA-1	16CA9F3DD53FB145CE1ED9174CB487669F8131A8
SHA-256	2F9E51EC7B9D8C8F77DBD2324D8CE9ABE4F6651588824BA3D7EA6F67ECA0EDFF
SSDEEP	393216:JpGrtSfBi5Zs0LaKNzYZBxy9HRUqdq24MC4y0AlZl43qhW9Ucm52LQZwy7Zhs8zv:p4XLaKABQRUqJ4Ey0Al4qhOdm5feyl9v
TLSH	T19D273300B74949BE438FB7A66D8709BB30A79C59C23740D9D8CA1AFB6DC4F04965FCA4

Key	Value
FileSize	92148
MD5	78412B900E4E63434658F46B3B242905
PackageDescription	theorem prover from Microsoft Research - development files Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . This package can be used to invoke Z3 via its C++ API.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-dev
PackageSection	libdevel
PackageVersion	4.8.12-1+b1
SHA-1	17341EA1B8A1BE8C95F76751E13C6407D240FFC3
SHA-256	C80544B3D91D4A2B19E0EF9D13854BB17CFC02394BE1DBC31998BBAEF7ED8D85