Result for B6A17C509AD61FB79D47FBDBCB07AA50064593F8

Query result

Key Value
FileSize4017576
MD59E3EB7C82525E300247A5E991C83F2DF
PackageDescriptionproof 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.
PackageMaintainerUbuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.0pl3-2ubuntu1
SHA-1B6A17C509AD61FB79D47FBDBCB07AA50064593F8
SHA-256C675A04291E47B485FD0D20DD17003CF020659EB176C85CCFAC3AF3949D5DDEA
hashlookup:children-total18
hashlookup:trust50

Network graph view

Children (Total: 18)

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

Key Value
FileName./usr/share/applications/coqide.desktop
FileSize239
MD5095EA9250C4F01922C942CC89C0415E2
SHA-108DA6BD693D41D056EBD56B72FC3430F443DCABA
SHA-2561C70CAA52BD933466A5E2531C5885ABB58177A4667E22AF05A861190928197F1
SSDEEP6:agQM8AwnWBylLEtJ/LDlsQQVxWocDYSsAjmf4NWu:rKdktJP2L1c0Shj84NZ
TLSHT19CD09796F452013D8ABD34668C8AC9C20B9A047800B7B478C83820304000AD2F48EDF8
Key Value
FileName./usr/share/man/man1/coqide.opt.1.gz
FileSize1159
MD57AB4047EEF605217FDFDA42E4764F49C
SHA-11B024F8FF1EA9520D9F404A2DEFA55FA580102C4
SHA-2560A968720841635DB169B22BAB1B6EAA5082C8E5D1D46A01CE5C864D4EB32554F
SSDEEP24:XfUcIsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XfUy4sQUXeEtlaFSDx9mCZ9
TLSHT15721C6D837A2D28016DB43AB5C759B0B076F0B96EF1DCA309373C19AD4BB05748222D0
Key Value
FileName./usr/share/menu/coqide
FileSize139
MD5412DB1B4ADC4BA97ED63B77C351BC2A5
SHA-13FB103B0347AC19ADFDE1CC4DA43F6E40ACDE467
SHA-256139CC93BAD2F0FB2E3F2AE1A4A2633AF014E5080768EF37FE95092BF5BE797F3
SSDEEP3:2RG0HKL9UaD6WHvINWRITHlUUlDhbQfV1pn:GG0UnD4NWuj7lDc1pn
TLSHT182C09B707135D535DE17AA31311502087294E1D145887F8155B3874097519B057577CA
Key Value
FileName./usr/share/man/man1/coqide.byte.1.gz
FileSize1160
MD55DD1BD4AC1F0D5CBA969A0CF7D9DF4DD
SHA-1571D8D7D06B99E05F638BBC7313B60793A5F0016
SHA-256325BBFCAA8C0CB0968066FF25C3785EEADB5E10C5D64F16DC1A45CBA85E3B3AB
SSDEEP24:XfUkvsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XfUt4sQUXeEtlaFSDx9mCZ9
TLSHT12121C6D877A2D24012DB436B5C759B0B076F0B96EF2DCA30D3B3C19AD4AB05748222D0
Key Value
FileName./usr/share/doc/coqide/changelog.gz
FileSize16323
MD5A6583C7C81C88FA283E7015CD301F280
SHA-168999E2895DA2BD279302F0E2E65426FEC3E98CC
SHA-256999660A1F7346AEB6216E4B49ABBCB41CC57972DADCA65534B87BB6B55924ED0
SSDEEP384:7CenFrUyX12Iz77lTCSDbL6NNJbzp5fOSdCz+rhQy5MKsCj+2O2/:75P2IbleCvU3p5LZQy5MKsCV/
TLSHT10572C0B81F9D6731D7BBA6FAD2040EEF4F4701AA4E473E0763E5939C887181048D5A5D
Key Value
FileName./usr/lib/coq/ide/coq.ico
FileSize96774
MD56ECECF60C86A29F7FD89D897A71DF4BF
SHA-169C047D6CBD33A49BF57B0F3ADA5168F03D51B81
SHA-256565C0CDCDE541DE0D1277ECD238078A77007A9B9901C54DB8A6FCAF7E349246F
SSDEEP1536:5Nosy7/zXA1xGQpYKSWTxkoKkUQXzg0hIaOKt7etJYeklsEmAW9XoQb:5Nosy7/zXA1xGQpYRWTqoKkUQXzg0hIR
TLSHT13A937C1FD001C8084EA0146BF5486AFA98455EBDF57F43BBB438FE8635B29BA114EE70
Key Value
FileName./usr/share/man/man1/coqide.1.gz
FileSize1155
MD50140172227FA57246D387896E9DB3E27
SHA-17C9EAB8E908B46971D06AD7CAEBFF4C473015B97
SHA-256A9B1E1B0CE6D003E2C4A5B588C5DFEA66AC5A81FE8BD89ABA5512B9DFF15F761
SSDEEP24:XfU2sy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XfUv4sQUXeEtlaFSDx9mCZ9
TLSHT15321C6D877A6D24012DB436B5C759A0B076F0B96EF1DCA309373C19AD4AB05748222D0
Key Value
FileName./usr/bin/coqide.opt
FileSize6956376
MD521C77C8B9CEE7BB77D8A6CCD40CAF353
SHA-18E7CE302C9A17CCC5EC7005BA7D36FE2B151EA58
SHA-25625FD10D450BFD0F595A4223AF9F523917AF22A7F4EA2B1BE45EDD4EAC6ABEB53
SSDEEP49152:MXEnxnvN5QSNGh2N8xgA9egI9gJgpUWP26SW2hFmCe8SvE4jqoi54mQSRu6i0/dJ:gEnxv0649e8gHNSW2hCvE9y0/dmV123
TLSHT16F66F9773C879E12C13AD230AD874321DA36EC6AA6618F2E7720622D5FD668135CF5DC
Key Value
FileName./usr/share/pixmaps/coqide.xpm
FileSize1496
MD5F308D7DB3F0B91CE244F53B096F9DC77
SHA-1959902D881713824B379049AE4C1E59BA9A8DE9E
SHA-2563B21EEFE7926914EF98F097FC13F074D1B096FC3C410349E43DD7525FBD973F0
SSDEEP12:UGCTIIimIox1u/8GHSv88ga+KA88MoNx5w8woozB83jeNQS1amqebTGR5n9pHviK:j2WmI0D+na+KDpoNx5oNzayI5Rt
TLSHT19E31216B420183D77522D28B6F65B3E9C04C61FE98E6C4012CA931C72A144DF2E90FCB
Key Value
FileName./usr/lib/coq/ide/.coqide-gtk2rc
FileSize1127
MD5F021F0439AC62032D7293B706574892F
SHA-1A11413023552E0B82055A669D9B799686B537AAF
SHA-256D4C8ECF6EA31B05AC027E1EACC5C28149BFFF30BF7A15CCC8E834612B25FD5F0
SSDEEP24:z8Vth+Opk9Uy9T9zQkcvhEjSEz9sJMzLEIPWcGbnzr4b6:4T2zQkcJEjSERFzLEAsn4G
TLSHT109211417652A6C5311370D1009CA91CAFBD5D2E88301A94C4773E63DB25DFAA05BD688