| Key | Value |
|---|---|
| FileSize | 5610480 |
| MD5 | 3D118EA5DF5B119D070CE1F4B5E2B072 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.9.1-2+b1 |
| SHA-1 | 40BDD4EC1439BFFE8AD31BF14A6A62FEBAA70055 |
| SHA-256 | 54C6624CD50AA6BBC175F0D6ECBF9C333A6E20B11275F62DC8E54E7820178AA0 |
| 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/funind/recdef_plugin.cmo |
| FileSize | 1779435 |
| MD5 | 6A198B68D7B9A4D1AC528956D8F32B87 |
| SHA-1 | 0410FC98FCA1266928320D2DA1E1E6849DD1C287 |
| SHA-256 | 713978A9750BAE2690034391AC2E93938D5334FBD90D0E3D59578184333A5FA9 |
| SSDEEP | 24576:cnrY6ZADQNQwKCBHN6RsLvVlnzynm2VBe4R9dL:v61ynZZ |
| TLSH | T13085A70AB94C3E70D8ED1FBEEDD641CF022D1FAA52D7891F016A11995F873592F8390A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/newring_plugin.cmxs |
| FileSize | 158832 |
| MD5 | 2019DFEABD896FBF6E403AF4106123A2 |
| SHA-1 | 04276716B2BA92C0CB6E1CAAFD9EADAF2F8DB294 |
| SHA-256 | 55424F49CC86EF13ECB38510C7EE64F428C3CA58153E6095D9400113D917DF0A |
| SSDEEP | 3072:q9wp4je7IR3CMh1L1NPlMIEC9xRGZHq2iO5bTHLak3M:3CjuUR1N9CqgbTrak |
| TLSH | T12AF33949784CAC26E8D949BB34765B80677CC68627EFCB01F8256B78AF031706A5FCC5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/string_syntax_plugin.cmxs |
| FileSize | 19496 |
| MD5 | C2E07254026C3304F99797628387658C |
| SHA-1 | 0526F8727A8962D23CD922F6FB75C3508135D7FE |
| SHA-256 | 4AE70DFFD423476B2E6E241C90A622E2A1843EA8AB1D3CB1A77050E981091D54 |
| SSDEEP | 192:f5QXUoV8x1bXQqec3l+fP880pN1xG3IffgtRWJ+IzjY1gMeYgycdCaArkob:BQEfR4fP880S4f4+0gMGy0Hob |
| TLSH | T12492C84976CCA93BFCE8187531E685896771D3EE27B287F3A17061842F325188C9EE43 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cmxs |
| FileSize | 583668 |
| MD5 | 79710094F289C3DEC7DBB4D3A6BEAD00 |
| SHA-1 | 08F13C5290F29177692F5504BF6AE6050624A5E3 |
| SHA-256 | 384C9838BF0DC6DB2CD4DE8B3438C4DD985AF12DA58164E5FBB31919FE1E226F |
| SSDEEP | 12288:nWm/c7gerDY6g5i87R+RfESHY8nbtHDi6:nE7gwDY6b876THnbtj |
| TLSH | T1E8C42B89F84EBE52C1AD493FB42F2BB55369B7C61352CF42689A32043F461E50B97BD0 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
| FileSize | 8280 |
| MD5 | 35CE9520189025A6AF9508BD73F6F151 |
| SHA-1 | 0CA867334EF2C077D16184837FBA6DC8C6CE6A96 |
| SHA-256 | 6C8ADE481BE5199873C4C81FCE9DC4B4F11015E038C7824D927275E3E31392A7 |
| SSDEEP | 192:gz6OxEFVzzCcSXjsFo/K2L01aYP/goRDbIyZnlnh/:SEFBCc0rLap5Zxh/ |
| TLSH | T1EE02AE2DEAED3E18B5F043D468552A03E523530930DB02C05FDD25AA6EE0CF97E9B1B6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmxs |
| FileSize | 20056 |
| MD5 | 63B9D528AB8000A4C8A546488FEA078D |
| SHA-1 | 170FAA80B0A2D1F931CE50EF86FE5D5B58B657C5 |
| SHA-256 | 0545BD288BA61E47C28B6B9AD895114E94E0A1EEE75F34989AC38E8E1F038579 |
| SSDEEP | 192:zCgEz9fFdG863b7NWiV5sySLZQL+7QxIEfR2Vb4m2p1q+IzjY1gMeBzqgZch2jA9:mgg9fFdJcsLZ378IEqb2pA0gMUjZDxj |
| TLSH | T18D92E8693ECDAD3BE8AC487A3043C6EC6F68C38D3AC353621574ABC81F629545C5AC57 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/cc/cc_plugin.cmxs |
| FileSize | 160504 |
| MD5 | 7254D09263A9FD24910A4235227B50A4 |
| SHA-1 | 280B9E68B9D7B3F2C601C83DD1A8883B694A4D7A |
| SHA-256 | E5BC79EFD60E76D2E1CBD554050E2481FCF35924187A09DB683677B3C2D09FB5 |
| SSDEEP | 3072:dNrKpq+5h5Sc+hp5gHqJJnBelYmzv0ozo1pVNdG3n9tnIH1gCXlfgvYHIeLwLeuv:nHbNdG3n9nQcmypJ |
| TLSH | T1F1F31941788CEDA6C495473A700B8F962375D289B7CFCB027829B734AF172941B6FAC5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssreflect_plugin.cmxs |
| FileSize | 1142604 |
| MD5 | BC0868D3C438B49495813AD60D0DEEBA |
| SHA-1 | 37A79BB1D148B523BAC55A79BB91434C01124E4F |
| SHA-256 | 37BA6C447FBCD3F751231E4D4D808A72F14589D827F95FE7E84A4029EF4F323F |
| SSDEEP | 24576:Pde7jr4zJv3MS3gyXQfriltXbPPP44i7OmU:Vkr4LwylzbPPP44i |
| TLSH | T11D352A1A985CDA75C4ED4639F00A5D8BB325D7C06B9A9F016C1E3D04EF4B3904B9FACA |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/omega_plugin.cmxs |
| FileSize | 361580 |
| MD5 | 7C82B8F4CC87624441EBA0412B623952 |
| SHA-1 | 39512A3FD46FC12F8E70A66E8E37AE331180ACCF |
| SHA-256 | 27BC1F561A56DF58FE9ACD9A319A811E3881F280A40156B8BDA26254216EB4FA |
| SSDEEP | 6144:hK1xU7IvdkujsRNDi4ZOI26x6/TszUyaAW8GMQ4/wTx2g1:hKEcvd3wRNOWai6/T+RaAW8GTUg1 |
| TLSH | T121742B04D60E2C52C1AE8E3DF07F6F56C238978C13EAE7195896B6303F561A9136F9C9 |