Result for D470549A48279FE42437DB81201FEB9C24D0B3EB

Query result

Key	Value
FileSize	2413582
MD5	5A406AB3E54BB53432EFBE128DFB8257
PackageDescription	proof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1
SHA-1	D470549A48279FE42437DB81201FEB9C24D0B3EB
SHA-256	4FA7D74E592DC1A418873196E51AE30A15C7238FB4E92C07756ABEC2EBA51D24
hashlookup:children-total	15
hashlookup:trust	50

Network graph view

Children (Total: 15)

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

Key	Value
FileName	./usr/bin/coqide.byte
FileSize	8895967
MD5	DBEA602C48FC13171B65D8118713066F
SHA-1	574C2B92EBB587A605E52C063430CCB4624BCE52
SHA-256	C3BDA446193426F315B719863484576BA56701EE0D52E9894277D5532876CB65
SSDEEP	196608:pHp4pXUjdGUaNNR1K7Ag4e8yXeUNA4vCL4LhEUqQYE:pHp4pXUjgUWYhEUl
TLSH	T1B096430FA7109DB1D0E64AB6C9E783811339DA76AF030B2F259D5A2C29C3B5F5F44789

Key	Value
FileName	./usr/lib/coq/ide/index_urls.txt
FileSize	21782
MD5	40AB9C579443B38A97BFB5713D056563
SHA-1	E8F2B154FCCC16FD77613A7AB33AF3EC18C95761
SHA-256	D1711CCF191B228ADE89E2496C16574E6EEE8D728519FA2D1EC118EDF2E8E381
SSDEEP	384:sCrC0RsGBdFO52BSHlwsQq/H4gFUtrQOM4pzCr4tH:sCrXLPFO52QlwsQq/Yx5R
TLSH	T182A2DB907F58DFAA97AD489C31EBE102BE585D0FD6EEBD627DF68029471131630303A6

Key	Value
FileName	./usr/share/applications/coqide.desktop
FileSize	213
MD5	9018E265554613E6649B9DFE7DB59991
SHA-1	74F5A840A0355EF18F9714EA0FE48A34AEAB93E3
SHA-256	A4A2E2E545508491F61EB0C18F35DAA4493556EDD18C2DF2A072CE13560B6871
SSDEEP	6:agQM8lF3DJWBylLEtJ/LDlse2xWoc9iu7bD1Y2:rKlF3utJP2ewc4wD1Y2
TLSH	T156D02356A441012855683016CD5A8DD61EDF05380077513CD93C00610101FC7F58EEE5

Key	Value
FileName	./usr/share/pixmaps/coqide.xpm
FileSize	1457
MD5	709CF7B244144C9C8328D574C4DDAF88
RDS:package_id	182052
SHA-1	E9F2F0850DA2D025424DD9B0FC25207C7F33D953
SHA-256	8FCE1389C8415098201170CC7CC5D032B42CC403EB2172D6960F03EEF38E8D43
SSDEEP	12:UGCt3oDs0j3Ou9rH/zrbbj30CP44glbGLjqG2IDRR5Cj7TFwn:jy0TCuJbrbbr0MpglpvIDPUjHmn
TLSH	T1913148AAE2835D1735BAD543C34BD0F17D0983A38CE47C057E1C39AD632CF41645029C
insert-timestamp	1679425506.2314973
source	RDS.db

Key	Value
FileName	./usr/share/doc/coqide/changelog.gz
FileSize	19975
MD5	CD5CC90302B2D23083FC8C05DEDE8FA1
SHA-1	192EAB9E17B073E59902B87320CDD3041F3F81B3
SHA-256	B3796CECC3C90E59E2C3AC89C3C4B151CCF48FB96884D5FFFF596E1BE94B61E6
SSDEEP	384:nlh4cMjvw2ek3wu7q4EVMcwtsVUApsJkVoWUG5XIt0fz3B7AR2t9jR4:n/TVk3wCsVMZyVTpDVoEJAM3m
TLSH	T1F992D198A7EA8C6D3DEE3C4031B79814F30F4BB29190A631D5D5731E5689629DCE0C1F

Key	Value
FileName	./usr/share/man/man1/coqide.1.gz
FileSize	1155
MD5	C591761650D0A42E90087C904FFD546A
SHA-1	84EC2DDFCA31D6517AB979688F3500C5543425B3
SHA-256	A0A540FC1AE38EDF19886420C2F71F9BE1911074EED93A843E7AE48C5782A782
SSDEEP	24:XpS2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xsv4sQUXeEtlaFSDx9mCZ9
TLSH	T18921C6D877E6D24012DA436B5C749A0B077F0B96EF29CA30C373C19AD4AB05748222D0

Key	Value
FileName	./usr/share/doc/coqide/FAQ
FileSize	3157
MD5	1C2921752ACE03CBA4C50882BE1E4CB5
SHA-1	FCE22CBB58061A81A228F7E7B399F590F15AE47F
SHA-256	C285FFA159D3F2E0DA551CE01DD222EAA2B810768EDD23270EF3C3A2B5054C73
SSDEEP	48:v/c8CQlVfRszUCG07lIu1YdM+TX33gzE+cEEkrL7oReg9jhxt6vaItXQDRl0j+qH:v0aVpsbGrqYMi0OKrqn5Rlg3Wi
TLSH	T1B151B77B518322752D824171321DC8F6B73E9DBC533399C61C2D4A9C1254B64A3BAFEB

Key	Value
FileName	./usr/share/doc/coqide/changelog.Debian.gz
FileSize	4795
MD5	62F5A84BE8F88B4371CFB200AD1DF092
SHA-1	550560F79A9AEB7FBCE82990E1696F45DFB5340A
SHA-256	96378620B9879D54E14D45E8A4FBC72B4B42F76DC42A38008D1F4BEBFD685E78
SSDEEP	96:QrEkRqvvjSQwSewmImGj1PWTja6LC1mgviJHYUxk+uOJTInDe0vAq3b3PFVD1C:CLGjdQ5GBaJu1mgv6YUxkLAI/3rns
TLSH	T1EFA19E6ECBB38520F0A55874A1B824233A8183108223F3FB1C796F12E58D1C8EEED453

Key	Value
FileName	./usr/lib/coq/ide/coq.png
FileSize	9101
MD5	732A6D60BA0555D2F35A9A0321DB522B
SHA-1	93F133E896408DB926A27CCC63E54ECC1B80D68F
SHA-256	B68D530CDD67A4AEE5C3A5534D9AB20D0AB787A2448C1FF748131F3F97084045
SSDEEP	192:YtpSBVfuL5AeIMQDgA2+3cxCG5y5T9otl0GA5M6/gohTN:YtpS7IQDgA2+sr5ytaaS6oohN
TLSH	T1F112BEA10F1E307D62F2E9F865B9ECAE0186B13C47AD8BE68772107441568094AF8F37

Key	Value
FileName	./usr/share/doc/coqide/utf8.v
FileSize	2445
MD5	71D0D24818BEAA4246DBD22754C160CB
SHA-1	DF414B069513A18F5C59D4F89EE5C4E8DB73FD88
SHA-256	0EF32DE686C5AB9F51B7E3005F546C493911396E7A9DDDEEC624897BB3D0BD65
SSDEEP	48:kJcNaciyzBrX1QuT9J9PeAi/AWzQ1BMrarYREGN1lmv:kJcN1iyzBLCS9jWZ/Vc/+ThY
TLSH	T18251D67C0055AF26A7E719A236042ECC1732C4C50A5A9CA5B91CBBFC079D7FACB4D785

Key	Value
FileName	./usr/lib/coq/ide/.coqide-gtk2rc
FileSize	1127
MD5	F021F0439AC62032D7293B706574892F
SHA-1	A11413023552E0B82055A669D9B799686B537AAF
SHA-256	D4C8ECF6EA31B05AC027E1EACC5C28149BFFF30BF7A15CCC8E834612B25FD5F0
SSDEEP	24:z8Vth+Opk9Uy9T9zQkcvhEjSEz9sJMzLEIPWcGbnzr4b6:4T2zQkcJEjSERFzLEAsn4G
TLSH	T109211417652A6C5311370D1009CA91CAFBD5D2E88301A94C4773E63DB25DFAA05BD688

Key	Value
FileName	./usr/share/menu/coqide
FileSize	162
MD5	F2431091B7741BE124B0C9D0DD306EDB
RDS:package_id	182052
SHA-1	D420E1139F84D5C89C7938CB2D428008DEA26086
SHA-256	E966CE35D8539A6990FFD46D905F7762DD23D36783D0C3DB6CA04E47B7D028C1
SSDEEP	3:2RG0HKL9UaD6WHvINWRITHlUUlDhbQfVwGERMQWYHgq3gHv:GG0UnD4NWuj7lDcwGdh/Hv
TLSH	T19DC08CB0B12492758F23EA72B22002087292F0914888AAA0A8B2860097014B01317B9E
insert-timestamp	1679425506.2691462
source	RDS.db

Key	Value
FileName	./usr/share/doc/coqide/copyright
FileSize	1958
MD5	A13A2E0102010E581DE099F43972EADB
SHA-1	37ADB099BFB6B10E1B5DC8FAA33D731368C458C6
SHA-256	BEF0DB6CCCA033C02780A22C74468DEFC27422A03FE208987C3E3E65ADF12F40
SSDEEP	48:FA8XqCiCjIejziNC8sIT2kLmpGQaZzeP3cthQmavVT:FAGqZCjvwqk6NzvcttiT
TLSH	T18941C626DB5CA3311AE204C16106DAC5E76F6B7B1294A190F07C650DAFC2D3462F73CE

Key	Value
FileName	./usr/share/man/man1/coqide.byte.1.gz
FileSize	1160
MD5	3886AF2AA9A20BE861E45D21540A94B9
SHA-1	C1B59AF9D0E29062FD745DD9AB983A59FBAEB370
SHA-256	2586616E78D5EF92C5740F9A4BBC1F48A318BB35666DDE2E6964704E68864779
SSDEEP	24:XpSkvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xst4sQUXeEtlaFSDx9mCZ9
TLSH	T18F21C6D877E2D24012DA436B6C749A0B077F0B96EF29CA30C3B3C19AD4AB05748222D0

Key	Value
FileName	./usr/lib/coq/ide/utf8.vo
FileSize	4802
MD5	7AEAEEC896861A451C9AC910566A8075
SHA-1	2DE38F508DA9BBAD792D113822F41317EFCAA851
SHA-256	7BF26374115FB24BBC2561C94A05764F62BF08273A0A6B8359498BA1870B1860
SSDEEP	96:8bpkgtgIT5F7mAvKcKRtBCTq8DSHkPMcdh+:8bpttBTDenaRD+kPMcP+
TLSH	T1FEA1112D352BD84702F808B5C666E598CB0947D05CECD989DB0D67F90FE07F68A8A687