Result for 3C91342E70437C7882678155579330F1000A9583

Query result

Key	Value
MD5	75CB50477A460955974431CACC41074D
PackageArch	aarch64
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	3C91342E70437C7882678155579330F1000A9583
SHA-256	E6418580A2ABD0DB7D18B71706B17A47673321B2D3049CC6F358960FF9FACB25
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/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/icons/hicolor/512x512/apps/coq.png
FileSize	50228
MD5	AB59C323D8B5F90D9552EADE92BDCFE4
SHA-1	1FED72BEA135C5E22B54DD275066A29332D13736
SHA-256	26BC0A63D6E2925E63EA5DCD24D86B5C4935A8C327683FE9C149570E09B49ECB
SSDEEP	768:BZM5y8N2gvcDKfO1Z0bIUqZjSClv0ruJblz8ataz8WimYxVwrDhjVJnieakPrNjZ:B+UiO1GcUHCN0Yw1iPVw5b1zNj9n
TLSH	T19E330123EAC54CD3E15F86F4BA4A35167FA380303AA32B36B550FC6B860E35C87599D5

Key	Value
FileName	./usr/bin/coqide
FileSize	10541200
MD5	66CB88BE153C7CFCDB36AA2F9822F63E
SHA-1	3A6C8FEC0F3A93359695B1AFE47A531D1F7F8212
SHA-256	751B7583B5EE1F3096FCCA22D00DD51622B8F6A0B52C03D17EEA4F03E7F6F80B
SSDEEP	98304:aa1L7y7mDgAl1A25GfoDgcV9wk1Gdnu6kSqOyM4nlKPy1fFjJEETk2G8nQ8+ASrl:amOBAkvC2kcdnwSTlWDW
TLSH	T1C5B63C3FFA4EE86CDEE946B08BA957D3B129F80564D0D3631A5132247EC32D806BB4D5

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/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