| Key | Value |
|---|---|
| FileSize | 6324304 |
| MD5 | 701FC8FA98E5F756DAD7F0E6F745075A |
| 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.11.0-1 |
| SHA-1 | 5F6745E012D16D1AE1A4D29195B1AFE8CE8EBD42 |
| SHA-256 | AEEDFA1FDC335CFF8828C5A9FA00B33FAE4B268878001B3B494DA4A7A3412096 |
| hashlookup:children-total | 48 |
| hashlookup:trust | 50 |
The searched file hash includes 48 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/ltac/tauto_plugin.cmo |
| FileSize | 56645 |
| MD5 | 315E42E6F8C24AD7C463B9ACE4F3656E |
| SHA-1 | 05A7469627900F1F53F888B4B0F92F708AACF6BD |
| SHA-256 | 5AA60E091F07B717308286C1A7C75854B68330DF8C92EB6AF4D111BA09C9CDB0 |
| SSDEEP | 1536:ck7rHGwzT5WU4OY6JnJ34SiE6CGvSul25I2l:3HH5a6jSUZ |
| TLSH | T1E443C756BB491820D8EC08FDD9F6F58F033806E55AA6CC1784FE46C5ACC2B191BE761B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/int63_syntax_plugin.cmo |
| FileSize | 15704 |
| MD5 | 6CCDC7B6031A408327C5300A0F391EB3 |
| SHA-1 | 06787F55E52B7E750B1D01C68424894669436FFA |
| SHA-256 | 79C4B088BC01042965F8164FAB95E764DEC77D69C57C2EF66A87649BEFE81CA4 |
| SSDEEP | 384:qpgnLpDhJyBVmHczUsmxK8dJr9OlefIVSMJ:qpmDhJwVoVs8dJrqefIVSMJ |
| TLSH | T12D62F88576822875F8E9BABABCDA004E173401BDD1A6C43688FE45CB18C1D9E87D7F17 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/nsatz/nsatz_plugin.cmxs |
| FileSize | 232800 |
| MD5 | B0D3ECF10CD09B617CCCA6943CE30DBB |
| SHA-1 | 0BBA23E46A568BE6329494896A47823FD433965E |
| SHA-256 | 4B783FB4324273321DB49569A2D071BA8203B49AE5783A165621757062EB3F4F |
| SSDEEP | 3072:49Has1M2m2qI2xJCNZTol02lOdXUg6o9KY:ias1ML6xIlZIU3o9K |
| TLSH | T1CB34D666EC8A4E7DCEB9D23585C645B27BB178144761EB0365E027380F03A5E1FAE7C8 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/float_syntax_plugin.cmxs |
| FileSize | 23640 |
| MD5 | 9BDAB846D3297FA1B1C76350FABCD8E3 |
| SHA-1 | 11BD58A0A4B60FF3F632EA71811C10D1F4560112 |
| SHA-256 | F49A353DC55C688DEE610634411DEECD46A353A0B06E3B83A8130258B07DCE6A |
| SSDEEP | 192:RjHB/b8o+RMiDo1vPmd7x95KL678irTaexhGa2tMS5SklgDqlMSCiPI:z/6oxK95+efBVSMsbfTI |
| TLSH | T16BB2E77667C9ED3EE8FC1231C447417A3B70A5E8BB6147139AE132842E71A9C9697CC3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssreflect_plugin.cmo |
| FileSize | 2555964 |
| MD5 | 597408DA9A2F7DE194A5A64DB2955AD5 |
| SHA-1 | 139AA5CF54286F7E2240BA71AC1D647FABCC9260 |
| SHA-256 | 937439503640357D2D2828D2F2E974EAF64BDCE92739178605074FAA1BB23055 |
| SSDEEP | 24576:Zxj9PtTXkF1VgypwiZQSr+oa934Al8qQhIV/MrQ+2VlRMEEideLGl2yK:He+cS34A5MnyK |
| TLSH | T167C5950F76581DA0CEE807FEC9D515CF02644A68A7878D9BC16F11A8ADCA3892FC754F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/derive/derive_plugin.cmxs |
| FileSize | 24496 |
| MD5 | 9CA5936167C2F084520D6FBAA8979882 |
| SHA-1 | 13A99F2ED81A27610567E902EEFFF0A1F42A6318 |
| SHA-256 | 316C1D3EA864AE20BC02C6823DCAD8DE5FB6EF8C8827167DF44C999136C729E7 |
| SSDEEP | 192:RB3S8q4a2cOWDgtRFyao+cVlKud4KF/oejGf39YbmF7ElrU6Yus78iriaewPVa2/:bCHqG/oU+39YbwjheSQV4Yx5En6NwJ |
| TLSH | T1CFB2F89BF64A463FC4B8827EC09B40B436B0F600BBD1531157D1771C1E616AEE7ABE82 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/btauto/btauto_plugin.cmo |
| FileSize | 82130 |
| MD5 | 957136CFCE2C98B6FE019CBFC341CD40 |
| SHA-1 | 1559AD903E6FB9A93A5AC6AC6DD7B765D0F73E23 |
| SHA-256 | CB1B01788818A69BBD3BD96928679E344D9CFAEEF89241A14B0867B3933FCF20 |
| SSDEEP | 768:AN04d8gLCYgffwVoGG6HIYPcV3hI6a6KbQGZkazGECuVypBB+cUFxuzd7XxnaFxV:y04dbgw3GpVRIP6EQGK5uVulNhwn2w |
| TLSH | T1D183860B7A592871D8E804FE88FE8587073806E5A0A2CC2A88FD4FCA5DD171D5FD775A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/zify_plugin.cmo |
| FileSize | 217357 |
| MD5 | 93AF4F0F1D23B5AF966AC4B6BCCF334E |
| SHA-1 | 15B69B7319C6B504CD1352AA5EA4580F26FFA81C |
| SHA-256 | F29AC7E199D49EBBAB915851FFB08FD2BDC351194F550CC998CDD1EF71A41538 |
| SSDEEP | 3072:5EDRQVdEu26ECIhLpsUj5jnb2shjO36vWvZJsbNYHA894fwkonn2r:5EDRQEz7jlM+NYg890R |
| TLSH | T1B924740A7A855960FEA808FDCED5D2DF17280BB892C3CD67847A06D97CC270D1F86657 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Ltac2/ltac2_plugin.cmo |
| FileSize | 1968327 |
| MD5 | CAD18B6ABAFAD9656498983BB546A00E |
| SHA-1 | 1AB132E87C9D61FF1EC6AE00A21522E373D01327 |
| SHA-256 | 7F496F0782FC34581FB4CB4B7AE24F37D877A7AE23D228DEF4760370B2488BB5 |
| SSDEEP | 24576:Ji3QaUGJWOHDEp3H4Fo2x/uL7juOQ/EOtT7ViR01SwwI++wofrG:GW/m1/gkELt |
| TLSH | T13995840676190E60ECEC0AFEDCD461CF93180BFC6BA3D957416B06C56ED3B192B8664B |