| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Flocq/Core/FIX.v |
| FileSize | 2586 |
| MD5 | 5CA461144633AA36E6D69562DD127D03 |
| SHA-1 | 0B910943C3CB13E50B3383D5AAAED0310EA91AAF |
| SHA-256 | A960805B7D6D61358E4D6BA67C42B02F130B6D21201269162E084F566283292D |
| SHA-512 | 041B52B4D194BE3111FF1B06035D672AFB33560365EAF89A350DBF35B5D3B45439DC9D4B2BE46952E9932DE157CF2B9A65093791222861696274B51759CA892E |
| SSDEEP | 48:AvWFxdyZX5fEDlc+Lxg2dhPy/dlB75BOgmyJkxTwPHxs:cWDKJUlzgakF7DOgq98H+ |
| TLSH | T11251501F9A559736ED865ABAFE82C3D0CF095F44BBD9DD02980EC5790227C3232B16C1 |
| insert-timestamp | 1727037236.6612902 |
| 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 |