Parents (Total: 27)

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

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	7276916
MD5	0E04F3530873C620B5361AADB7707A33
PackageDescription	theorem prover from Microsoft Research 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. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.8.12-1+b1
SHA-1	1ECCDC8DC5E9DF966B0E583DE172E5BED20B1CD4
SHA-256	E85BABF30E26F9C5C523E6A25D77585C175CC0E6AA5F8B74BC8146DC623250F2

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	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	6309908
MD5	AD875BF0D594FB68006F5C035D098630
PackageDescription	theorem prover from Microsoft Research 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. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.8.12-1+b1
SHA-1	3D3DC46D8BA31093F67A661207AF85E5F2C0C536
SHA-256	E628330482E4DD4DE708CCDF3473AFC22A90B3DC72540DE405B13C70C7126580

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
FileSize	7012200
MD5	A3B83E0C87845DEF3BEB69CCB06B2FFF
PackageDescription	theorem prover from Microsoft Research 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. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.8.12-1+b1
SHA-1	5F382F7E4C8DF4BB6AC208C7901603F6BE817067
SHA-256	AD6329B1D22BBE74CAB74FD5A2927CB08956E8BEE714ED208FEC1B94EE0E01A4

Key	Value
FileSize	6058388
MD5	D2244450E9F9121A7940A5BC79D16EC5
PackageDescription	theorem prover from Microsoft Research - runtime libraries 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 contains runtime libraries. You shouldn't have to install it manually.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	libz3-4
PackageSection	libs
PackageVersion	4.8.12-1+b1
SHA-1	6291C24AADB58CB8BDBA31DD905033F61063B891
SHA-256	7FEF0FCA719C1A29F8E14AFD85ACD78C4B379DDA70086AFBCD78D57C0FEC2E49

Key	Value
FileSize	6039420
MD5	07907E1273F3FBA22F6A3CA0CDCA6348
PackageDescription	theorem prover from Microsoft Research 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. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.8.12-1+b1
SHA-1	661EC524ED57D2E5B6F11CB77031257958BF06B4
SHA-256	548FA74FEC6D11193ADEA89D88158D468E8C531625F88FC504D9636D6B8D7A79

Key	Value
FileSize	6084432
MD5	7EE0A1EAA971A0D33D31F7CF5DD4BEFD
PackageDescription	theorem prover from Microsoft Research 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. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.
PackageMaintainer	LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
PackageName	z3
PackageSection	science
PackageVersion	4.8.12-1+b1
SHA-1	7109803C9C991CF73271867ED6965D270D438A5D
SHA-256	F24693A3A6DC5D910E14FDF7892C1136761358E60C1B087A23B60EC7AF692739