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 |