Parents (Total: 59)

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

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	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	674B8FC6AA8EC34793CC614436465BC7
PackageArch	i686
PackageDescription	This package provides debug sources for package z3. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	z3-debugsource
PackageRelease	1.fc33
PackageVersion	4.8.9
SHA-1	0ADFA6E4FF959AE4EDAA21213E9DF7CBF4F47D53
SHA-256	22F3844441DFAB55B461353C9EA7F69FE176F2AE8B8B50C3001BE19335DB1A9D

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

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.9/packages//sparc64//z3-4.8.9.tgz
MD5	3BF5DE5E8E8D7EE43368425EF75EA297
SHA-1	1ED06CF8E27E5CD539B5E64AC3C10EF9EF0BA9B7
SHA-256	BB6602FABEEA60050892CB137EEFD597BB03EB1B9E0E2C238F4A60809405D7D4
SSDEEP	393216:GTtbFfZ51n6udx+RTTmc9TAaOtHywlthpq1a6ObYeAiNeH8N/GATZBY7cpF+/CiU:UFB76uc/9TutxlthEtMNbNVTscpF8Cz
TLSH	T15B3733FE8AB3B6000CD63987BF6A851507934F8F49BB93BD455C9186C88A01CF66FC61

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