Result for 43ED5FCB627BEBCFB98024A2E395B78D0826A826

Query result

Key	Value
FileSize	5222074
MD5	7D1EA9A0B140015EBD2892EFF8EE4021
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	43ED5FCB627BEBCFB98024A2E395B78D0826A826
SHA-256	787BD63A42A87136EEC8082DDEDFAA105BAD5043534C7B6BB5D30CDA18970942
hashlookup:children-total	17
hashlookup:trust	50

Network graph view

Children (Total: 17)

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

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/lib/coq/ide/utf8.vo
FileSize	4802
MD5	7AEAEEC896861A451C9AC910566A8075
SHA-1	2DE38F508DA9BBAD792D113822F41317EFCAA851
SHA-256	7BF26374115FB24BBC2561C94A05764F62BF08273A0A6B8359498BA1870B1860
SSDEEP	96:8bpkgtgIT5F7mAvKcKRtBCTq8DSHkPMcdh+:8bpttBTDenaRD+kPMcP+
TLSH	T1FEA1112D352BD84702F808B5C666E598CB0947D05CECD989DB0D67F90FE07F68A8A687

Key	Value
FileName	./usr/share/man/man1/coqide.opt.1.gz
FileSize	1159
MD5	403C86B70F5694962F1F311B5AE26DD3
SHA-1	3699508F44CE971B822D33CC760E210D467D5D2F
SHA-256	40BA3BACE1478F31246939A873186AC5EA55DCC505EE9D9B612F65359F964BC3
SSDEEP	24:XkcIsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xky4sQUXeEtlaFSDx9mCZ9
TLSH	T1A721C6D837A6D28016DA43AB9D749A0B077F0BA6EF19CA319373C19AD4BB05748222D0

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	CF263392B46621E4CDBB959160D9D220
SHA-1	50A222C375DE117A74ACE9323A3E0F3079BB242C
SHA-256	0171A323C83128EBCA3A2CAD1CA9CC1E66E155DE23D797C0E00925434793F1F5
SSDEEP	24:Xkkvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xkt4sQUXeEtlaFSDx9mCZ9
TLSH	T15721CAD877A6D14012DA435B5D749A07077F0BA6EF19CA31C373C19AD4AB05748121D0

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/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/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/bin/coqide.opt
FileSize	8861280
MD5	8C3B2ECEE3E10A217E9F26D93DB9B5F5
SHA-1	ABE8511F9DFB09971EAA05CDFF793D0E46556AB7
SHA-256	6626474DA0D2D0F64A795C60E399F83D7E11A01EC6CE73656DE446900C49F5D5
SSDEEP	196608:iHHzj26JbVEynrzOWiLQmm1kM+MsiGzeT6po6loN:iHTjt
TLSH	T1F896D897A8C189BAC6BED939C6E925337EF238640771B71219D063112F138F90B7E791

Key	Value
FileName	./usr/share/man/man1/coqide.1.gz
FileSize	1155
MD5	6F17A45928372E89EB42EFD14224D3E7
SHA-1	C2D7E43EB7FCFF56C3A5A1DA3041870674F0C299
SHA-256	2E3E85FD6122D1C617CB70C3B926A2A37864825D09D0E06F511D2EA81FBB7A12
SSDEEP	24:Xk2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:Xkv4sQUXeEtlaFSDx9mCZ9
TLSH	T1EE21C6D877A6D24012DA436B9D749A0B077F0BA6EF19CA318373C19AD4AB05748222D0