| Key | Value |
|---|---|
| FileName | changelog.Debian.amd64.gz |
| FileSize | 222 |
| MD5 | 145362B5B1C03BC2758918203244730B |
| RDS:package_id | 294776 |
| SHA-1 | B2101372BB0832E8908AD0D80B643C0CF61893B7 |
| SHA-256 | 5753D223E07DC7A982BA7088E7712B30F40C1B188CB1F1332DCCB49F24EE654F |
| SSDEEP | 6:Xt0SN5wY+a4NuofzXqro+/KtS+9v897kKu3IyDQ6azf:XX4J95bU+O9gKu3pQ1f |
| TLSH | T1ADD0237D90334CB6603E42F603EB0818601D0C30402040C22F0303C310C730833C3754 |
| insert-timestamp | 1696442263.2192564 |
| source | db.sqlite |
| hashlookup:parent-total | 3 |
| hashlookup:trust | 65 |
The searched file hash is included in 3 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_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 |
|---|---|
| FileName | libz3-4_4.8.12-1+b1_amd64.deb |
| FileSize | 6996716 |
| MD5 | B7BDE54BE7D92D6893B016C4BE1C93DA |
| 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 |
| RDS:package_id | 288587 |
| SHA-1 | FCD05291F2D3D8BDA83183C2CC0E8615F6D26CE9 |
| SHA-256 | B415B863678625DEE3F3C75BD48B1B9E3B6E11279EBEC337904D7F09630D107F |
| insert-timestamp | 1670545111.3418539 |
| source | modern.db |
| 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 |