| Key | Value |
|---|---|
| FileSize | 3564612 |
| MD5 | 870CAC094663757F0ED8833D6FA970F2 |
| 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 | 24A85846E1E8A035E0037FBE3916F1338FD70175 |
| SHA-256 | 1C474A6826A2B76CCE849A0BCC5679822E43C9567FF01A5752B0117660CCFC6F |
| 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/syntax/ascii_syntax_plugin.cmxs |
| FileSize | 24880 |
| MD5 | 5360414CECEB92A0CB46903F1202452C |
| SHA-1 | 03C813794A492C4084DEC9D45A752B4996F62967 |
| SHA-256 | 1D87D6B3081708A1A47EA4A9C843CCF731B5A042BF2E75C3C93BC6FC5C9A7558 |
| SSDEEP | 384:vanwnTPhBnMJnXoym2iGQg1174Kco0ARJ9:9nr3nMJYyJldZR |
| TLSH | T1C3B2E82BB5CD8E3ED4F953B4809703FC6EB0E155765063214A60A7543D626988F4FCEB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/decl_mode/decl_mode_plugin.cmo |
| FileSize | 626159 |
| MD5 | F7916D1A04417C2F30B14163967C2A6E |
| SHA-1 | 03FCA6C4A381FFECC51CB981AC23C55A43CF4562 |
| SHA-256 | 77DC166CE033E24C7D7EF08211AFAD10282B32EDD0FED7B5525AD87B3DAF4185 |
| SSDEEP | 12288:zKsi3tDgPTgXw8tEHYocz1UqSF1YfKTzWC4GogwMnruV6r1dvYX2rcUH8aJp:qwuE4wqSFWfKTbTwMaVc1dvYGrc8 |
| TLSH | T173D4958EA4A80CBEECE809FFB9FA8DE7527406BC96434CDF421409147D856E99F87507 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toploop/queryworkertop.cma |
| FileSize | 5776 |
| MD5 | 7723BD7B9ED5048C22E7C5A395F39211 |
| SHA-1 | 088AF038F35DD703AB8AE34C643C06CB07006B53 |
| SHA-256 | A451C1AF186818E596DE7E3D99FD0F12A9DEE54D4C5D252A7C66EDCE32092E58 |
| SSDEEP | 96:pfCv1k8UgcVQIZLEYQykiGFHnQxJSYDn1VfPPbT4cBzhfuuDAJdq1HMLN0:pqv1lUg2QKLrQJFHAJSwn1B4cBd940HP |
| TLSH | T115C15DECE130D872C45BA0F790AA0136A5AC54A7513BC8BE83120799A0D5F7A8F55B5F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs |
| FileSize | 128960 |
| MD5 | 708D15A72619A46EBCD86F490FB46F28 |
| SHA-1 | 09B9E50929D4797BF527B01A751FC9A6D5781BEF |
| SHA-256 | 9BFE8777F45D9D509A532ED39226D9DAD2C24A04961D82FA1BF71270FA5DF04E |
| SSDEEP | 1536:vTe3iSuEj9qhGCh6VGxFj/ANvOgT+qB1uJKfBewDW:K3iSmyvxBWwD |
| TLSH | T142C3B667B9B985BDC2B88134849A8AB17FB6BB111A704B0D26D0A7151F438DF0F6F7D0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/derive/derive_plugin.cmo |
| FileSize | 25559 |
| MD5 | FF4D157F090EFB4AF9D71FEE137061C5 |
| SHA-1 | 0CF3604FA370C45437206DB2542B629504C3BD97 |
| SHA-256 | AB38120BF25E578D6AC5A4A194F4276697777F0BB13983BDE766149EEA1601EF |
| SSDEEP | 384:NJHU7VknG+KZtHq4MSpQoBIiiongYHHY07ITDRNr4ArLmRLc2xxl5tcMmB2vA/F5:3lDd4JyRCnX6D+IiSytu9/ |
| TLSH | T1EFB2C709A85C9462C5DC44FF89DBC9852238DA99DDCBC927173807226EC173F6F87A4A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/btauto/btauto_plugin.cmo |
| FileSize | 66350 |
| MD5 | F1A0B39215EF6D9F359F1066B1B67FA6 |
| SHA-1 | 13BACC393543F10605C755268FE4AA23BB7C7F61 |
| SHA-256 | B7EC71C9C9D45EA12E29EC3CAF770D6501FC3E382C49797FEC300FE6F47A34EF |
| SSDEEP | 768:jAtzvfS2Rpb2tUIG8H1r0AbR7KWTNg2wxj51g237VoSRMr:Mtzvf3Rpb2tUz8VgA93TNnwJR7Snr |
| TLSH | T1B753340EAA6DA871C4D904FDC8FFCD86122449DB5422DC1B08BC4F5A6DE131E9FC679A |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
| FileSize | 700 |
| MD5 | 76C9A2D27DF8953D066EC2BA35B99E1E |
| SHA-1 | 1E4BE7112EA9305757F172EDED44AB57289209F6 |
| SHA-256 | AD5374151435D9C98146D857C85AC160D70ADC0C6705D332D47A971AE0348E20 |
| SSDEEP | 12:X/nUEAC6u/yXRjWm1YfiahIxEyXKnXKC+/K6mOgedP/pG7tYNDmgdS1h2EW:XsxCxyX1WZii42+F3/pRDmkSuEW |
| TLSH | T1180144695FE85121C3DC342939CEB424DE63EE67984E03E6B4651DC334645011883F16 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cmxs |
| FileSize | 51088 |
| MD5 | DADECCAEFA095791F4E16F44486D3389 |
| SHA-1 | 25B42E1A189CAF6A454B499744A7C133D6134A9B |
| SHA-256 | 2AFB1C91E681C77F74FA4BF2E3EEC1C7ED0C7B87BCA57316FDECC80E8186D441 |
| SSDEEP | 768:B4oUCkf4Z/qAAwAkZN6BJvFny/Gnn2D6v+mVchiB/dYRTJ:mDBvny/Gnzv+mVWi3S |
| TLSH | T1E8339543F9E9C53DE0FCC778C05182383E71B6656750D2596AA0A6842F235EC67AAFC3 |