| Key | Value |
|---|---|
| FileSize | 14774972 |
| MD5 | D433E0440ADAAD09DBD60CB8E94C714C |
| PackageDescription | development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.9.1-2+b2 |
| SHA-1 | 0786A4979EED548C92C6DA094C3AB4C3F8222909 |
| SHA-256 | 0BC8A061C722C235401F73EDD9201B69B4DCEE1217C6E2C56C68359D4EBBC701 |
| hashlookup:children-total | 941 |
| hashlookup:trust | 50 |
The searched file hash includes 941 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/g_tactic.cmx |
| FileSize | 6345 |
| MD5 | 8F620B44397BFB17D7B66950F2A37551 |
| SHA-1 | 00C066A2A19A0D277B39CBC448FC04B95C8C9FBF |
| SHA-256 | 1DA66DE0C82D840ED337876900300E804A2CCA035181DB7DF760426652BAE353 |
| SSDEEP | 96:jgb2DMViIWqAyi/9mztbwgHVnGREFg1ZdZqZDOPUVbq6z35q1EI+17OGQ:7qa/9mz+4GhHM5pVXz35YW1qH |
| TLSH | T1BFD11C18620673333DB6C2277C6E41DBCE3563864B9DC07A32F986CD695497698E3A0B |
| 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/lib/coq/plugins/syntax/ascii_syntax_plugin.cmx |
| FileSize | 6109 |
| MD5 | 50D65D421B35BE36D2E6B80B29F01B2A |
| SHA-1 | 010A9A65857E968532E7EDB8DF8242642A106233 |
| SHA-256 | A6100BF36F7D9F4433EE65675B48612EC9E6031A19B55F2B9F3F5256D8A673E7 |
| SSDEEP | 96:Pgb2DZIWqAG4Iztb1AHVn1azQFYd8DOUU3qKznhUITW6t/Q:/q+IzjY1gMeBzhTWIY |
| TLSH | T17BC1A2746ECC3D32F5EA05AA589440FD8F3843BA4BA1D0B15AB9C3C4187492551EAE0F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/engine/eConstr.cmx |
| FileSize | 18505 |
| MD5 | 3DE27757773F6860B7D79DEF7F9C7A82 |
| SHA-1 | 014C0189416CAB1B7344AEB86F5958690576FC33 |
| SHA-256 | AFC3E0A08EA76EA78BEADB4B36B1B20F9B8634DC27E1A24383F9DCA0FF5DAE87 |
| SSDEEP | 384:AGrVpKQQ29RbUttveL012tnNo3ytelUQHhOe:5Vp5Q2TItheL012tNmyxQBOe |
| TLSH | T1E0824E9BEFA7FDC2D448B6F998BDB2034614CC697E40E931D9AC8A4E14D0B115A7E302 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/cObj.cmx |
| FileSize | 3364 |
| MD5 | FE079AEFC14EE4D19F3C5F5609A5FFE3 |
| SHA-1 | 015FA943593BC294D79F3428E942687A45CD7E86 |
| SHA-256 | F5211C12870ACACB2F8D39E81FB43CC564219153C60BA105507F1E0915E4E580 |
| SSDEEP | 48:Hg/12zACKyLxERtXxLi6YK9/FIt0211sBW3VmJnI+0mphLL+HED0/c:8GACKMxGtXXueWmJnyq |
| TLSH | T198619E527F5627EEB654B2793E68701AEA12E411CDDCC57392F64792B08AC0480F754F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/engine/engine.a |
| FileSize | 1034552 |
| MD5 | FCD761F9E9C09B091EE7A7D62EDC430B |
| SHA-1 | 01606C02BF82D4A38C4A3B518B0C54BDA92E1347 |
| SHA-256 | B8A447A889C8CEC7636D8F831B0DFCBB2F52B8086659BB19685FE3A6BF8E3B62 |
| SSDEEP | 6144:Wik0oZQl4s1LQER+2WNMG9Q0izDBxwwBSov61I4zXOV81swteQdLLmn8TkENyY5f:djj1LZROgHbzBjvVxXxY5+xC |
| TLSH | T1F625D8025ACCEE2FC559423680DB075A3370C6897B83FB87A99D7254BD8E3853FD2295 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/util.cmx |
| FileSize | 28831 |
| MD5 | 35CC04D617F0C66C9F9920BDAE6AFE2B |
| SHA-1 | 01897A640043A43204742D82D74D486687F5C382 |
| SHA-256 | B44E521B6845FDF446456B28E56BBA9737BF99100D8F2BF15F17719120BB79D8 |
| SSDEEP | 768:+YfyPE5IzkNL2uelVZAcDD2qDB7L2ue2QIcBUb:tUEU4L2801L2orHb |
| TLSH | T155D2CF12AE975AC3E9C5D77EACAE112BCF27F0918D74CF7698F50F4BA014945A1C310A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/proofs.cmxa |
| FileSize | 53958 |
| MD5 | 9818A5FC698D136DD6491F209EDF2F38 |
| SHA-1 | 018A236B422DF95435A4B0F0B631846F88E178C7 |
| SHA-256 | F2582F158544096749A0FE0F0743B1FF700B1B126BC38E4F20DD6D8E1C47D1D0 |
| SSDEEP | 768:xIW5uN8Wz3znluW6o95lBM7ZNT+2h1dd99St4DkT2BwdxJRJT:VlizvNuA7 |
| TLSH | T10B334D7DB3817A57B923C1A778EA005686300057CBD3D4B8B39D474949B9B36FAF2A07 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/mod_typing.cmx |
| FileSize | 3916 |
| MD5 | 73174841D8820302610508B59579E49B |
| SHA-1 | 01B814FF4B0B2B6E57212BA1E65A2FC52DDDFE2E |
| SHA-256 | 0A177DF363791CD9AD5B15359E3F2964502D78B199A73822404AC49496200FC7 |
| SSDEEP | 96:dH0WivAGEdY2HxtZUrlGhmXawU4X1lx5fTgx:Div7HK6XU4XzxxTg |
| TLSH | T1378197692791FD07343BB5F79BFA60D5863940D7AE318E3C12F80B464C259935277A0E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega.cmx |
| FileSize | 12182 |
| MD5 | C85129CA6F40EF31EFA90EFDAEB34188 |
| SHA-1 | 0214332346B40C8E3E6F3AE80C7BFDD48CAE46F1 |
| SHA-256 | 19CA398B2BCABE95B6958F98CADC6EB1B0C116F252A12C379B6621BE9047FB71 |
| SSDEEP | 96:3AIwFJRVWmR2ndZryIu+7y9QEGpq47C1odG+XV+EvKxBBbTkAncR0MSyOQ+ENOfV:3BqR2dMIu99ztA/TvKx/oR0bylOIGwG1 |
| TLSH | T173427ADD528FFC41E4B0356DC95CAEB28D2AD7D70FA2CFE184E94B026E44AE20597306 |