Key | Value |
---|---|
FileSize | 1806236 |
MD5 | 76F15666E18DECE0679B6C943AD52D28 |
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.16.1+dfsg-1+b2 |
SHA-1 | 5FBF10E460DE9E740AFFD535B96AEF78B551C7A5 |
SHA-256 | ABE8CAF6F2921F88256D737C369F87B3634E1844ED27505DD3360FE2C32AFD53 |
hashlookup:children-total | 18 |
hashlookup:trust | 50 |
The searched file hash includes 18 children files known and seen by metalookup. A sample is included below:
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/applications/coqide.desktop |
FileSize | 220 |
MD5 | B84924602D66773EFC39D9F68827A084 |
SHA-1 | 036775817252F19ECCB575DA78F2A84748B2E99B |
SHA-256 | 41940C9D17A2BBA2076C92527780CC5A870D510280B63A2C0EB8D67F5ABE0653 |
SSDEEP | 6:agOF3DJWBylLEtJ/LDlse2xWoc9iu7bD1Yz58:rOF3utJP2ewc4wD1Yz58 |
TLSH | T195D0236664C113389D543111DD5B4DD66D8B0538017A413CE53C00610111ED7E18EEF9 |
Key | Value |
---|---|
FileName | ./usr/share/man/man1/coqide.1.gz |
FileSize | 908 |
MD5 | 0BF30F9B919869D9092233D7FC02C47A |
SHA-1 | 0ED78FD9EEDD79E5D3E18724F1264914D0E25516 |
SHA-256 | 715B2460BE3922621DD43018BAEB3FA0EB399135B6F272CD1CFAD1F32BB937E6 |
SSDEEP | 24:XvbBgh3mzMoQNdn8Q4QvO6XEljBIKrEjgrV:Xvb6pFT8CvN0ljnB |
TLSH | T181118822D0045728946A332A35758A4171C06039EBFD3E6477779439994F86665D224B |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | snap-hashlookup-import/coq-platform/doc/coqide/FAQ |
FileSize | 2514 |
MD5 | FD4912BAFCAB9018B377CCCB1C1F27A3 |
SHA-1 | 12F1126960CEC95B8FB36CADF642270BE5FDF875 |
SHA-256 | 92D9382B8918FB76991601757B46E839D231927EAB68952EFECA7FBD71978080 |
SHA-512 | 2E8D938F09CDC1B05E9B0415B61771D69ABD5D1AAC4D52F7CDC70DA47D95E15042B540A9C9A4B687EF7E9F774F5B592CBC379B4C23CDF364C95FB7B54A1C1AA2 |
SSDEEP | 48:tFcWCElVfRszUCG07lIu1YdM+T3ITEhURs0j+qRhm83Vyri:tGWCsVpsbGrqYMi3IlRsg3Wi |
TLSH | T15251B4565382237219C38171322C99A59B3FEDBC1623589A2C2D85D8128437493FEFEB |
insert-timestamp | 1727037181.3995771 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
Key | Value |
---|---|
FileName | ./usr/share/coq/coq.lang |
FileSize | 9954 |
MD5 | 6F2ED074A73273451661D52CB9915B87 |
SHA-1 | 2869B46658F09538D81E56F45DF1545D3AE81FF6 |
SHA-256 | 94310B4AB4BA8F34356DC777F62C05D7409493C17C9F88C0235A1DCC05647521 |
SHA-512 | 6D88B4A20CF444767CFF7BD8835020FE638DD92D9EDCC6C1DCCDB9F9A58E665CE23A260577FF4088C72BF120BBAC98F3AF26E5C91056E8808A99F21C698EF863 |
SSDEEP | 192:HbVZZAlteYr9GuRPxlrNTyOmbSpzeY2q2h:HbVZZw1r9GCZlrNyOmyexdh |
TLSH | T1702244B8C8FB8E05B856C45173D0F5067E66F5E35229986E36CD0A98AFC1EDB00CF259 |
insert-timestamp | 1727037182.4482467 |
mimetype | text/xml |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
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 | ./usr/lib/ocaml/coqide/opam |
FileSize | 1122 |
MD5 | 72B8F87B2BD998359B8F35DCBB73E5F4 |
SHA-1 | 5AF08E58E68CEBD633F558D3B9820FB3CAED8382 |
SHA-256 | CFD7DE72BE1C3FDE4AFE20C06EAF81B515024BB8A0D02121C4379CFF9237994E |
SHA-512 | 63E3040330B3086FF3F898ABA47D11B072EE0D8FB37FA94961CABE5E0AD41020F464D326F7E37E13D5753E788E33FBC5443F29656A751358A2FA72670E87CF35 |
SSDEEP | 24:qGGvhqtPs5FcMSQK+XA/qY+Zvx2nwYcLSp0sY5Xmir0n:8hqtiFzK+Q//+ZvUsSiEIA |
TLSH | T16D216637C94E8664B58404D0FC9925E2FF7F668B82F01455E0DF441CBB839A013ED271 |
insert-timestamp | 1664889635.9215229 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30 |
Key | Value |
---|---|
FileName | ./usr/bin/coqide |
FileSize | 7644744 |
MD5 | 44CD4989E8E53A3231F831B9C38E2F7E |
SHA-1 | 6E03B81C01F01F79BDA1BB9B700A833DAE7BBA4B |
SHA-256 | 662082E98E07D5435D704E21DB43126DE8F2BEDEAE686924B33BC60B805CD0C6 |
SSDEEP | 98304:2eXkrQTinvXA4HJwg45QFAxSUszV02s74sYHpxP:zmNfNHJwEFAc02apCp |
TLSH | T108762A67F74E187CC2FB46F200BBA792A514F0053DA295BAAE0073A46D512E44B77BCD |
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 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libcoq-stdlib/copyright |
FileSize | 8290 |
MD5 | C1E00C359CCF9DD7C807C286B0314B77 |
SHA-1 | 8D0DDADB20D8AEC71200F64B9C40734B19A4E95E |
SHA-256 | DABAB3FF73A6DBCC98F576DCD4EF7A297F159D5A9E019C4FC635397F76C0B476 |
SSDEEP | 192:/O3hYrs0rs1TF3J3bCBJQHFwrB7lNb+1vRje2xd7u+le2xv:/YKrs0rsxt5beAsZlVGvRje2fuAe2p |
TLSH | T13A02D81B370487B72ED023A1360EA8DDF32B679F722E9480709DD2496B1B96A47F71D4 |