| Key | Value |
|---|---|
| FileSize | 1378528 |
| MD5 | BD5DBA22C1C14FF517C49EA0E722A316 |
| PackageDescription | runtime libraries 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 runtime libraries for Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.4pl4dfsg-1 |
| SHA-1 | 3C2E613DFA1D6FF75EDE92FBEF469817D3AD56D6 |
| SHA-256 | DF9ECD53593A202BE090D91FF4EB79808E472E71194AC96F409215BDC436B330 |
| hashlookup:children-total | 50 |
| hashlookup:trust | 50 |
The searched file hash includes 50 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/lib/coq/plugins/fourier/fourier_plugin.cmxs |
| FileSize | 106000 |
| MD5 | 7596EB8686FCECEF6E328F437D606475 |
| SHA-1 | 02050956C99A8D7877703DF60D6CA497F32F0D76 |
| SHA-256 | BC00B70D4771DFBD35BD5F72D131763525922B04D6E96D83D379CF7EDCF63D32 |
| SSDEEP | 1536:THfMaJFDquePx2u6cBDl96Alz9tEsnhRiVu:TUa7JOMuDXEAlhzt |
| TLSH | T158A3A322F389A95FD0579E3105AB0362737CE7403E62722FA248BD357D631B01EB5AD6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cma |
| FileSize | 285741 |
| MD5 | F6C64F168AF1649B3018AF813CFD3170 |
| SHA-1 | 083B2225B785DCA7DA3974BE6EF919070E5419F8 |
| SHA-256 | 2E67AB7CCEA06DE89BA1E0C6776F60EB0DFF1D9CC04890612992732D55E7F3FB |
| SSDEEP | 1536:c8Lh8SM7WnfYQdWtLGxPBWAMh44HHiMUOH9ZUdEpBVaLSWyJ+J3jt6jyJxWyJ+J5:rnpYKdVbpzOr5SbDNVOAPeOxl08hCO+ |
| TLSH | T17054BC4AB7015EA1C1E68BB1C5D78B992335E776DB030B1F608C976C2DC3B5F2A48798 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/string_syntax_plugin.cmxs |
| FileSize | 18352 |
| MD5 | A7331870259224D8F317269263E30A47 |
| SHA-1 | 09EC24639953CF1851338930DC7A3FA6F133FE88 |
| SHA-256 | E2D0D30D76C109E0CC5AD90EAEA6C458B348A1C3DC2662EA004FC64132409A3C |
| SSDEEP | 192:FVrsVek8pJuzVbwZDxHnaEFh7omiq5p0a0YoxYIShf62q7SPdUwYI4NLwJzOvPAx:vrt2zdCEGCmiqYYIdcrYIHz8BDjQ |
| TLSH | T12C821C53F3D7AE3FE4A61DB1036B430067E8C2C11872627B82787558AC279945E66FC3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cma |
| FileSize | 373234 |
| MD5 | D806596C321C2F6D023D3C8B40ED7D94 |
| SHA-1 | 0DA49E087F567996AE0B9CA9A632DC781EE0952C |
| SHA-256 | 19AB980AB3B926182AF64913BE5D1E4F60EBD6716F1F56C276EF94B646C55C58 |
| SSDEEP | 1536:1i2UxB1PsrzrqhE5lxtZATVgto0R/2s4tThYwtBUsHA5My4a9kcNkTROUC9ga2Gu:N6EJMBg1QsYlYMOlkTR7SnmzqYUMpT |
| TLSH | T1F384304BB7014EB1C4E7C9B3C6D786C41326A6619A430F1F259D8B5C6EC3BAF6F81648 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/nat_syntax_plugin.cma |
| FileSize | 6282 |
| MD5 | E740DA10F124194DE640F0EDDBB1FE40 |
| SHA-1 | 11D367D19DD73604B515732908B1CA84A6A4BB40 |
| SHA-256 | BE820FE4A3EC838815CD9564F19C86CEA28CAC8188481750C55D849AA29C6243 |
| SSDEEP | 96:fsAQLZMZBFExAx+YtKAPbT4itPVAwhbmPAKYtKNXoPbcCwtIVROphbPAf:MWetYISQiJ2i4AKYI43wyzOvPAf |
| TLSH | T1C4D1FAC6E7027BB3E1EF05B7E7D2419D03B515935553C97822E807987C8BFA336A2A24 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/field/field_plugin.cmxs |
| FileSize | 67924 |
| MD5 | D1EAB148883F4A1186DB6B4C6E81D6E1 |
| SHA-1 | 17F85812AA22C92E8E9EFB48C32468A76481B033 |
| SHA-256 | 34C8002765A50DCE3E69D48AFDE09FD0DCD174E750FC112BDCC1692AFC553521 |
| SSDEEP | 768:p5cC0BmIBB0PdKR3Y005jaznT5y+YtCH5vbG3LTZs0l8KaqWx5JOoSYrR0:tJPkRY00gT5y+YAqbNsPvk |
| TLSH | T1AD63D623F7D8B82DD0274E740857437127BEA9412ED32197DB64BE263C635A25A79EC0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cma |
| FileSize | 23151 |
| MD5 | F553F9024F360A831B3132B4832BB2D2 |
| SHA-1 | 2491C7D4EEE5A0CFE3000458DC17A2B7BB6EAD37 |
| SHA-256 | DE48E21E423B867214056F2C812D57450559617E3E9B445C188861EE62CE3B92 |
| SSDEEP | 192:/ASCHHkspijADyxIminbu2q7xAU9YtamXTLU2Z05UpbnDpL0rnhAIzqiLe2gCAiZ:/gHHksGQyxIKZejnjYAIib8YI7z8o |
| TLSH | T10EA2B847FB022AB2D0EB41B3CEE252C05366D5A25D874F1E2A5D475C69C3BB71EA2D08 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/decl_mode/decl_mode_plugin.cmxs |
| FileSize | 351024 |
| MD5 | 4F010B93E1B6AD8593CEA78CB1C18850 |
| SHA-1 | 291AEB54DA1A27220FDF51D1AB11CA947135F175 |
| SHA-256 | 3EB9E0A8A8EBE648F79932AA0628053E724E2C4A38E1E20FACCDC39647587A4F |
| SSDEEP | 3072:3fb4JwwzHnT/u7F2Bmqj9EE1vtiiGk41oIRrFUmURLgfp0Mn1V9cyzpeh/TC4s18:D4BHT/ucptltW1RFUmUcpznmyyP |
| TLSH | T16D74B716F3C8A96EE4A70F7259570762737C96643E62E20B91057A383D532F42FB7AC0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/z_syntax_plugin.cmxs |
| FileSize | 26668 |
| MD5 | 85E3EC9508162E48806AA09A67B87800 |
| SHA-1 | 2A6BD49B5ED1FA73CCF351627731E517F97A6FD2 |
| SHA-256 | F616251E25F33822EEFC7A151E2A3ED8AFB1F0D56781C1A752F3CA32B5843049 |
| SSDEEP | 768:Wbu2zJjXJHBvXHf3fnfDb8KgztBdi5qKYYfYjin:8uWHBtkdUPRn |
| TLSH | T159C219B3B3859B6AE05A3DB4B513036273BC96A01C9176235706B6287C777705FB1F82 |