| Key | Value |
|---|---|
| FileSize | 2029992 |
| MD5 | 7D3C3AF1D1BB2F3404B39BEB92D7E765 |
| 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.pl4+dfsg-2 |
| SHA-1 | A2644BEA7E8F32885F696BD9DCA8217B871062CA |
| SHA-256 | 1909569C5FA5083602F05BAB7B0F8DC5695FE33E26C6CBE40B1BC2D0BC6E0AE4 |
| 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/nsatz/nsatz_plugin.cmxs |
| FileSize | 226816 |
| MD5 | 89E66692B9268284DFA0D6000C61B23F |
| SHA-1 | 09B3C69D4C0F717A75A22A9E11A83D21C2BB8047 |
| SHA-256 | 601BD7C8C303D93F5E7B12B2CA843169BB6A48F5AF168FEF824130808C2E6129 |
| SSDEEP | 3072:fd1o6jggWR8Xz5eNj9X2AFGO0ts8puhf0+NiDzW:fdrjbWaopZ840+NiDzW |
| TLSH | T16A24C5BFA49545BDCEB9C23A85D292323FF1B8106B606B0756C026F11F539990FAE7C4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/field/field_plugin.cmxs |
| FileSize | 67672 |
| MD5 | A7CB957934807635683DB7B655ABDDD5 |
| SHA-1 | 0F6AA2CDFA8AB10BC94E4FC79DEC7DC22AA440BE |
| SHA-256 | 40870D31687044222C24EDC0A8B6E1D29E4659B8121508C80D62329C00ED2EC0 |
| SSDEEP | 768:NEsD41OVL/X5NHcJrklM1grwvASuvayvgBlVhKkiBVz7K3:Jfbu14bi2KlV+K3 |
| TLSH | T12563E747B599487DC1B9C33989C3C3323AF1B464AB6437024AE077267F126DA4BBDAD4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/xml/xml_plugin.cma |
| FileSize | 121720 |
| MD5 | ECCBA279CFDDB32DE3A522C5EC090B2C |
| SHA-1 | 114E1A5B99648B3ECEC600EE6E59EC657E629410 |
| SHA-256 | BA88F93574DDD39554932A16E83E0870DF59CDFA2902801283566C2D8A395797 |
| SSDEEP | 1536:FlrhKddPs9CYywOC8Mcyawj5Nd+yNYVITS/6E0GLEqqgU13D8mQwKjcJw1GGCZ/m:/8s9mM3aw1Sy73D8ww1QZDi0Y |
| TLSH | T1C6C3C64BB7024EB5D0E285B2C6D3C6C4136593659E030E1F259D8B5C6EE3FBB6B82748 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs |
| FileSize | 110520 |
| MD5 | F8023BAD0F0981C3E35E728B5FC88841 |
| SHA-1 | 19B23F56A569C9E0DD71B615E065C273C028F72A |
| SHA-256 | 4C28852B4FE51B6854922BC869BDCD97D51D36535143E0D427C6B16E75F32170 |
| SSDEEP | 1536:gSFf7KhmOO368Et6Xiu7PpSeV2GjB0Zv21n:p7Z3/XPXPwu |
| TLSH | T1D1B3D687A9B845BDC279823588D686327EF2BB105B305B0F179062162F539DF1F6DBD0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cma |
| FileSize | 22410 |
| MD5 | 01FDEA5E790B9F8B84DF0D84393FA9F6 |
| SHA-1 | 1F5460A020BB469E79F1599E893575FD6C52F400 |
| SHA-256 | BD2366C05FBBCEE4B69122B0E61374D06A4DB6B49DF0B6A89CE2E76F5344004C |
| SSDEEP | 192:gmX/7C9k4LnalGkrbEog1ndMxbpslUaM+JGCxBYA2Z05UpbnDpL0rn40ybhobfiz:ge7C9xUb0ksllMMYXjpbiic7qyS4Qagz |
| TLSH | T18AA2E90BEB021DB5D4DB80B3CAE143D45366D6715E5B0E1F6A6C436C19C3BBB6E91E08 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
| FileSize | 999 |
| MD5 | 81F4FE10FF5AE02EB6B4796E9D623862 |
| SHA-1 | 1F8352ACE7D7D85B39AB409E4C3C41578CEDF5AA |
| SHA-256 | AED26AB888E9211BFD262E14065D71547C8E73027D70250CFC475DF98192C637 |
| SSDEEP | 24:X7U1Io0OR0sE9HDGA5IWipULhNeJhEdn5NnkP8Z54ZL0:X7eI4KN5P+dJa5Nnrom |
| TLSH | T1941198F69938EC5782843DB174C21C5D118AB7B1DAC2CE6D35A3DD86120DD7621714DC |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cmxs |
| FileSize | 45072 |
| MD5 | 447698F6389353F1D375BBB41D4F8C9F |
| SHA-1 | 20DEB9BADC68403049FBEAE7211C5EFAE6609471 |
| SHA-256 | 3E65CA52F4EB0D69278912EA6162B4FFA816F10F916F6C9288D6D4650265E2C3 |
| SSDEEP | 384:4t61oPQKRvSmS1Ftf0htqJdQttgcOe8amYM8gG1s06E6uJyeff3qAufYha9iRfQu:N6PQKRvSmqFtf0htqJdQ78GRr3Dr5/ |
| TLSH | T1DA13C607E2E6453EC1B4C73A8087E23039F17464AB61A6134AD0A2167F635EC5B6EFD2 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/extraction_plugin.cmxs |
| FileSize | 691672 |
| MD5 | 228A1D8464969BC6002D87962CEF6368 |
| SHA-1 | 23B7EB7102886E5DF35424302FC1E99975F56EA0 |
| SHA-256 | AA82BE3A974C19C369F4E17B0A8C8D362BF9E2F01CE2C0D7401F6F0C7690390D |
| SSDEEP | 6144:YBYhdgHyDAfaEW3CEJ7nNy9hq6XCsnTbY5dX3:YBQ7ycq/be |
| TLSH | T172E49553ED864ABDC179823485B30A7278F17A985760BB0316A4F2353F066EF1B6E7C4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/z_syntax_plugin.cmxs |
| FileSize | 29408 |
| MD5 | EBCD46999F03BB1C9668D6EFC66564B4 |
| SHA-1 | 28CCE2AB037DE796CD8CDBADFAC551A2527C9136 |
| SHA-256 | 86FE3B89D939AD5BE6FFEA05171A30E84119EF4ECDAE9B4A3A6D97325762517C |
| SSDEEP | 384:4MqhtLcock74jqJsLbp3vjLYcmfQagVXoSHQagyWVc:khtLcoc/eQdLLYTAx |
| TLSH | T14BD2C31BE196093FD1B4C77D40C792397AF1B0A4AA6177034AE073143F22AED576EAD2 |