| Key | Value |
|---|---|
| FileSize | 2017932 |
| MD5 | E5DC1220E5BBB9F7CCFE21A149883AA6 |
| 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 | 4FAEA21B92425FB9119E4EB1C36903CB1A11A7AB |
| SHA-256 | 62AD338DC80ADD1DA8D8FF1660A83AF70C05644CA8894582833D4627A915F9F7 |
| 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/lib/coq/plugins/syntax/nat_syntax_plugin.cmxs |
| FileSize | 19384 |
| MD5 | 7EA4524EB0C807B230F22F75429F0B52 |
| SHA-1 | 001D03AE89C12763B3D5DB3CCA5D8B2E5D80F516 |
| SHA-256 | 2735D0BCB69C9D06123A0159413D89F922308814850EBC536F54DD2B70057B93 |
| SSDEEP | 192:Rr0A6chaMLYt/uTwfM0+tRZgfWaTEXHJ3tYvfWaFEXDVdNODno:ZJ6chaMi/uR048WaMHIXWa2DVdN6 |
| TLSH | T1F7922B0BE2588D3FC4B887B8448B417929F1E4D4D76786275610736C3FB67B41719DD2 |
| 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/setoid_ring/newring_plugin.cmxs |
| FileSize | 198912 |
| MD5 | 75B705751FDDF2F1266A19347DE365E8 |
| SHA-1 | 03126F1C34054C07CCCE50BAB237077A30C53C01 |
| SHA-256 | B2030197F20A9E725F0DE7992B9F17B7F36C86284004C4AF19F0A53B1711FDD5 |
| SSDEEP | 1536:DLK7PkHOZtiH5AhQ3PN75KR5+M99WHjGDuvchwIuIqNTbiW9V1nRO5zBm6xyeoYE:HK7475KP+09WncGiW9VsBmPeoHvxzG |
| TLSH | T17D14D677B8D559BDC6B8863A89E287327FF5B8119B60770346D022252F134E90FBDAC4 |
| 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/funind/recdef_plugin.cmxs |
| FileSize | 973312 |
| MD5 | 50FF6475B0FE877C5FC2EF14A8136358 |
| SHA-1 | 185DDF9D74C99C3C3AF6314BD7407FB189AF3AB8 |
| SHA-256 | 9EBC7B7C3A16F54476E476CFB63568F559303F623212E40741299A3314C1A0A8 |
| SSDEEP | 6144:NdaisYTvNA3/chCCW/4HJ2scvPeCv/ZM30BmRNXO+yYgNR6T/oEBO0m:BsYT6vc4CW/jvPeCZMkBGNXOL |
| TLSH | T1B1259357E8864A7DC6F9817A89A703327AF17898D6A07B0205C4E3353F535EE0B6E7C4 |
| 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 |