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	7737496
MD5	BB43FBDA31858377AF1A22170672B748
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.10-1
SHA-1	11E6036C1D38D9B5F2EB613506F981741EDCE215
SHA-256	02677DC835B05DF5324882698F823921EA69E85E0942C2C7E6232AE561220A99

Key	Value
FileSize	90836
MD5	A0300517E581CA8E6E2D0A870D6A5445
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.10-1
SHA-1	2D62EDFBEC4EB339D95BFBB99572C5A509EC2794
SHA-256	59D538822F861B4F1D1BA7CFBEA01B8D6BC459F7D6C94D2DCA48366CA179F514

Key	Value
FileName	libz3-4_4.8.10-1_amd64.deb
FileSize	6949460
MD5	3FAAA8CBAE50175E062EF4FA010FB093
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.10-1
RDS:package_id	263919
SHA-1	302AFA0C1F5B11D6528EC765C7338A208F004829
SHA-256	7A38C2DD985EB9315857588EE06FF297E2B16DE159DEC85BD2777A43EBE9F458
insert-timestamp	1654969058.7964523
source	modern.db

Key	Value
FileSize	5974420
MD5	6670A7C5B85F450DBFAB0359E0EF99A0
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.10-1
SHA-1	3157B8B8603E628FB3DCE7CFCE8D1F74ACEDD61B
SHA-256	72339202C63F0DBBE2040BC42B42C1C6894323ECDF7AFED862325512EAF65AE5

Key	Value
FileSize	7758716
MD5	2F566C606BBFE0B67F59DEDFF616A8D2
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.10-1
SHA-1	3D0CBB1B0EEA53096AEA39969468535B44FFEBD7
SHA-256	206B44B0454FDB3CCA8169161756720A8FDA5CDE6A7A9CBD87EA6A2D2B559587

Key	Value
FileSize	6002608
MD5	B31CB4EDDE267E18ABC9C692A07262BF
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.10-1
SHA-1	46F8A1F0A845B886F9886A2B1565CED68CE9C33A
SHA-256	340850AE28E31861DDEFF3ED6DD37F48B97F0466E308BE2D5E8926C28C43034C

Key	Value
FileSize	6125564
MD5	57ECADC6BF2CE5F5FAD1D359A410F218
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.10-1
SHA-1	50CA96A2974ED29BB58A09EA184895A1CD8A0EC0
SHA-256	53D210E6090825EDCB4B0F4673BEA5BF29C527D266840F651553E2308251BAD9

Key	Value
FileSize	5678436
MD5	B8B4A84055471AAF5C2F7B7A0C66CA8B
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.10-1
SHA-1	51E23981EE1502C517BCAF7921DDA1BAEB19D6FF
SHA-256	49669B64EEB311091AB7F39423B64A09CCB7A0188B5E15D8674363634ACACC67

Key	Value
FileSize	6045080
MD5	1DAC7935DF50B13F4D70C482B76B37E3
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.10-1
SHA-1	54BDD16578A28A8050986536A32BE7F0E92D00F6
SHA-256	CFBA1AEFA12D9452CE98BA70FB53DA035549ADCE32CDFE045F97C0430DAD0779

Key	Value
FileSize	90828
MD5	C564909DA9002F674AB93640449E13D5
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.10-1
SHA-1	5993F03382AB66C836AFC0AD2865076EF1E4CE00
SHA-256	7EBA382D68519974FE2762EA8AB0310224544BF27ED0080178D0480E9576E1F5