Key | Value |
---|---|
FileName | ./usr/share/emacs/site-lisp/coq/gallina-db.elc |
FileSize | 6335 |
MD5 | C94B99A061C57EEE6F527CA2BD704A46 |
SHA-1 | BCDD3DEAA0BEB7EBB7E8B3D573943312FB5C9E09 |
SHA-256 | 1AD2F0217FB871BC2588E8E830665083BF3DA1C06A4B6DA2F10BE5E3A0BAFD92 |
SSDEEP | 96:MN+f847BwpN5AwdIapJTjXfdtRbUuaLlDE46Cxp0iJOcRgQ2ZysmZiL8IWfG6Lj1:1nwpRnTjXTwmCxOEOcRg1L+1Vfv4Oz |
TLSH | T155D1E97A32819BB6465211F2A426D7E5A745E2D4277E0807299CC3942B011FCE3FFE8D |
hashlookup:parent-total | 1 |
hashlookup:trust | 55 |
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | CF4B4FAF7C5744CB24BC47F07A6A1A02 |
PackageArch | noarch |
PackageDescription | This package provides GNU Emacs mode files for formatting Coq input. |
PackageMaintainer | Fedora Project |
PackageName | coq-emacs |
PackageRelease | 1.fc24 |
PackageVersion | 8.5pl1 |
SHA-1 | C79DCB25F290C605C7E3925606C1803459F77707 |
SHA-256 | D973AD214B27809DC9EAAF747412D8B9DD0D5A94138BAF71E809CD8CB8464A48 |