Result for 1C1B5CB3C81E6FF7F7142DAC7C4AF31D13D11617

Query result

Key	Value
FileSize	4930404
MD5	F93B11427AA71EFB6BF317292904197D
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-1build1
SHA-1	1C1B5CB3C81E6FF7F7142DAC7C4AF31D13D11617
SHA-256	E3162F1CC1ECE28B4EE46CE8573A9120DE0DAB504CA50F71031E465DB02877E5
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/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/bin/coqide.opt
FileSize	7037112
MD5	5015FE62B5225FF4AEDDDA97BD428FC1
SHA-1	580DAB5AEA31986CE077897AE2663F57B9AD3BE7
SHA-256	A2453169DBCDEAE9FE3532839022AA0024BFA4681D9362715ABA2CD52F4223F0
SSDEEP	196608:PHwYUr4/US0hgLe5B3TWol228tnJpfmBZWF28kfQwNFB:PHwYu4/UhgojB
TLSH	T1CE661CA6E8430878E27A4F3296B7937B7F718A4111518336C260F4D63E5B2B7231E6DD

Key	Value
FileName	./usr/bin/coqide.byte
FileSize	8933138
MD5	3081D2E6F50C3C1665F11E8218E20F72
SHA-1	D7DDBFCE6D440D4B881FBABB8C1F386707A62C87
SHA-256	6C1CD3365AF443BD3B575F79FF1FE8A8FF37660F345491171F5EFE3AEAA73CD0
SSDEEP	196608:5zr4p02j0oUzNNR1K7Ag4e8yXeUNA4vCHr0HWCeZW:5zr4p02jLUpQHWk
TLSH	T1F696540FB7109DB1D4A60AB2C9D783811336DA76AF030B2F259D5A2C29C3B5F6F54789

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/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/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/changelog.Debian.gz
FileSize	4854
MD5	FDDB17689F4077DB21E2670073208B8D
SHA-1	22224097BA5197508FD78BE33A7D15477171EBD3
SHA-256	45ACDCECF7ABB67A6BD0C027A8FDFDAE7A1B4A131FAF23BA9D268C9BE6CAEA18
SSDEEP	96:i7pQq3qpu/ce2+EAbTnNq2ykMD/toTa7XXxp9JYnkU6ioFGnBH/1IQYDuDQU7:0za8r7bOkMLnXXxEkjioFGngaDQE
TLSH	T1AAA16DC45DD2CDF8AE318DF8BB9C53D08999E5A4446532DA99881588C3BD2AC4D8F309

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/man/man1/coqide.1.gz
FileSize	1146
MD5	EC1499C27A0D3206F8D63E271403E196
SHA-1	D82B6A040A3ECE5D2A6EA5698745736C774B41AA
SHA-256	43B9B008B96588D41A2CD342843C9DDB3A33E22399CE6640FDA0707FFFD14228
SSDEEP	24:XHCsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XHD4sQUXeEtlaFSDx9mCZ9
TLSH	T1C321C6C837A2D24051DA436B5C749A07072F0B96EF29CA308373C18AD4FB05748222D0

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/doc/coqide/changelog.gz
FileSize	19965
MD5	4A34DE907E3B06EEAEDD1FE246E4BF22
SHA-1	4D08C6969603248A8EC1C5665F8C1D017AF1A732
SHA-256	4397B8B94D2192673D1291EC57C7C5E5F09B5928266C88D2AE024ACD6B082986
SSDEEP	384:Nlh4cMjvw2ek3wu7q4EVMcwtsVUApsJkVoWUG5XIt0fz3B7AR2t9jR4:N/TVk3wCsVMZyVTpDVoEJAM3m
TLSH	T10892D098A7EA8C6E3DEE3C4031B79814F30F4BB691A0A631D5D1731E5689629DCE0C1F

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