| Key | Value |
|---|---|
| FileSize | 14085248 |
| MD5 | FC8160A4D8939E8217BFFB7F6C751BF8 |
| PackageDescription | development libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.9.1-1 |
| SHA-1 | 108489DDBD96114B6FDC6E3B64E0DFD4A9B0007B |
| SHA-256 | 43E85738363B9677D833992AB420D7AD101DD50616D20166BE1E60427A1EBD3D |
| hashlookup:children-total | 937 |
| hashlookup:trust | 50 |
The searched file hash includes 937 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/clib/cSet.cmi |
| FileSize | 4572 |
| MD5 | 08B0520A67C146F952663E6C165BB421 |
| SHA-1 | 002A321D9FD5C88F2B35E9995E3352D14C2953DE |
| SHA-256 | 34B8B4285010F633B344FBDABE61379F4F18FB3257715ABE0E5158E51984B024 |
| SSDEEP | 96:DAnqpgjiUb3cGtsTZ5dNtOnSMuZ/7fjpz0TMIIylPYvbAU8:D9pglbs/TpNj/7VWPlPYsd |
| TLSH | T10F9150ED9424F05812EDACBCE25ED9D701480A7F95734C776B491E52A7BE01EC31E0AB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/pretyping.cmxa |
| FileSize | 109802 |
| MD5 | DBA0B0DE8B6FB09315F37DEB756C9B20 |
| SHA-1 | 006B34E11D309EEF4FC0403A88D14A0F243DB4DE |
| SHA-256 | 9970C572BB02F0F9AA154EB3ED62B60705155BD1BD8F14CECF5B8CE4291921B6 |
| SSDEEP | 1536:zisszHc+j25JHIqEHvsdHx3AH4ir+zcy+B5vZo02fbFwHa+nzh1HwsttsIDoMOsS:jJ8hF5y9uhpsGOPcgcJJTjtk |
| TLSH | T126B32ABBA380F05BA9C6D0F3D0AD14A4517406936237C4AEAB53274743B9BE36B37257 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/dyn.cmx |
| FileSize | 1676 |
| MD5 | 9EAB6493EB70ECD0BE9F7A96FF410B3E |
| SHA-1 | 00851F02F0D2A7E247DA8E0C56332304BAD1AEAF |
| SHA-256 | C78EB9CD7344CFBE604DF22F4F4649017559950A2B90E6280B684E2C4BA20FFE |
| SSDEEP | 24:TD2PNbFP0LluJ6MC8dQv7cnQ66dOJf6IihxQhrgh6E8xWl6upawo6Gl68nGipYKZ:TDQbRBI8Q70gKglkRzGEiWT |
| TLSH | T174313450B3C36C174DF8F1B99E27C8C4CCD7C4299D5D4C1279650EA662B8983A61EA09 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/engine/proofview_monad.cmx |
| FileSize | 6931 |
| MD5 | 58249F8A383C7B6D9E381CCB521E4C0F |
| SHA-1 | 00907A22B0D68962D27512DEDB46325A77A3B185 |
| SHA-256 | 50806CFDFE9F6EB425D7A9C674B45AC268695DE703B53551012B6FCACFBA43AB |
| SSDEEP | 96:GJkH2ngbRmXM0s6bKtewkHSUS40MKTmA9diXUjzyKC0MrCThDKgHUJkfd:Gs6/YewcV0MKT3ipKCZrshU6d |
| TLSH | T1C8E112B36912E4038BC9D1BB5D95CF204C1580F69D1384F6AE76370122F69C6B69B2BF |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssrvernac.cmx |
| FileSize | 9942 |
| MD5 | A04C1C2A251832BA86C4A1D11368B36E |
| SHA-1 | 00CCCC7EA9594B5FA4A0A25FC7F20D2674528DF6 |
| SHA-256 | CFEEA40EA875061FD1557DB2A192D086929A6FD1CD49D91F9E4676C0D242A485 |
| SSDEEP | 192:8nA8dD9AXdHFC62Mc6qw2vab51DAk9d9ZTR/6mYOce3muR3:8l0NlCtMdSvab3DAk9xTV6mYOx3muR3 |
| TLSH | T1A5221A7DC60A74721CE581B7C045A8A1962581924F60C496EE3F2B0F6C5EFB16FDB70B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/coqpp/coqpp_parse.cmi |
| FileSize | 1258 |
| MD5 | D6911BD4240A547ADF7B80C1C40C0702 |
| SHA-1 | 00EDD65D2184519666DED458162BC6ECAABABCFE |
| SHA-256 | 5585D4F09AE3D566B4C182B7BD247E2E8E9A4C312814BD6D40BE763E00F536AB |
| SSDEEP | 24:XqmwVcRtT2KZtuvpjg/xts8IQTcZi03lMqQpWbmC/kG18:No7QtKpMwNUco0VMFWb9kG18 |
| TLSH | T1EA213088E2551031E94F67FDB17A1C1B8554C8AE161BCED3A22844CA30CE65EAF9F0CF |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/constrextern.cmx |
| FileSize | 12852 |
| MD5 | 32CA02DB1907A6892C4A0A3957893EF1 |
| SHA-1 | 0107DC7BE9C3C3C1BE8A2FEF5C494CC9DA4DC9D5 |
| SHA-256 | AFC9AF33E069FF4C34E1124B748F955678BA0F10BC77F9EDF4A9B284D1E9CE8C |
| SSDEEP | 384:GcewycD4UdDJJj/NvoAYzeqgfHk7etWQh0U:neeD44DJJThL2eLfHk7Ehh0U |
| TLSH | T133422F67C3016497C9CBA1BEC4598791DB18C4613EA4EE7637DCCB2F2977A936237202 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/inferCumulativity.cmi |
| FileSize | 1863 |
| MD5 | 8951CFA1BEFA12659CEAA193FAC702BA |
| SHA-1 | 019E8F599153485EB380FBC3FDAAC85AF308250E |
| SHA-256 | A0ECAC699A86816426C5B76D4D93BAAAF9518BA1A0F157C295013272DC0F74D5 |
| SSDEEP | 24:ufczlXyQTlXytyW4dUEb6KkNgsxMBt+9n6bDiIlt5emjKgSKtv5kERTEirdoY/9G:NXjUkerMS9n6bjzekKgSB0rFlEKH18 |
| TLSH | T1A231F79EB681364744C2B1F313AC04A6006909E31C3BC4EEAB46274A43F8BE37B26197 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/coqlib.cmx |
| FileSize | 5030 |
| MD5 | 94A58E15E87602893ABCD37AE7D1B586 |
| SHA-1 | 01C20FF23BC133FE95F7E7FE2DEED5C418EF1BD5 |
| SHA-256 | 8C95DD524984E285692F3D8646DB851CB2FE6F7976DBE11A2F7740F29F9D09A0 |
| SSDEEP | 96:rwjfMW6b0IzmrVbNHSbOlnL53gC9rAWw1E2TXd:ADoobp5J53gPWME2TN |
| TLSH | T181A1FDFAFA4638C37154AC7F8EB10661CB22F9A2BCADC42D56F58D353CE1804721A316 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/g_rtauto.cmx |
| FileSize | 5499 |
| MD5 | A33B288656D5BAC35765FFE24F650047 |
| SHA-1 | 01D57A1DF01472C8C92020DF2EAFCCA1FF0D93DB |
| SHA-256 | 8D21BD2B3414FF2F10115F33757C86ECB74A122E8F99EE9DE1CA1715F90F679C |
| SSDEEP | 96:JxH2VgQRF+OAM73N7pQrxbEeb2idrHsHForB67XCf4Nrc6souO2zvDG4RX5uqDpJ:rUA6dq5b2dHFC62whc6H2vRX51DH |
| TLSH | T1D7B12974A381B12769D3C0F3E0A510A0016452C39B72C2EEA377579A19A5FABDBA7307 |