| Key | Value |
|---|---|
| FileSize | 3624348 |
| MD5 | 89FF9F73B02A66FF6D1D066DBF782D32 |
| 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.6-5build1 |
| SHA-1 | 75D02BA1515C8D5D068B0573F086F736E371C4A5 |
| SHA-256 | EB0C775A58B96F9B1CEB3E0325BBCAB296FECEA1E61215A7285A152E2518B546 |
| hashlookup:children-total | 54 |
| hashlookup:trust | 50 |
The searched file hash includes 54 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/micromega/micromega_plugin.cmxs |
| FileSize | 1067136 |
| MD5 | 257217989DE8FE5AC25FF3F4B3695156 |
| SHA-1 | 136708D81FF35DE31EF1489AFFD56FD37CF01310 |
| SHA-256 | BFB95DDCB90F17725F688CA9FB0A023C46619BF03F9564940F92FB0600B70902 |
| SSDEEP | 6144:uTR0gzPAP1es6b0FgpLRtgHcDK7lhSNo+cJaQvK2E6jba1M5vfr58J:uWgzoyaI/goElhEowQvK2tBt8 |
| TLSH | T18C3572DB0C5A939CCAB82930C6FE177476B549A77AAB6B0EDDC833213C603B1E556C50 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/copyright |
| FileSize | 790 |
| MD5 | D42BCE1FAC516F7DF0F92782D7A37489 |
| RDS:package_id | 182052 |
| SHA-1 | 14BE7DA5CA741BD3CD0E215BA3B55D6FF9D7D5A7 |
| SHA-256 | 9B71C96B301F87F6B0DCB39945C532DD4537B45535DFCC38BBAE533AB935F3E8 |
| SSDEEP | 12:mpj8Jq4KUx0KKwXN1zXpMSuMgxgg6fU4xa2FJp/AhFxxPg:g0tx2wd1zZBuh+TOnxPg |
| TLSH | T1CA01BDD5EED89BA97A90E862E9605C81471F2D5231D5E0E2B45CD1106B0955134C027A |
| insert-timestamp | 1679425887.2714002 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toploop/queryworkertop.cma |
| FileSize | 5776 |
| MD5 | 91C012B7871492E16CAF05A03499A58C |
| SHA-1 | 1612E8E9C72549461CFD0349BC491FBCD7CF4C43 |
| SHA-256 | EFB66C08F6D9B70A02644902CD9EC90A968B2D6CF131A5045560F63FE3903BB3 |
| SSDEEP | 96:pfCv1k8UgcVQIZLEYQykCGFHnQxJSYDn1VfPPbT4cBzhfuuDAJdq1HMLN0:pqv1lUg2QKLrQJFHAJSwn1B4cBd940HP |
| TLSH | T1A3C16EFCE130D862C45BE0F7909A013AA5AC5067513BC87E83120799A0D5F7A8F55E5F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cmxs |
| FileSize | 53776 |
| MD5 | A806126986787FAFDE68FABE82640BD6 |
| SHA-1 | 1844E3FEF1E351A38CF04CF36C906CD697EF67A5 |
| SHA-256 | 3307D5D165282F3A7622DC47A712C55B38A0072EF9559239F613D46B137373B9 |
| SSDEEP | 768:Oukf43/WAAPAkZNndat8ho97w5I2RYG9GcA8ladPdYR/b9AhpoDyrO0Ms8t:wdaOi96FlEV |
| TLSH | T1033382968A95D35CE2FC1D7080C243787B798667A796835DDEB492923F23A39B481F03 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/ground_plugin.cmo |
| FileSize | 286090 |
| MD5 | 10785A1B22B432C503C563EB265DC242 |
| SHA-1 | 1C437D465BE68E4FFA5AB9CB3D60D5B9B2C519FD |
| SHA-256 | 65E0E993D28CF1A3BB40D5D2515F47B820C9B4976561EE3D75B56F499E1D1E9B |
| SSDEEP | 6144:D6NUTV39iYw+5gITg5udstUxc2VGx58O8RzBgfYacqCi11:D6NUR39iXIT0udzRVGx5FW9ggajCij |
| TLSH | T14354C70D7118A974E5EE18BEDEE48EC602284AFEA4C78E57106C07396EC671F1F86747 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
| FileSize | 700 |
| MD5 | 76C9A2D27DF8953D066EC2BA35B99E1E |
| SHA-1 | 1E4BE7112EA9305757F172EDED44AB57289209F6 |
| SHA-256 | AD5374151435D9C98146D857C85AC160D70ADC0C6705D332D47A971AE0348E20 |
| SSDEEP | 12:X/nUEAC6u/yXRjWm1YfiahIxEyXKnXKC+/K6mOgedP/pG7tYNDmgdS1h2EW:XsxCxyX1WZii42+F3/pRDmkSuEW |
| TLSH | T1180144695FE85121C3DC342939CEB424DE63EE67984E03E6B4651DC334645011883F16 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/fourier/fourier_plugin.cmxs |
| FileSize | 135120 |
| MD5 | 00559506B64E1BEA53EE4AA06979430A |
| SHA-1 | 26A4A66737B18DB9B51A2869846D6EBC2E2C049D |
| SHA-256 | 3CACED9F73F74CF7EB22E3A6D5314AF63C8875C2CEFB489A459CB658B7374306 |
| SSDEEP | 1536:h4y0DMRezkUYcwoXamWtKo4SFGBoeSGspt2btZbT4k7u:w4ZcjWthRF/YomGk |
| TLSH | T110D382674B19C34FC1B86F30C1DA53A5B37AC9633A696B0FE69813213E32771EE56811 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/btauto/btauto_plugin.cmxs |
| FileSize | 67840 |
| MD5 | 37CFAE7C8585C7A2D2C5EF0DB624BD8B |
| SHA-1 | 27CA4B4FAE3B372CB7ED3D2D75B56D029396FB19 |
| SHA-256 | 71A2E1A80938F9D88530EE1760DB6BD6B9249FA867639DAA5C7275B69A94FA62 |
| SSDEEP | 768:VfOc8ZXKK5B1ZawsZUKxEm5Lrh6VCxo8RlIxMppNDdfcDfQq:38Z2X5RoTl |
| TLSH | T131637FAB0B69939CD1B80A70C1DB0374B3758C533AA96B0FC7E95B223D623B1ED55D84 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/stublibs/dllcoqrun.so |
| FileSize | 31360 |
| MD5 | 0C04DD5512DA1C1EEC3FB70C541B35E5 |
| SHA-1 | 28A25DE4C9027BC06B97AFE29FC99EFC475CAB52 |
| SHA-256 | 89C8BF7AC771654ED4E58D4AE2BD06064CD77155108C57DEE9F1AA30933BD98D |
| SSDEEP | 384:afAgnzUGy6cJQfuf36pxW5VTOMGYXv1GRZ/+D3e/Zre1UKQkKuFMbt5WVf0F0IzD:r6cJMW5VTOFTJeVKuSSx/0GyW93Ho |
| TLSH | T1A2E2A747EE21E2BFC0F47F3090C753F0B67924552A866B4D9FA4CF252BAB398447A845 |