Result for 0133B9BEC924BE58973BCB1C432DE3F70C27DEEE

Query result

Key	Value
MD5	78CECA22B73393F904DE88B44EE39F04
PackageArch	armv7hl
PackageDescription	Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. This package provides CoqIDE, a graphical user interface for the development of interactive proofs.
PackageMaintainer	Fedora Project
PackageName	coq-coqide
PackageRelease	3.fc33.1
PackageVersion	8.12.0
SHA-1	0133B9BEC924BE58973BCB1C432DE3F70C27DEEE
SHA-256	93E9D09A961F0BF41BF6D6B78624B66A674749D0DCE3581CA4FB318663254DBA
hashlookup:children-total	22
hashlookup:trust	50

Network graph view

Children (Total: 22)

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

Key	Value
FileName	./usr/lib/.build-id/b5/bec2c64a8760b015fa1cabaf3743ff8db17f7f
FileSize	26
MD5	8174752BABC43D01FD8935A2B1B08DBB
SHA-1	07B17EC9F355BED142E4547ACBF01020151718CF
SHA-256	382D6FD09F754C6796C9A57FFAA814F2F9FCB07A8B1B9F7FAE369F97D1330167
SSDEEP	3:gCDNUU:X1
TLSH

Key	Value
FileName	./usr/share/man/man1/coqide.1.gz
FileSize	908
MD5	0BF30F9B919869D9092233D7FC02C47A
SHA-1	0ED78FD9EEDD79E5D3E18724F1264914D0E25516
SHA-256	715B2460BE3922621DD43018BAEB3FA0EB399135B6F272CD1CFAD1F32BB937E6
SSDEEP	24:XvbBgh3mzMoQNdn8Q4QvO6XEljBIKrEjgrV:Xvb6pFT8CvN0ljnB
TLSH	T181118822D0045728946A332A35758A4171C06039EBFD3E6477779439994F86665D224B
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/share/applications/fr.inria.coqide.desktop
FileSize	195
MD5	99B9639B60541458BB9387DDC989A5C8
SHA-1	17C50F6360724370A90B569D98E1E9B9FF09886C
SHA-256	35A44E86DD2D8DE9F71F7D0467F88D072B8F287AB228615C7F3F8B8CBEDAECC3
SSDEEP	3:ag4z11JxhB7AIq2xHWVPd2sGNGKx9oERMQ7RAThEiuF1EVMMQGkjnjIARL0qVLDv:agO3hVxHWn2TPoc9iuI8jjIAt0uLz
TLSH	T143D022E720080162110A316A4B0288C392BB190E18D88C00F00820269380909D5BB79E

Key	Value
FileName	./usr/share/icons/hicolor/32x32/apps/coq.png
FileSize	2025
MD5	C86F0680EC325242254E47A0F377B384
SHA-1	18F3A7FD59928F4963B4989F5459FDE91B4DE9B5
SHA-256	462F0435446DB257887F75BF4B6A2D46C5F8B5C16F61ED018CD3CB588604FB8C
SSDEEP	48:OYJZlagEtv1pUrVi0aZbqZ5vefIWEXTlewKPhxk3bSTtwsx:OYJ+gev1pUrVucZ5vMIbKPhxkrST1
TLSH	T110412A58BB453DC4F8657E1741D0969422C1683A2928AB9C744A9617A378B3AE3BC0C5

Key	Value
FileName	./usr/share/gtksourceview-3.0/styles/coq_style.xml
FileSize	23
MD5	6DD324E6A2F491C2118B3F951C7E7C38
SHA-1	191A9F53DCD6DFA04BE684AFEAE9F20C8F7EAFE4
SHA-256	05A85F2D6A143A3DF398AA6C608936F6FBB01F21BE928C9E22C99AA8C539530A
SSDEEP	3:4d7w:4pw
TLSH

Key	Value
FileName	./usr/share/gtksourceview-3.0/language-specs/coq-ssreflect.lang
FileSize	28
MD5	E89D1205D1A7AD1CDE8E54130E287F6C
SHA-1	41AD5E5DA189CCC8ABC4435B91D4809E6D99C51B
SHA-256	F10F14C06B84EE39B8CF2B23ACF988CDD74C78E09FC9ED72EDF6CD650CE13F48
SSDEEP	3:4ds+jtKLCn:4y+5Xn
TLSH

Key	Value
FileName	./usr/share/coq/coq_style.xml
FileSize	1441
MD5	3EB03E37D05236B3A49ECB675D284753
RDS:package_id	182052
SHA-1	504B791AB92FD9F15DE11B72CDECBE59CD0A94E8
SHA-256	B6F4BFC21ABA6AEEB569663F750C2CE01CC0DEB89DACF75694F20C8722E4A310
SHA-512	CFBC44C40749D749A613B41B57CAE52913E22D54AFF1117F2CEC133D6BF70FD830A902AACE4D7B6166738E7A7ACC776C70ED30036E476DE4A27D8260D121FBA2
SSDEEP	24:2dky2SVeFhpq+JyNSod+0XgcAR55WMuNwv:c88e1ofE0XgN6E
TLSH	T10621286CBBF10C1853F7C4BEB88178081819E1E15E16E39067EFB834184EAD6382B983
insert-timestamp	1727037182.4660974
mimetype	text/xml
source	snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
tar:gname	root
tar:uname	root

Key	Value
FileName	./usr/share/icons/hicolor/256x256/apps/coq.png
FileSize	22077
MD5	89725A576689D0AFC8727C171A75A2ED
SHA-1	56E15218B4C0ACF480FC0BE95C212E8C898104D2
SHA-256	04EBC4A1DCE8DA4C35EF3B170791911A6AF42FB3CF25213786D5C022B37198B5
SSDEEP	384:T4MEpk3r9IWlLgVo4iqf6i8i0as/yBgvVwZQOZgPf2RibeCdmu7mDxUu3hoRfC0:TmkOWlUOxqm8s/y2vyXOX20bxiNUu3hK
TLSH	T13FA2D1F2D50883AF777E82EC386981B465785EAB20207DC55AEC61EAA5713064FF3112

Key	Value
FileName	./usr/lib64/ocaml/coqide/dune-package
FileSize	44
MD5	D9A533297AD51755C219795654403B4C
SHA-1	59E108DCD6807628024A90F7B1378397D6AA736D
SHA-256	88D4BCB99E100E900926E3936F7276FFB4EA4EBDDEF5A4B52F05CD2134AA494E
SSDEEP	3:tF8grvZy/x2Tun:tSkvZGl
TLSH

Key	Value
FileName	./usr/share/appdata/coqide.appdata.xml
FileSize	1596
MD5	10D9F86E90D0F086383A157FAFD6EDFF
SHA-1	6889785FD9900044A2B41DDED5F3954AAF9B148A
SHA-256	CE4CE466492E40C67F6BCF094E901D435A75D0C864E6CA4290E6D18F3E8DD707
SSDEEP	48:cHm0bupYuYDFSiU09dlZ5don5dbf5dW65dRep0OMyG:4aYnR9DZ5in5tf5s65/L
TLSH	T1F2311CF7D0AFE2F391896413BE35E09EE574DE2C44905286C10C09B85807E888377BBA