Parents (Total: 12)

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

Key	Value
FileName	libz3-dev_4.8.12-1+b1_i386.deb
FileSize	92120
MD5	9930E24966721F716BD9CCE0D915AE8E
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
RDS:package_id	288588
SHA-1	8170D1209D41D8DF284B22B3D91A3DE7F67041B7
SHA-256	202CDDF26C95BF59CB0788AFCAC5481E989BB3166BE9230B176FFAC36CF362D1
insert-timestamp	1670545128.6205502
source	modern.db

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

Key	Value
FileSize	92168
MD5	7F2FDA5BA543BF80A1BE159A67C52A94
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	E4692B8DC67D0807F83A683B20BE7DC3C345F9E9
SHA-256	A4F2CB5394B527DBA18B6BE05CCA45F9D066405FABF1670DE9345FCC12C4A7BF

Key	Value
FileSize	92144
MD5	F5F383670253732476842B3D58193015
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	27E25B695D33F6AF9F9C57A1667615674703A057
SHA-256	715894FFF6BE67EBA144B5B94C2837D41261D259CD9E72EDC7F70F7E7D806DA0

Key	Value
FileSize	92112
MD5	6830F5C4A9D1F4A5E4ED935CB1024CAE
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	541A0F3A788D32DF53B23E7CA19C81070167D585
SHA-256	5BC80757F52DF32E1865AA2F1E539A385222D25A5DEF554A5B4C527B2569FE45

Key	Value
FileName	libz3-dev_4.8.12-1+b1_arm64.deb
FileSize	92140
MD5	F2C7F9861C63C9A1F51BADA4BDFBDC24
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
RDS:package_id	288589
SHA-1	F37510C7D583B6E37F62D9557FCC9AB1FD8B0243
SHA-256	7EF5D164438A1815E168BA61A54AE51CC63A53CFC9F02A250763D9F28438831C
insert-timestamp	1670545132.396561
source	modern.db

Key	Value
SHA-1	27D3B810F61336E388236C3818302D04A5A79906
snap-authority	canonical
snap-filename	znWiFzGUllY53A2ET39CsMd7aV3jAeFR_108.snap
snap-id	znWiFzGUllY53A2ET39CsMd7aV3jAeFR_108
snap-name	volsung
snap-publisher-id	Pc3FwFGbVhnN4KBPO9IRX1PJZX7LXcxS
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2024-06-17T07:57:19.634314Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/znWiFzGUllY53A2ET39CsMd7aV3jAeFR_108.snap

Key	Value
FileSize	92156
MD5	87F9CBBE0090D6E24AEA568AECD12C07
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	F2253DB3FBEEC6C15FBF33EEC6C4D44352364D7C
SHA-256	F9A4B05D5258C570A7710B99D93F44360E91F942A4E4592626A11B0FB28E34FF

Key	Value
FileName	libz3-dev_4.8.12-1+b1_amd64.deb
FileSize	92160
MD5	D8A3A0DE13E6A4A875E31F34ACC86091
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
RDS:package_id	288587
SHA-1	25718CFB08B5A4FA3CB3AE82F8910C3E30F527E6
SHA-256	766861923F67326EDF97E60F88E296E2618F494564FD076E9AC2574F2DC702D1
insert-timestamp	1670545111.3509958
source	modern.db

Key	Value
FileSize	92128
MD5	80EE827EB2E0EF05CCD6B9F492A263B2
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	FFB94476BB02CBA5C0C4488B0AE67E07B53CB4AB
SHA-256	BC37E39063DBECBDFCD3019459DF376AC686DDA444E806A64F5D2B8F47BF80B7

Key	Value
SHA-1	EAFBF99959ABF686B3FE41635ECDB714A42D29CD
snap-authority	canonical
snap-filename	isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1.snap
snap-id	isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1
snap-name	kde-qt6-core24-sdk
snap-publisher-id	2rsYZu6kqYVFsSejExu4YENdXQEO40Xb
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2024-09-24T02:40:44.173150Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1.snap

Key	Value
SHA-1	E7A6A8BA69E311BB9D453A1E8968EDDBD817D0DD
snap-authority	canonical
snap-filename	3KDcsptgRAt86PhcHvTCZH5hKAXWETMp_33.snap
snap-id	3KDcsptgRAt86PhcHvTCZH5hKAXWETMp_33
snap-name	kde-qt6-core22-sdk
snap-publisher-id	2rsYZu6kqYVFsSejExu4YENdXQEO40Xb
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2024-03-21T13:01:19.429364Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/3KDcsptgRAt86PhcHvTCZH5hKAXWETMp_33.snap