Result for 1AFA7C97D5564ED5491914AB485355DBE5F05B00

Search result
Graph view
Children (15)

Query result

Key Value
FileSize1891522
MD5CB7D9EE933D0A3ED18A31F1F382F0480
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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoqide
PackageSectionmath
PackageVersion8.6-4
SHA-11AFA7C97D5564ED5491914AB485355DBE5F05B00
SHA-25665681B65A2E4A4968D61B4874575AEB105BD385AF735E62C4B6E9205D7D98035
hashlookup:children-total15
hashlookup:trust50

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/share/doc/libcoq-ocaml/changelog.gz
FileSize56467
MD5B4B120CACF47C80C1F873F09263C0A7D
SHA-17CEE2401B6CCC3A2E70089CFA5C276DAD71C0CE9
SHA-256625BE9701286FE7E124B3CD048817A540D486FB863E54ED8FD0579E27BC8C97F
SSDEEP1536:e24W3saL1RiUQwWf1TQRmuAy7Yf0GH8QK0lXLJcS5/Q0uY4gK:e2JcaVeEMyO8OX9cUQgbK
TLSHT197431266584A0EB7939067F6BBD135E419DEEFD021AECC0E5CDED68F2A944870E22940
Key Value
FileName./usr/share/coq/coq_style.xml
FileSize1441
MD53EB03E37D05236B3A49ECB675D284753
RDS:package_id182052
SHA-1504B791AB92FD9F15DE11B72CDECBE59CD0A94E8
SHA-256B6F4BFC21ABA6AEEB569663F750C2CE01CC0DEB89DACF75694F20C8722E4A310
SHA-512CFBC44C40749D749A613B41B57CAE52913E22D54AFF1117F2CEC133D6BF70FD830A902AACE4D7B6166738E7A7ACC776C70ED30036E476DE4A27D8260D121FBA2
SSDEEP24:2dky2SVeFhpq+JyNSod+0XgcAR55WMuNwv:c88e1ofE0XgN6E
TLSHT10621286CBBF10C1853F7C4BEB88178081819E1E15E16E39067EFB834184EAD6382B983
insert-timestamp1727037182.4660974
mimetypetext/xml
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/doc/packages/coq/FAQ-CoqIde
FileSize2514
MD5763C1708CA4C70954E6A86DAAFE628DC
RDS:package_id182052
SHA-1DBA1BC562B15A330013F388EC4B5D431FBE3EF76
SHA-2565F76EE7217CE942EF350BFBE7D4F5EE368C21C4877C9D50C06489DD56BD71D22
SHA-5127FF430F54DB0E740047D5631EC4E323D46F9A6064345BC5A6D554C0958AB980732207F281570A661BC5E7DFC7F62DA2EE056F6518F77FB5D76F98B63E4BCAB16
SSDEEP48:vzcWCElVfRszUCG07lIu1YdM+T3ITEOQURs0j+qRhm83Vyri:vwWCsVpsbGrqYMi3IlRsg3Wi
TLSHT12851C5669283237219C38171322CD9A59B3FDDBC5233598A6C3D85D8128477493FEEEB
insert-timestamp1679425506.213619
mimetypetext/plain
sourceRDS.db
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/coq/coq.lang
FileSize9946
MD5D24962577F9A66A52218BA1B132E590D
RDS:package_id182052
SHA-1EA7F0F9400CA418979813568374162237BD579FD
SHA-2565288420D8A80EC0DA8BC8BD3E4BDE9794F9591927CDDF0729564823EEBF5736B
SSDEEP192:HbVZZAIteYr9GuRPxlrNTyOmbypzeY2q2h:HbVZZx1r9GCZlrNyOmSexdh
TLSHT1A12244B8C8FB8E05B856C45173D0F5067E66F5E35229986E368D0A98AFC1E9B00CF259
insert-timestamp1679425506.2389646
sourceRDS.db
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/libcoq-ocaml/copyright
FileSize790
MD5D42BCE1FAC516F7DF0F92782D7A37489
RDS:package_id182052
SHA-114BE7DA5CA741BD3CD0E215BA3B55D6FF9D7D5A7
SHA-2569B71C96B301F87F6B0DCB39945C532DD4537B45535DFCC38BBAE533AB935F3E8
SSDEEP12:mpj8Jq4KUx0KKwXN1zXpMSuMgxgg6fU4xa2FJp/AhFxxPg:g0tx2wd1zZBuh+TOnxPg
TLSHT1CA01BDD5EED89BA97A90E862E9605C81471F2D5231D5E0E2B45CD1106B0955134C027A
insert-timestamp1679425887.2714002
sourceRDS.db
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
Key Value
FileName./usr/share/man/man1/coqide.1.gz
FileSize1058
MD50369540505CC45FE1D7A3696B74A064A
RDS:package_id182052
SHA-1DCCA38342B9150018A9B9BB44B7EA43A9067A299
SHA-256BCDAD517F8D117FE0B280603F9198BF23FCCCF325ED3C1697D821FC7EAEB4215
SSDEEP24:XxFSU9NWqMBReKnjHq/zMtEWRg8eDsPZTKbvUGy:XxFhPwFjHq/oOag8w2ZT0Mz
TLSHT1BF11D8CFB6A43265F5F564DF19CC4FE43C44CBAA7062E4483AA052BC8E0C20C1DC3569
insert-timestamp1679425506.2637453
sourceRDS.db
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/share/coq/coq-ssreflect.lang
FileSize9688
MD5DABDD2582FF38E4E4FED7CBFE116F192
RDS:package_id182052
SHA-181AFCB464242CABDC5A705E95A7642A09AA26A5B
SHA-25679D670FDBECCBAA6A6F8A9CF32312628B3DA78E64B7D3BA223741B0D32ABFF35
SSDEEP192:H3VZZAvqJwJVKb8kBTSRovuPt+KWkr+Bh8R3:H3VZZzOVKbXZSRovU+Bh0
TLSHT1E012687895FB8E11FC46C89173D4F5067A72F1E35224586E72CE0A5CFBC5A9A00CF296
insert-timestamp1679425506.2332847
sourceRDS.db
Key Value
FileName./usr/bin/coqide
FileSize6464033
MD5733FE4851C18A5D3FBEA0AE7D3024FFA
SHA-126DD3EBC0AC9EBE94189668CEF9D93A829D43F3D
SHA-256418B5BECAB69108FE65F227FC0F3F68A6D1AD315EE0FEFA685B02C83D741EA2D
SSDEEP49152:Ow6map/gLmfuEekNqNQ4+mO7/WM3h2GUE2DgJ/7moIlDf3psPjg/sltWR8RrVt6/:OwXeJzCQGgUIixrD
TLSHT12856E70DB764F931C4A509BADCE6CA9B8314997FAB036FBB104D061865C771E6F04B8B
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/changelog.Debian.gz
FileSize7871
MD5739FDE6F97629D3FEF90BA62374AF713
SHA-1C4A8C5C8C4650582E75D324701859EEB93581A71
SHA-2561C8800819ADC9B19D3D5322A328C18CBE507BA59AE409AB688D7F726C8DD2E63
SSDEEP192:6xn0z9L8J23XZotCuiuarhTBiE1hmSpsj6H7WOPEH3/zqIwBaYoe:6x7J2XukXiE1RsebWOsP94P
TLSHT18CF1AF04BFD48F682ECC6B164930E59DE5C632244C7434B6A9EEE604619D81BB3DFC0D
Key Value
FileName./usr/share/coq/coq.png
FileSize12907
MD55FC00DFA3FC9733616991E845B4A5DF6
SHA-173C29413AC80A4123B6D1D45A5B595C13F9F2168
SHA-256AAF038869D97CDD4EE30CB23337D3479E74AAD0A2AAD5F2A874817866A5F1DB9
SHA-5122F0D7576BE42D79AF9EF516715C8C1A789A45173E30024132265B22D2E09CBB66AF326AC9B224FD5A7019F5B1B9CF8FD13E5202F33AE11EE748EB064F6DC8F44
SSDEEP384:5dTKPkzhKNWAOrNaTqHF7UBOSGj0BIJzMQYtnHzEx5G:5tzNgcZAcSGgWOQYtT+G
TLSHT1D542C0141BD4621028733CB79B28143B496E9A6E79A3F49CB34C8334A7D638813DEF65
insert-timestamp1727037182.4693353
mimetypeimage/png
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/lib/coq/toploop/coqidetop.cma
FileSize637627
MD5BCCE16514D71F5EC9B5374A0EB55FE03
SHA-1A2566F715BE5D378D6CBAC6106905EFE40954864
SHA-25648E4DA0DFC3410BB19E239194AC5949AAE22DBAB0771ED97392F1FCBD30F552E
SSDEEP12288:MublvJPxsnHQRrr5zvoDaMcNwN5EnkK6KRMukJvsmQwoW9K9uE66yRwSBOdhBM03:ZJsnwRrVvl+ukJkVwoWM916RwSAdhBMO
TLSHT1F8D4D64DBB68F972C89518BACDE4CE8B4310497F6913AF7B0059062989D331F6F45B8B





metalookup is a service from miwakeru.com