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 |