| Key | Value |
|---|---|
| FileSize | 486966 |
| MD5 | 7E3F1A9CE2A573D05D7C20CD9047F8D0 |
| 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.3.pl2+dfsg-1build1 |
| SHA-1 | 273CC7775C97A7889124104894292B6654A6B0CC |
| SHA-256 | B762D648D000027177A787A5FDE9D4AA82DAA90CEEC74612A7FDBFE1D5AF7377 |
| hashlookup:children-total | 27 |
| hashlookup:trust | 50 |
The searched file hash includes 27 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/subtac/subtac_plugin.cma |
| FileSize | 250189 |
| MD5 | E4B1599E356ADB1487E248E35F47FEDC |
| SHA-1 | 0B59CA14C7F96ACDAC17C753361DE296E6CA4B3C |
| SHA-256 | 534409296EE17E4998B6A69E4E530C718C8A0E18008C42EE383089CFEBFC43AD |
| SSDEEP | 1536:j7D4zd8nUAdfiBRoCFvayf1FphrZBkPJdvlXSObF4a++5OVDIFIiMsNrjDd5C6rK:jwHBVb1StSkJIiMczd7BEYJS6vKn |
| TLSH | T14434304B67014EB1C4EA89B2CAD7C6C51365E6759E030F1F258D8B6C69C3FAFAB40748 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cma |
| FileSize | 22386 |
| MD5 | 1DB58F009E42BD61DFB3FD6CF760F3AD |
| SHA-1 | 160CA50CA868732E2AF0B29C2611853A8229652F |
| SHA-256 | D769D0685918001483BF13490C148634171AFBC7E290B16428DE7712E5127C7B |
| SSDEEP | 192:0mX/7C9OM4nalGkrbEog1n8Xpr8qYxeIUr2Z05UpbnDpL0rnZrZfZZg5slvfWa07:0e7C9rdbBr8qMAIjqlZZg54XWa1u |
| TLSH | T165A2E80BEB0119B5D4DB40B3CEE243C55776D6B19A470E2F6A19472C59C3BB72E92E08 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cma |
| FileSize | 195628 |
| MD5 | 0D56BBEAFA33F5820E211BB9A33CA990 |
| SHA-1 | 1B3C932A3BE9742A082C0F6BC2D3084C58C91194 |
| SHA-256 | 5C3220335ACFBA16AD5274B9DE20BC5EC2F2FF1EE094E05DFD460D826B03860F |
| SSDEEP | 1536:MJMWyJ+J3jP6AhVSMyRIA/iRT1XY37GxPBWz0xBZOCvRaO0K1ghlsX1vNUgL4tlV:6mgBrr+K7l1uGaloSDpyUrxTaW |
| TLSH | T18A14EF4BB7014EA1C1E58AB1C6D78B956335E776EB030B1F608C975C2DC3B6F2A84798 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/romega_plugin.cma |
| FileSize | 84217 |
| MD5 | 56311A1C2E794BC8DAB9EE0E1AFA4449 |
| SHA-1 | 297F3433722324A73E90D0DA97205E85538A17A2 |
| SHA-256 | BF4A37249BE7BB7CF3868F7EFF67AD5B34C65158DABEAA6A50F12C372DB92B31 |
| SSDEEP | 768:ymybCm94bquWFHqyzq6eVNgQtSqNRGjd2DVq5swjbdrzxWj1Nw:lybCm94bquWFHqyzqpNPtSoGjiOjCs |
| TLSH | T193831F4EEB115D91C5E68AB2C5D38BC52336E7A59B43072FA05D4B6C2ED3B6F1B80708 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cma |
| FileSize | 38177 |
| MD5 | 4C24AE94BEDD6BC63CBD0BA6431C737E |
| SHA-1 | 3E7778E484BA22503364BFEE291811475BCBB092 |
| SHA-256 | 62E74C76D602015EAB8774F2237C42372D655BC1F6279C81EB4BFED1F3D1B49E |
| SSDEEP | 384:5YZdGtuQGI7qtP7Gt/8sRnSNAnFw3DyP8sDiM74LE3fm533gOOkBGgOyis0DvXWG:5Y4/EsRnSNAFqDyP8s+M74L9POckygF |
| TLSH | T18A034247A7014EA1C8DA8AF3C6D683C92325E7769B03052F644DCB5C7E97F5BAA81318 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/nat_syntax_plugin.cma |
| FileSize | 5875 |
| MD5 | 5B2C453C5A91523FD7541FF1BBF8B00D |
| SHA-1 | 42267A8539B12F1CEE7F7ABE95A5A6B1BF324E80 |
| SHA-256 | 5E14DBC5256931D69076BA8861DCD3FA61D3F07DEA5CF0D140A06A5065E9143A |
| SSDEEP | 96:s0s6eODvF6R74e+fLZ6lfvewNCqEXsB1QnBlfvewNREXaF:QODNSneCfWaTEXwYvfWaREXu |
| TLSH | T18BC1288ACF401979DCAF8976DDD2808D53B01261920784BD9B6007A869A7F736BA3B02 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cma |
| FileSize | 362044 |
| MD5 | C741B77F16111EB1DF3B7D231CE9EB37 |
| SHA-1 | 44F7C2B5ACD16AE43D5746BBCEFE80D1B4563EC6 |
| SHA-256 | 1C10A416A37E4F2AE3744EB054A8C9F306E8B4A75979B05A4AC7068113DBE1C6 |
| SSDEEP | 3072:f4cbvqneaYtIZhOME6/1T3cJ6DHeednv1ggOp86M:frbvieaYCZhRE6/1AsH5OyL |
| TLSH | T15774314BA7014EB1C4E7C9B3CAD3C7C41326A6659A430E1F255D8B6C6EC3BAF5F91608 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cma |
| FileSize | 7150 |
| MD5 | 88D64267A9F0A46F986D1DF765E4BAD6 |
| SHA-1 | 62261F09DCAE8A4096B1115D12BA396D5018E6E2 |
| SHA-256 | C52EFA19F569AF2D287327D99089A89FC4EBA800FF1E7A683A0C59441B7C3454 |
| SSDEEP | 96:vOh10pC9R8kfUX02qJmpN6lfvewNCqEVAh1QnWlfvewNC5EXaF:P4Z/w0fWaTEVcYcfWa0EXu |
| TLSH | T1E3E1D98AAB904D78D8DB4876C8D282C95775A2719657443FA328076C2DE3F775B32F01 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cma |
| FileSize | 13901 |
| MD5 | A664FABA47595B4695F922166636037A |
| SHA-1 | 6308D5B88DC124E89F5095FF6D6AEBADD17F6153 |
| SHA-256 | BA92DBE127BD4789F1734A587377265D9D0C9AFCCD4CF608F92AC273D7B82F1A |
| SSDEEP | 96:k07x92wGtPkMshq2AyqxezrvBHGB9LkgPtFWWhp3FsOpWpWRlfvewNCqEXsexHQq:/i/nhQmBf3npWSfWaTEXFevfWa0EXu |
| TLSH | T19D52610B674119F5C1EB4A7AC9D387C913219275DE83062F6E2C47982AD3BAF6B61F04 |