Result for EABC06F09EDBFB0BDBEC489135E24C851013F21F

Query result

Key Value
FileNamecoq.spec
FileSize20450
MD51F99F43A571F70E58055C12E182BE192
SHA-1EABC06F09EDBFB0BDBEC489135E24C851013F21F
SHA-256B6CF997BBFB4C448855803BD96D506993A40C335049E459A9D5D800A59A84201
SSDEEP384:fI4CJRdWp2ipP11dKBiUU1MVakRJJMW1O4hmZWBENPXMdWGpXD8:fVCkPhKQUU1MVakR+LN/MLS
TLSHT19292197266CCA5A276467AA7B1717501BA3EA03BAE7EE05970DC02082703D24F27F5B5
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

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
MD59274B8ACA7CBE54EF7EE7BDCE4465FD1
PackageArchaarch64
PackageDescriptionCoq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainerFedora Project
PackageNamecoq
PackageRelease4.fc23
PackageVersion8.4pl6
SHA-10C1503F51138E2172F823E6D5F3324485476AC57
SHA-256889D703C9A0B17635FEAC4142F2A8E3D8C777CDC4D492138D1C19BDFCB16FCE7