| Key | Value |
|---|---|
| FileSize | 3663196 |
| MD5 | 28D3B4727C1476B1F608C1A33D857D85 |
| 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 | A3A00051AAAE782231DC0FE6C671D4A93F9AFD39 |
| SHA-256 | 0622B1C981199BE8D2076407D48E0D3798457B1CA17251272B59B14D42328678 |
| 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/funind/recdef_plugin.cmxs |
| FileSize | 1506872 |
| MD5 | 92EC3AB32FED359534C57DE22119F7D6 |
| SHA-1 | 02087261E8B7C6B83D20B9307C0BFC4FE3273DB0 |
| SHA-256 | 6E29DA75857D8B6083A6FAB83630FD5A0E6DEE22C145F22E34D7D3C9E81D81E9 |
| SSDEEP | 12288:FFYo94Y2pUAnWyj5LjlPybwqOre580ucD8Xzi7Il9WAzMcNUIvoSGX1N:L7KlLjlPMwx+WW74VoS81N |
| TLSH | T107652BE33C0DAFABC3C94E346B8A7DE1726D594A5DBD7B014925A2172F0335C4A8ED48 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/omega_plugin.cmxs |
| FileSize | 555256 |
| MD5 | F92BC91471A53E7EE0043F8A68A7E679 |
| SHA-1 | 073252D9383CFB94F3CF7C54B348A588E49A5AC7 |
| SHA-256 | EAE0AFA47411163673FBCFB2885316B241A6A8A06F564FFF22CCEA88254AA270 |
| SSDEEP | 12288:IAGCv+nCOh6C7UYlAih10PO+4fiCxYPbpM0:ItCyl7UYlAih102+4fiCW/ |
| TLSH | T109C4D6E2FD0A1B8BC6018D36565B7671A75E26CD0E3CF3169686F23B6E0714C4B9BE40 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/romega_plugin.cmo |
| FileSize | 373167 |
| MD5 | 884C983E1B20E25DE9829DEDDF69FC12 |
| SHA-1 | 097AE37400A62811FFA49943B2FF1A566965CC81 |
| SHA-256 | D4EF7792B9514C211CDAFB93ACD214120041158B4CE2EE745480F7564159CE89 |
| SSDEEP | 6144:xuvQkQ8RpB4+7nA3zxGODAjUmi1LJtM18+jTIkrUOJziBEr:wvjQ8fB4+7nuzxGAAjUN1LJtq4kwmsEr |
| TLSH | T1A984A40DA51D6C70CA9989FFC8DD6ADB6B1487AD3213C9F740F841092E9232E6F5660F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/fourier/fourier_plugin.cmxs |
| FileSize | 143392 |
| MD5 | 63C37EC091F9318DD4CEB174E1DD3831 |
| SHA-1 | 09A888E8B14375078A40CABED266B50A01D50BD5 |
| SHA-256 | 52E4433E2C66643FB5ECFD6AE63603250A341CE249BC0BA65137670AB6A345A9 |
| SSDEEP | 1536:ZJOZjDQfuhZGBCDg1ski+Xv/45LCDjJqpD:RfuhsB/SiDlqp |
| TLSH | T17CE3F7E3794AAF8FC9508D300A4AB6B1737EE9461F2CF30BF691122B4F571485D9AD06 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/romega_plugin.cmxs |
| FileSize | 354488 |
| MD5 | 02C0F47B917D92EBFECE3B04D2454B64 |
| SHA-1 | 10744C2C4A75F64651F0F38116F0466F32E2B107 |
| SHA-256 | 2EF382610AC6E8666C0AF1A7228BAA0060E90CC3997A9B532E0AB004C1D77901 |
| SSDEEP | 3072:IZaB3mPivwt7cdvBW+nSrbf7k5bQkJUWth82VgnyR3KVLLsCiRakVmx:Ms3BvLSrbf7k58HWthcc3mECiRaImx |
| TLSH | T16A7461E3FE0A1E8BCE048D31855B7272B67D65892F2DF3835655E23B7E470848E9AD40 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmo |
| FileSize | 19307 |
| MD5 | A242E86BA89627DE4A533406153D4228 |
| SHA-1 | 12847928FD287A083F15DF5773DF68A7840F6D57 |
| SHA-256 | F8DDA648B52BB924FDA8B5B46A05E3BE5AE58B719F37224A641EBE4951D8CC2B |
| SSDEEP | 384:ruU48ENnyZ0CzbabyIniua5hV1GxBg11IOKco01dP:r6NnjC37wiugH1idkdP |
| TLSH | T132829429ACDC9C72E8CE18BE98C246ED4F6427AA2003D81B41F487D51CE56A65F46F4F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cmo |
| FileSize | 1509580 |
| MD5 | F2DD939DACAAD977A72291BABF3677A0 |
| SHA-1 | 131A932AAEC73795439028F081482BD19F6D5E2C |
| SHA-256 | 241F36249A3628E7FC68749C373918B59800D1996CB76C58F8E2D7DEC9621D02 |
| SSDEEP | 24576:p9LRq1S1owuxWgAoVp7W97KKse07SSqL3LfxSX6ZJ+mx42N0WwIbOL:p9LPiwuxhAoVpa9+lSD3Lfxi+J22N0h |
| TLSH | T13865978D645DD831CA980ABEC4DD6EE71A184BFE6323DFE700DC16056D8239D2B8A747 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/z_syntax_plugin.cmo |
| FileSize | 29016 |
| MD5 | E692394DB3B84F61C914AFC9C7B5BE70 |
| SHA-1 | 13F6B79C478E8C244A1C63C1ADC78CF55EBDFBE6 |
| SHA-256 | 754CA90DA8AAA9E718F9C9018E34CFEB46B5A9DA0AD8284EDFE032E05A628B04 |
| SSDEEP | 768:TwmVT8nTo/uPYk3srqCgyAnUN64SwdLlL:TtKnM/uPYk8OCgyAnUTHl |
| TLSH | T14DD2610DA4D8E8A2F5DD28BDC5D9498D6F3905BE6153DE2B01F80B912CD1A2E1F89F07 |
| 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 |