Key | Value |
---|---|
FileSize | 101700 |
MD5 | E6279CCB357EE29960EE4F5D913E0A7E |
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | coqide |
PackageSection | math |
PackageVersion | 8.9.1-5+b1 |
SHA-1 | DB0E662B6F5037E95661744A18FB6EFF4F6CAE27 |
SHA-256 | A65774CC8C7E05AFCDFE2C7A5DB5DC124E139D2DA2CCF255510240B1BBE6A820 |
hashlookup:children-total | 13 |
hashlookup:trust | 50 |
The searched file hash includes 13 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/share/man/man1/coqide.1.gz |
FileSize | 980 |
MD5 | 23C5AB3EAF293D4D7FEEE0074A60B39F |
SHA-1 | 5552E6B1A7F7310FC42E70A11AE59D46CCEE37A5 |
SHA-256 | A6E44CAE31E71319B569CA95CB6CFA94082FE5285B31CC55CA415DC21F27A784 |
SSDEEP | 24:XXHgURMKdKOWjggIoiFqmfbt495vqWVTgF9eKAcNv4M2U9IlnBxOBX3l:XXHgUSuhJpoi4ot05pVTgF9eKxv4M2Uv |
TLSH | T16611CC40B7801495F85A27A4F47F396E50B85C4C533484507F8CDE9E855117CB4ECE9F |
Key | Value |
---|---|
FileName | ./usr/share/coq/coq_style.xml |
FileSize | 1441 |
MD5 | 3EB03E37D05236B3A49ECB675D284753 |
RDS:package_id | 182052 |
SHA-1 | 504B791AB92FD9F15DE11B72CDECBE59CD0A94E8 |
SHA-256 | B6F4BFC21ABA6AEEB569663F750C2CE01CC0DEB89DACF75694F20C8722E4A310 |
SHA-512 | CFBC44C40749D749A613B41B57CAE52913E22D54AFF1117F2CEC133D6BF70FD830A902AACE4D7B6166738E7A7ACC776C70ED30036E476DE4A27D8260D121FBA2 |
SSDEEP | 24:2dky2SVeFhpq+JyNSod+0XgcAR55WMuNwv:c88e1ofE0XgN6E |
TLSH | T10621286CBBF10C1853F7C4BEB88178081819E1E15E16E39067EFB834184EAD6382B983 |
insert-timestamp | 1727037182.4660974 |
mimetype | text/xml |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | share/coq/coq-ssreflect.lang |
FileSize | 9695 |
MD5 | 8CA826ECF958DBD48F6CD6ADE3884E45 |
SHA-1 | DB2AEFF61DA7125E7CE13C442206992C3742CFD3 |
SHA-256 | D9EAEBCA8C74FC84316A7EA967DEFC21C337045ACF02D814B1882980D9AA5134 |
SSDEEP | 192:H3VZZAvqJwJVKb8kBTSRovuPt+KWkr+4h8R3:H3VZZzOVKbXZSRovU+4h0 |
TLSH | T13512687895FB8E11FC46C89173D4F5067A72F1E35224586E72CE0A5CFBC5A9A00CF296 |
tar:gname | bin |
tar:uname | root |
Key | Value |
---|---|
FileName | ./usr/share/doc/coq/CHANGES.md.gz |
FileSize | 67835 |
MD5 | 314CB61F8D710BCEB1630C5C331A9152 |
SHA-1 | 8CFA0528D00C310248CAB4FD2BEB90AD9E4339C3 |
SHA-256 | E54E667646460FF458AD08BF9CD45A7E50E371744392F7B873C6E47FD5355FEE |
SSDEEP | 1536:tKR5aja1GpJmJHq55c8i3gU5aNTJSPS9YZ3:t7T6czU5aNe |
TLSH | T15263027DF08F997054E1E6555B26FE9E1441A9168AAF1F6FE0632D7AB98000301CFFD8 |
Key | Value |
---|---|
FileName | ./usr/share/applications/coqide.desktop |
FileSize | 198 |
MD5 | E1989D5AB456438933926DB995156858 |
RDS:package_id | 182052 |
SHA-1 | 67F9921CFC4DCCB7BC983E9752C789699C2FC585 |
SHA-256 | CFC285CF553885F6B4B0BE3993132F43C3B32032768AFC231FC5C79CCC7726FF |
SSDEEP | 6:agOF3DJWBylLEtJ/LDlse2xWoc9iu7bD1Y2:rOF3utJP2ewc4wD1Y2 |
TLSH | T190D02295A4400228A9A83011CC4A0DE61E8B093801BA8138E53C00610001ED7E18EEE9 |
insert-timestamp | 1679425506.224917 |
source | RDS.db |
Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/FAQ-CoqIde |
FileSize | 2514 |
MD5 | 763C1708CA4C70954E6A86DAAFE628DC |
RDS:package_id | 182052 |
SHA-1 | DBA1BC562B15A330013F388EC4B5D431FBE3EF76 |
SHA-256 | 5F76EE7217CE942EF350BFBE7D4F5EE368C21C4877C9D50C06489DD56BD71D22 |
SHA-512 | 7FF430F54DB0E740047D5631EC4E323D46F9A6064345BC5A6D554C0958AB980732207F281570A661BC5E7DFC7F62DA2EE056F6518F77FB5D76F98B63E4BCAB16 |
SSDEEP | 48:vzcWCElVfRszUCG07lIu1YdM+T3ITEOQURs0j+qRhm83Vyri:vwWCsVpsbGrqYMi3IlRsg3Wi |
TLSH | T12851C5669283237219C38171322CD9A59B3FDDBC5233598A6C3D85D8128477493FEEEB |
insert-timestamp | 1679425506.213619 |
mimetype | text/plain |
source | RDS.db |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | ./usr/share/pixmaps/coqide.xpm |
FileSize | 1457 |
MD5 | 709CF7B244144C9C8328D574C4DDAF88 |
RDS:package_id | 182052 |
SHA-1 | E9F2F0850DA2D025424DD9B0FC25207C7F33D953 |
SHA-256 | 8FCE1389C8415098201170CC7CC5D032B42CC403EB2172D6960F03EEF38E8D43 |
SSDEEP | 12:UGCt3oDs0j3Ou9rH/zrbbj30CP44glbGLjqG2IDRR5Cj7TFwn:jy0TCuJbrbbr0MpglpvIDPUjHmn |
TLSH | T1913148AAE2835D1735BAD543C34BD0F17D0983A38CE47C057E1C39AD632CF41645029C |
insert-timestamp | 1679425506.2314973 |
source | RDS.db |
Key | Value |
---|---|
FileName | ./usr/share/coq/coq.lang |
FileSize | 9946 |
MD5 | D92E1DA4EBA2D4073C6E30B4242F20A7 |
SHA-1 | A7C6BB6CD9095D22911B455B1EDA4DCD67ABD8F8 |
SHA-256 | 8F6758E5413173799D07D4897266FF5144C140B545FD47F1B9F18A228A7CA224 |
SHA-512 | F63DB9C0EE3F8D8801E01D4B6AFE050E4098E7697D4CB2833BF95371BABBAB79D5DA7DC3A8F6C75D81AC9FA8A33B7346F6C995A91327AC3D347D294026120544 |
SSDEEP | 192:HbVZZAIteYr9GuRPxlrNTyOmbSpzeY2q2h:HbVZZx1r9GCZlrNyOmyexdh |
TLSH | T17C2244B8C8FB8E05B856C45173D0F5067E66F5E35229986E36CD0A98AFC1EDB00CF259 |
insert-timestamp | 1643556779.4071786 |
mimetype | text/xml |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27 |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | ./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz |
FileSize | 269 |
MD5 | 0ECA063A774B94A35B2709F6E8E4D6AD |
RDS:package_id | 182052 |
SHA-1 | 01024660E771DD5236B4AB77DFE0050CD2399988 |
SHA-256 | B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE |
SSDEEP | 6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13 |
TLSH | T165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904 |
insert-timestamp | 1679425887.2617948 |
source | RDS.db |
Key | Value |
---|---|
FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
FileSize | 8843 |
MD5 | 3D5659A9AE089B2C3852A3DF44E8B516 |
SHA-1 | 18B75666B54F972AD13DA7E55B2455EA7A50389D |
SHA-256 | D46D2A2B73A1E5B8E046C951AA86A93EDAC4609E7F9C57938706AB79B5BEBF00 |
SSDEEP | 192:FcP0sF8K9a683088KnlbbZWwCphHO4jlMKGz/VY4bl3g3D6iK9J4c:DsL9m3Dd5gvhpjAzeuQ3D6iK9Sc |
TLSH | T1AC02AFE4A932756C7662CC4FF4D9FD7565883308210EF81960E651B9632D1D2BE68D02 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libcoq-ocaml/copyright |
FileSize | 7259 |
MD5 | 0A5B15323D3AB3E19E6E8C4A259E42F2 |
SHA-1 | 6AC7C9301B09FA41CCD750FDB69DF0EB11DEA746 |
SHA-256 | 3B68F22301BA7779A6B0AF446E32EE2A8FA8A30CDA98F224F2D7BCEEE9E2301D |
SSDEEP | 192:lPp5U/nlp+QHFwrB7lNb+1vRje2xd7u+le2xv:lPpiNp+AsZlVGvRje2fuAe2p |
TLSH | T177E1D81A3711877729D023B23A0DB4EEF32B2BCB721D5491B08CD1096B0B96917F72E8 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.armel.gz |
FileSize | 217 |
MD5 | 36A7027E5403C9AC6B8D1C0840C5903C |
SHA-1 | DA570A7E18F6BAE6530899981CF25DB74C4C419E |
SHA-256 | 3F7301AC14F173F144ACE4D80B5C7E439A982F3673FE3F6AF1FD5AC03F0AB8F1 |
SSDEEP | 6:XtNuceiRebk6Fa8X3iVmIowbmD88xBqi1JCZGQogfzQcf:XteiW5Fas4AumAGcPghgb7 |
TLSH | T103D0237E60ADD04150483D774053561037BC427E90EF450DC0CC00400C890A1A9D22CF |
Key | Value |
---|---|
FileName | ./usr/share/coq/coq.png |
FileSize | 12907 |
MD5 | 5FC00DFA3FC9733616991E845B4A5DF6 |
SHA-1 | 73C29413AC80A4123B6D1D45A5B595C13F9F2168 |
SHA-256 | AAF038869D97CDD4EE30CB23337D3479E74AAD0A2AAD5F2A874817866A5F1DB9 |
SHA-512 | 2F0D7576BE42D79AF9EF516715C8C1A789A45173E30024132265B22D2E09CBB66AF326AC9B224FD5A7019F5B1B9CF8FD13E5202F33AE11EE748EB064F6DC8F44 |
SSDEEP | 384:5dTKPkzhKNWAOrNaTqHF7UBOSGj0BIJzMQYtnHzEx5G:5tzNgcZAcSGgWOQYtT+G |
TLSH | T1D542C0141BD4621028733CB79B28143B496E9A6E79A3F49CB34C8334A7D638813DEF65 |
insert-timestamp | 1727037182.4693353 |
mimetype | image/png |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
tar:gname | root |
tar:uname | root |