Key | Value |
---|---|
FileName | copyright |
FileSize | 2283 |
MD5 | E803A46FEB27E4B26C5F7F4886E92982 |
RDS:package_id | 304063 |
SHA-1 | 6ADC491850496FB90A63DDCE783794ADE53EFEF9 |
SHA-256 | 807F874C81A0DBCE7D4E32B1A4E1EF1E094B9A3FE8579F34E60FDA4F2077289C |
SHA-512 | AE7E30C28FEB4D7AD1ADFAC42D37FDB0C02A5BA72B0C3253FFC71DD41BD788A8EA1C19AB652603F61FEFBA0B3DB65344A44C26BA2AA5D16CC2AF004098A2755C |
SSDEEP | 48:i4D0a3yyJLl/El5wH0s5ANU3oWFiZpwGoyvHq+nxi8:i4D0azcbwHFoVZpVrRQ8 |
TLSH | T12841A30E324087BB1A4133E03956A8CEF33BB29775AD5580740EE38E9B2647952FB498 |
insert-timestamp | 1751766817.726123 |
mimetype | text/plain |
source | RDS_2025.03.1_android.db |
hashlookup:parent-total | 59 |
hashlookup:trust | 100 |
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 |
---|---|
SHA-1 | 0050D0AF641E4C64E3EC5FC2F4823F41B84E774C |
snap-authority | canonical |
snap-filename | QJDddJRO4XvOYwrRgSURkM2OpNYalNiu_13.snap |
snap-id | QJDddJRO4XvOYwrRgSURkM2OpNYalNiu_13 |
snap-name | ros-humble-ros-core-dev |
snap-publisher-id | canonical-robotics |
snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
snap-timestamp | 2024-01-30T10:23:51.232707Z |
source-url | https://api.snapcraft.io/api/v1/snaps/download/QJDddJRO4XvOYwrRgSURkM2OpNYalNiu_13.snap |
Key | Value |
---|---|
SHA-1 | 027B45A92898940FDD34DA67D0FD6C7251D2F18B |
snap-authority | canonical |
snap-filename | XczsXl04WviE3wUp5pG2YPZxJvOQNdeF_1.snap |
snap-id | XczsXl04WviE3wUp5pG2YPZxJvOQNdeF_1 |
snap-name | vulcanexus-discovery-server |
snap-publisher-id | 3fOhHPMSqKv52Eeo76s9drer56Eme6yI |
snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
snap-timestamp | 2023-04-10T12:16:33.873005Z |
source-url | https://api.snapcraft.io/api/v1/snaps/download/XczsXl04WviE3wUp5pG2YPZxJvOQNdeF_1.snap |
Key | Value |
---|---|
SHA-1 | 12E04884E33CC0359D18A332AE6216DC83660996 |
snap-authority | canonical |
snap-filename | XczsXl04WviE3wUp5pG2YPZxJvOQNdeF_4.snap |
snap-id | XczsXl04WviE3wUp5pG2YPZxJvOQNdeF_4 |
snap-name | vulcanexus-discovery-server |
snap-publisher-id | 3fOhHPMSqKv52Eeo76s9drer56Eme6yI |
snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
snap-timestamp | 2023-04-10T12:16:33.873005Z |
source-url | https://api.snapcraft.io/api/v1/snaps/download/XczsXl04WviE3wUp5pG2YPZxJvOQNdeF_4.snap |
Key | Value |
---|---|
SHA-1 | 15B140815066B16F1F6570F3F83B69D4067ECF95 |
snap-authority | canonical |
snap-filename | FujKeFMeMxXxoq7wRQKGKIaAJi3ZHGkA_33.snap |
snap-id | FujKeFMeMxXxoq7wRQKGKIaAJi3ZHGkA_33 |
snap-name | ros-humble-ros-base-dev |
snap-publisher-id | canonical-robotics |
snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
snap-timestamp | 2024-01-30T09:56:17.307954Z |
source-url | https://api.snapcraft.io/api/v1/snaps/download/FujKeFMeMxXxoq7wRQKGKIaAJi3ZHGkA_33.snap |
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 |
---|---|
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 |
Key | Value |
---|---|
SHA-1 | 398BD00A7A02D6A58A04D7C0AF7BB35590F42F12 |
snap-authority | canonical |
snap-filename | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_185.snap |
snap-id | 2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_185 |
snap-name | imprimis-game |
snap-publisher-id | K7kicpmP9jRVgz9rkXviNV2cAS2rTbyZ |
snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
snap-timestamp | 2021-01-09T06:59:59.526204Z |
source-url | https://api.snapcraft.io/api/v1/snaps/download/2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_185.snap |