Result for 1589E2D45C5A6EC4CB9C45908E2848F49C468ED6

Search result
Graph view
Children (14)

Query result

Key Value
FileSize1682244
MD59993D1E152B8219751CDFEB701F4526F
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.9.1-5+b1
SHA-11589E2D45C5A6EC4CB9C45908E2848F49C468ED6
SHA-256DC5D3BBA264103F8D39ABC98783D65021C90259C9BF57E84B8E75267E34DAB99
hashlookup:children-total14
hashlookup:trust50

Network graph view

Children (Total: 14)

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

Key Value
FileName./usr/share/man/man1/coqide.1.gz
FileSize980
MD523C5AB3EAF293D4D7FEEE0074A60B39F
SHA-15552E6B1A7F7310FC42E70A11AE59D46CCEE37A5
SHA-256A6E44CAE31E71319B569CA95CB6CFA94082FE5285B31CC55CA415DC21F27A784
SSDEEP24:XXHgURMKdKOWjggIoiFqmfbt495vqWVTgF9eKAcNv4M2U9IlnBxOBX3l:XXHgUSuhJpoi4ot05pVTgF9eKxv4M2Uv
TLSHT16611CC40B7801495F85A27A4F47F396E50B85C4C533484507F8CDE9E855117CB4ECE9F
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/doc/coq/CHANGES.md.gz
FileSize67835
MD5314CB61F8D710BCEB1630C5C331A9152
SHA-18CFA0528D00C310248CAB4FD2BEB90AD9E4339C3
SHA-256E54E667646460FF458AD08BF9CD45A7E50E371744392F7B873C6E47FD5355FEE
SSDEEP1536:tKR5aja1GpJmJHq55c8i3gU5aNTJSPS9YZ3:t7T6czU5aNe
TLSHT15263027DF08F997054E1E6555B26FE9E1441A9168AAF1F6FE0632D7AB98000301CFFD8
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/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/coq/coq.lang
FileSize9946
MD5D92E1DA4EBA2D4073C6E30B4242F20A7
SHA-1A7C6BB6CD9095D22911B455B1EDA4DCD67ABD8F8
SHA-2568F6758E5413173799D07D4897266FF5144C140B545FD47F1B9F18A228A7CA224
SHA-512F63DB9C0EE3F8D8801E01D4B6AFE050E4098E7697D4CB2833BF95371BABBAB79D5DA7DC3A8F6C75D81AC9FA8A33B7346F6C995A91327AC3D347D294026120544
SSDEEP192:HbVZZAIteYr9GuRPxlrNTyOmbSpzeY2q2h:HbVZZx1r9GCZlrNyOmyexdh
TLSHT17C2244B8C8FB8E05B856C45173D0F5067E66F5E35229986E36CD0A98AFC1EDB00CF259
insert-timestamp1643556779.4071786
mimetypetext/xml
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27
tar:gnameroot
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/share/doc/libcoq-ocaml/changelog.Debian.gz
FileSize8843
MD53D5659A9AE089B2C3852A3DF44E8B516
SHA-118B75666B54F972AD13DA7E55B2455EA7A50389D
SHA-256D46D2A2B73A1E5B8E046C951AA86A93EDAC4609E7F9C57938706AB79B5BEBF00
SSDEEP192:FcP0sF8K9a683088KnlbbZWwCphHO4jlMKGz/VY4bl3g3D6iK9J4c:DsL9m3Dd5gvhpjAzeuQ3D6iK9Sc
TLSHT1AC02AFE4A932756C7662CC4FF4D9FD7565883308210EF81960E651B9632D1D2BE68D02
Key Value
FileName./usr/share/doc/libcoq-ocaml/copyright
FileSize7259
MD50A5B15323D3AB3E19E6E8C4A259E42F2
SHA-16AC7C9301B09FA41CCD750FDB69DF0EB11DEA746
SHA-2563B68F22301BA7779A6B0AF446E32EE2A8FA8A30CDA98F224F2D7BCEEE9E2301D
SSDEEP192:lPp5U/nlp+QHFwrB7lNb+1vRje2xd7u+le2xv:lPpiNp+AsZlVGvRje2fuAe2p
TLSHT177E1D81A3711877729D023B23A0DB4EEF32B2BCB721D5491B08CD1096B0B96917F72E8
Key Value
FileName./usr/share/doc/libcoq-ocaml/changelog.Debian.i386.gz
FileSize221
MD560966B1E0D1A3A220E127B33E020FCB7
SHA-127463CE61398437050D008C0FD848535402460CC
SHA-25662847824582D29ABA18BD6F8DB6AA2F6822DF706FB2BCCFD8E5636BCCED9806C
SSDEEP6:XtLyoeRM7hZy26+p6O0y3AMAvbVqmf/at4/rE:XJVJj6+QwoVvf/atyw
TLSHT1FCD0974034DC2AA2E682D9102A1848F343ED238438683E08AA3A20410024A80CA88D89
Key Value
FileName./usr/bin/coqide
FileSize7127712
MD59785704E8583159B420C7B0BE3D34CEC
SHA-1329486BE6AADE4174570BEB526EA2301638E5EB6
SHA-256CEE7C225B1D4F3C1C066654A04009E05CD869F5C9B65735062DE32F393289BA1
SSDEEP98304:cfgnKTSWJJGNQUS5VrHCv459rBB/khJLZRWMY:cfgeBJa3SXHCYBW9Rg
TLSHT162763B63F74A2C7EC2FBD5F244BBD7726914F01935A282369D0833652D492E44F3AAC9
Key Value
FileNameshare/coq/coq-ssreflect.lang
FileSize9695
MD58CA826ECF958DBD48F6CD6ADE3884E45
SHA-1DB2AEFF61DA7125E7CE13C442206992C3742CFD3
SHA-256D9EAEBCA8C74FC84316A7EA967DEFC21C337045ACF02D814B1882980D9AA5134
SSDEEP192:H3VZZAvqJwJVKb8kBTSRovuPt+KWkr+4h8R3:H3VZZzOVKbXZSRovU+4h0
TLSHT13512687895FB8E11FC46C89173D4F5067A72F1E35224586E72CE0A5CFBC5A9A00CF296
tar:gnamebin
tar:unameroot
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





metalookup is a service from miwakeru.com