| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Flocq/Calc/Sqrt.v |
| FileSize | 5436 |
| MD5 | C49A534A23881852786DF5D5CFC7E5F3 |
| SHA-1 | 06203B0DA43CBAF93685BCE2E163A916B07FBD14 |
| SHA-256 | D27C0E49F4AE00C7DEE3F675F183582FDB6CCA3E603052AFB7E814E2DFA952A9 |
| SHA-512 | A6DDBCBC2F8AE5AE7DD844C4C0240925F8A78EC54DDD88D333ABFCE21DCED3B3DFFD3B60F8D72DF2A39DF507D00E634BF50A3F4B6DD71F912B401B316691B549 |
| SSDEEP | 96:kWDDLl7UPD3rTPTBDpE8sxXe0ONAiuMKDgrzcAcP9rVrA5ful:zDDLSbnPTBpyD8AiuMKDgrzcAcP95Ye |
| TLSH | T189B185573A08023445A9E8FDFE58B381DC15EE14EBE8A609196EC46D2325F7883B39C2 |
| insert-timestamp | 1727037237.0099714 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
| 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 |
|---|---|
| SHA-1 | FA862AB6A960556E431702F09BC2C3D262D41D36 |
| snap-authority | canonical |
| snap-filename | o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34.snap |
| snap-id | o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
| snap-name | coq-prover |
| snap-publisher-id | oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2021-02-26T01:53:46.711754Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34.snap |
| Key | Value |
|---|---|
| MD5 | FD0FDF4701AB8224F0DDD5B024211ABF |
| PackageArch | s390x |
| PackageDescription | This package contains development files for Flocq. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | flocq-devel |
| PackageRelease | bp156.1.4 |
| PackageVersion | 4.1.4 |
| SHA-1 | E0878E1D5C27187E53C389C968A978D02BC30CEF |
| SHA-256 | 7BFAC3819F25E7019159B79343786482C2AD2C6F74734D8FBD072F465180108A |
| Key | Value |
|---|---|
| MD5 | C468DB889702FB200CCA7D53AE2CA820 |
| PackageArch | x86_64 |
| PackageDescription | This package contains development files for Flocq. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | flocq-devel |
| PackageRelease | bp156.1.4 |
| PackageVersion | 4.1.4 |
| SHA-1 | A77CEFB14D933DA36926030E629D1C4F7C57ABB6 |
| SHA-256 | 590DF08DE04F06FC685A8ACF8071F40013EE58AF19A00C21DD205C7CE136D2E3 |