Result for 7B913F0E18009B76BAECCF06303D7D738FF6CF01

Search result
Graph view
Children (12)

Query result

Key Value
FileSize6470648
MD5F9D4DCD76372A702991D78DFC447A1C0
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoqide
PackageSectionmath
PackageVersion8.2.pl2+dfsg-1ubuntu1
SHA-17B913F0E18009B76BAECCF06303D7D738FF6CF01
SHA-256C44ACB626E2139FD864DF9AA783113891BAEB2BD62CCF4186995D94F80A21316
hashlookup:children-total12
hashlookup:trust50

Network graph view

Children (Total: 12)

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

Key Value
FileName./usr/share/applications/coqide.desktop
FileSize198
MD5E1989D5AB456438933926DB995156858
RDS:package_id182052
SHA-167F9921CFC4DCCB7BC983E9752C789699C2FC585
SHA-256CFC285CF553885F6B4B0BE3993132F43C3B32032768AFC231FC5C79CCC7726FF
SSDEEP6:agOF3DJWBylLEtJ/LDlse2xWoc9iu7bD1Y2:rOF3utJP2ewc4wD1Y2
TLSHT190D02295A4400228A9A83011CC4A0DE61E8B093801BA8138E53C00610001ED7E18EEE9
insert-timestamp1679425506.224917
sourceRDS.db
Key Value
FileName./usr/share/doc/coqide/FAQ
FileSize3157
MD51C2921752ACE03CBA4C50882BE1E4CB5
SHA-1FCE22CBB58061A81A228F7E7B399F590F15AE47F
SHA-256C285FFA159D3F2E0DA551CE01DD222EAA2B810768EDD23270EF3C3A2B5054C73
SSDEEP48:v/c8CQlVfRszUCG07lIu1YdM+TX33gzE+cEEkrL7oReg9jhxt6vaItXQDRl0j+qH:v0aVpsbGrqYMi0OKrqn5Rlg3Wi
TLSHT1B151B77B518322752D824171321DC8F6B73E9DBC533399C61C2D4A9C1254B64A3BAFEB
Key Value
FileNameshare/coq/coq.png
FileSize6269
MD5ABDE6D74070949C17ADBB7BAE2CF6C89
SHA-1195DFB6AE1F3B10A67595574D2F5C1FE7F2553D6
SHA-256C76ACCE31B2233E4C38F5E06F9AA3FADFE692DABF46F1E9C8EFEDD8E43460F70
SSDEEP192:Pv3xBRLaO6DyiFZDGB08/3HQNanBJBVRDPtPh4I71E:PvfRZi7Kh/3nn/fdPtyN
TLSHT1D3D18CCC6DE015381766D6E8B3ACD2738DA7F51056ED846E359020922722BF8DE4A7A3
tar:gnamewheel
tar:unameroot
Key Value
FileName./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz
FileSize269
MD50ECA063A774B94A35B2709F6E8E4D6AD
RDS:package_id182052
SHA-101024660E771DD5236B4AB77DFE0050CD2399988
SHA-256B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE
SSDEEP6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13
TLSHT165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904
insert-timestamp1679425887.2617948
sourceRDS.db
Key Value
FileName./usr/bin/coqide.byte
FileSize8975994
MD5DF08FE64F7ED7D4C812DC1A6DCF9715A
SHA-10008CE9A41C8905DFF6F63BB9AA53AEFC9925EDE
SHA-25634443EFE0B99D254782280C6EED336FD2C2ABE92FB55A5C2CE913496A06B68F1
SSDEEP98304:YFlUANNjmIEX33x0KA2L18cYqKCVkC590sqwt:UlUANNjmIEX33x0KA2L18cYq7SK90sqM
TLSHT14696520EB7109DA1C0A60AB6D9D3C3851336EE76AF430B1F249DAA1C29D3B5F6F44749
Key Value
FileName./usr/lib/coq/ide/.coqide-gtk2rc
FileSize1127
MD5F021F0439AC62032D7293B706574892F
SHA-1A11413023552E0B82055A669D9B799686B537AAF
SHA-256D4C8ECF6EA31B05AC027E1EACC5C28149BFFF30BF7A15CCC8E834612B25FD5F0
SSDEEP24:z8Vth+Opk9Uy9T9zQkcvhEjSEz9sJMzLEIPWcGbnzr4b6:4T2zQkcJEjSERFzLEAsn4G
TLSHT109211417652A6C5311370D1009CA91CAFBD5D2E88301A94C4773E63DB25DFAA05BD688
Key Value
FileName./usr/share/man/man1/coqide.1.gz
FileSize1146
MD5EC1499C27A0D3206F8D63E271403E196
SHA-1D82B6A040A3ECE5D2A6EA5698745736C774B41AA
SHA-25643B9B008B96588D41A2CD342843C9DDB3A33E22399CE6640FDA0707FFFD14228
SSDEEP24:XHCsy9sQ6Jj5d8by2EHNleDOm4ivSjjLxC0mCZ9:XHD4sQUXeEtlaFSDx9mCZ9
TLSHT1C321C6C837A2D24051DA436B5C749A07072F0B96EF29CA308373C18AD4FB05748222D0
Key Value
FileName./usr/share/doc/libcoq-ocaml-dev/changelog.Debian.gz
FileSize6482
MD5DFCABC03B71EC2D77B98EA7ADB0EA647
SHA-1007D8A20834B7F33E842178A5590F4DAD01F5CA7
SHA-256B9CDAD23CECE0D48E9927912894DB7FE4AA87959C3E530B55AE8AE5424BB5E29
SSDEEP96:AbzOXOXpXx53hWzmOrt5kRUbQaZaCiHPiPIbims0gWDroefYL68vnFz+NXYT797:xyph5YzmOJqREiHWJm4moa0PFcXYT71
TLSHT1F7D1AEC3D0E691FF86E779A79A8161C1C8540CD375A8C3D6EE154B161C5D342240BA6F
Key Value
FileName./usr/share/menu/coqide
FileSize162
MD5F2431091B7741BE124B0C9D0DD306EDB
RDS:package_id182052
SHA-1D420E1139F84D5C89C7938CB2D428008DEA26086
SHA-256E966CE35D8539A6990FFD46D905F7762DD23D36783D0C3DB6CA04E47B7D028C1
SSDEEP3:2RG0HKL9UaD6WHvINWRITHlUUlDhbQfVwGERMQWYHgq3gHv:GG0UnD4NWuj7lDcwGdh/Hv
TLSHT19DC08CB0B12492758F23EA72B22002087292F0914888AAA0A8B2860097014B01317B9E
insert-timestamp1679425506.2691462
sourceRDS.db
Key Value
FileName./usr/share/doc/libcoq-ocaml-dev/copyright
FileSize1960
MD50B58C75130F2720164A53805C487354B
SHA-1DCD24EF63C597BF837BED5F834BCFC33C0081AE9
SHA-2563E18759F3CC04F8961D41981855E2B54FAAA0032F8ED3E30C69910C7822E3351
SSDEEP48:FA8XqCiCjIejziNC8sIT2kLmpGQaZzeP3cthQmavVi:FAGqZCjvwqk6Nzvcttii
TLSHT19441A426DB5CA3311AA204C161069AC5E76F6B7B1294A190F07C6509AFC2D3472E73CE
Key Value
FileName./usr/bin/coqide.opt
FileSize10539328
MD5D05576E3C28AD528D13A0E4AE46EC5D9
SHA-170E1E19A5F12E6BDCAFEA72A689B9DBA367A83CF
SHA-2562FD23A87F888785C16FB8BEA68AE35578C33566063E81ED9F0F335201B352E57
SSDEEP196608:o2jgFbLJqGOsSTUZE3EBhNnMV51mZRKZoBwZ0Z/Z0Ap/gs/9hdy0TXpyRF67YYtX:oPeGgihG57rivNp0u
TLSHT1E2B6E806F5C8AD79E0074B74489F43E287689E851AF57227854CB6287E703F163AEFC6
Key Value
FileName./usr/share/pixmaps/coqide.xpm
FileSize1457
MD5709CF7B244144C9C8328D574C4DDAF88
RDS:package_id182052
SHA-1E9F2F0850DA2D025424DD9B0FC25207C7F33D953
SHA-2568FCE1389C8415098201170CC7CC5D032B42CC403EB2172D6960F03EEF38E8D43
SSDEEP12:UGCt3oDs0j3Ou9rH/zrbbj30CP44glbGLjqG2IDRR5Cj7TFwn:jy0TCuJbrbbr0MpglpvIDPUjHmn
TLSHT1913148AAE2835D1735BAD543C34BD0F17D0983A38CE47C057E1C39AD632CF41645029C
insert-timestamp1679425506.2314973
sourceRDS.db





metalookup is a service from miwakeru.com