Parents (Total: 51)

The searched file hash is included in 51 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
FileSize	6808260
MD5	A3F9606FE9BD7262E35B051488A47B61
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	z3
PackageSection	science
PackageVersion	4.8.7-4build1
SHA-1	03A0A7A84D5E9F53746A632B9ED8F3D9DE6DEA47
SHA-256	A3E38300C98445E84F493D3B07E777E54017395D5C779CBB746CEB62A69847BB

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