Result for 0444CCDA607AF0D003AD4267D2E7F95C94B04144

Query result

Key Value
MD5CC7FEB50ADFCF58F61B9C5AEE1483C99
PackageArchppc
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 emacs mode files for formatting Coq input.
PackageMaintainerFedora Project
PackageNamecoq-emacs
PackageRelease1.fc12
PackageVersion8.2pl1
SHA-10444CCDA607AF0D003AD4267D2E7F95C94B04144
SHA-256966FE68B6E48DFEBD5775EE130F65F30D9C640B8758CFE3BC7010D12CB454FB9
hashlookup:children-total3
hashlookup:trust50

Network graph view

Children (Total: 3)

The searched file hash includes 3 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/share/doc/coq-emacs-8.2pl1/README.coq-emacs
FileSize109
MD54109F76CA82A9694E1E431781358D7CF
SHA-196C2DE4C9001A2A672F68DA3D93A6D2F0127FB63
SHA-256E9A6422F79C800FF962CED9969C29313C2576CE2C1259D14D7C989C85D1F34CC
SSDEEP3:hMCRvF8wtdQFqXMaUAHWOo3FoSMRlaWLn:hzF88Q4YAHWZFoSxWLn
TLSHT15DB01203F8DC2390A794B663BB0C80040B8CE9AC3B325165D21D445DF24C4B0F6BF9D6
Key Value
CRC32B6663230
FileNamecoq.el
FileSize7010
MD54C5493A16889E2B0F361F0A7AC971476
OpSystemCode362
ProductCode12661
RDS:package_id12661
SHA-156379A8A0E948DCB2D35095A4D4A5FBD24AA61B2
SHA-256FEB98955567535D5F09E8B48A0288CF06A1F82D358BA616E62632E59F2033D7E
SSDEEP192:zDC4mw54jeYiogp+bag6fF8hFmwsCbX30P2mq1:K4T55YZ6oagqFwFmwBbXEy
SpecialCode
TLSHT14BE161C22AF325A6674305D23E9DC0E1FB22C5FB2A812C28754F928C4F065D95F6DD2B
dbnsrl_legacy
insert-timestamp1648591848.314226
sourceRDS_2022.03.1_legacy.db
tar:gnamewheel
tar:unameroot
Key Value
CRC32BF4D9612
FileName./usr/share/emacs/site-lisp/coq/coq-inferior.el
FileSize11606
MD56760F9D7587E5A9606458ACD0D2789CA
OpSystemCode362
ProductCode12661
RDS:package_id12661
SHA-174B13F5A82A05EDF51B9C0F7CBD395470BB933E1
SHA-256C0737827E1CC979662F0C2C3E1CF7F7D0D9227C92AAA0230A854F6EF584B77EB
SSDEEP192:UN7CAA1CIC3/0z165AcSCeb+MPRtDEDxkvC9H+SQxns4IA4keaLYvTIlBnHM8KJ6:UNWdQt3/0zI5AcfevPRtDEDt9H+SInsQ
SpecialCode
TLSHT13A32B962FBCA4AA235A7281311CE694D151492EE33F4711077EFC9341B194D5C3A9F8F
dbnsrl_legacy
insert-timestamp1648591848.498364
sourceRDS_2022.03.1_legacy.db
tar:gnamewheel
tar:unameroot