| Key | Value |
|---|---|
| FileSize | 3805604 |
| MD5 | 282A05D9BB56A1692D03EA6EEAE2DCBB |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.9.1-2+b1 |
| SHA-1 | 305224A21B6CDC1470911278C505B94B5A28C0B5 |
| SHA-256 | 14BB35E0C57376A3A1BD1E25F5D5EDE76FE78617DFD98A12FCFA5D279D626DAB |
| hashlookup:children-total | 28 |
| hashlookup:trust | 50 |
The searched file hash includes 28 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/ssrmatching/ssrmatching_plugin.cmo |
| FileSize | 510105 |
| MD5 | 9F030CEE56CB2D9EFDA0834EE2697131 |
| SHA-1 | 0269E29600BF8DC703F5129DBB2EF9418DB4E12C |
| SHA-256 | C1E089DE5C9696AEFFABFE382C74B9F94AC975D02928A57DCB73E935B10EE8AB |
| SSDEEP | 12288:qK8hbkGd2UjeLOjokrwYHdPIhg8cXjCmT4qH:V8okhQhq/H |
| TLSH | T176B4302BFF480A61E9F817FD85D461CF092A076CD283C9AFC52F16E95CC630E1B89566 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/newring_plugin.cmo |
| FileSize | 318274 |
| MD5 | F6249C627B7C60F5D90314F65EE126EE |
| SHA-1 | 04D7B0BB99CC50591564767ACD92E34D41C7EDA4 |
| SHA-256 | DE8756FE3790E20452771EB9116813EA7CF0F4D615AACF5CA90BCBEDCB1AB0E7 |
| SSDEEP | 6144:QlVkyxRhoztL33k/0p2VsBV685GbJNg9649NfZJNLXM:QlVk+RholRp2WBV68519FrNLXM |
| TLSH | T1BD647509790948A1F8EC55FF98F663CE0E1C4669D1B3C91FC16A06D59F83B3A1F82E46 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
| FileSize | 8280 |
| MD5 | 35CE9520189025A6AF9508BD73F6F151 |
| SHA-1 | 0CA867334EF2C077D16184837FBA6DC8C6CE6A96 |
| SHA-256 | 6C8ADE481BE5199873C4C81FCE9DC4B4F11015E038C7824D927275E3E31392A7 |
| SSDEEP | 192:gz6OxEFVzzCcSXjsFo/K2L01aYP/goRDbIyZnlnh/:SEFBCc0rLap5Zxh/ |
| TLSH | T1EE02AE2DEAED3E18B5F043D468552A03E523530930DB02C05FDD25AA6EE0CF97E9B1B6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/tauto_plugin.cmo |
| FileSize | 53156 |
| MD5 | 18055EFFE833F7AB5E5AF2EA213D7BCB |
| SHA-1 | 0EB43859D2B0C44101F71EA761C8BC04DED1FBEA |
| SHA-256 | F9559CB2409303B19B6C0DA02473CDCEE53D60E864B0E3E220A66F121B28CC9D |
| SSDEEP | 768:TN/GTaom6e0uizNFMZmvpzu3Z5l89OkjsKv9dcCpH7P62XgSwHPjGxNSatJ:TN+Taom6e+N2Cpz+54OSv9dcWP62HZ/ |
| TLSH | T1B63397577B5D5820C9AD08FDE9F6F58B033805A59AA2CC2780F946C6ACC27091BF371B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmo |
| FileSize | 180010 |
| MD5 | 49A6862A7BAF00E6A0E67AD1F094D0D0 |
| SHA-1 | 2122ACE18D9B10BCD136755E2A359AA8C9930825 |
| SHA-256 | AA014BEC4141B2682165992AA0C40617DBDB5B7009248E33B7B8564CB6E56FC6 |
| SSDEEP | 3072:TN35/4npltF8eTiuWVYpMBZdAfvtDfxB/QCzZh:Tn/mplUUXnaZd4tNBV |
| TLSH | T1EC0497077FB95D61CCBC09FE94F2958F062849A9B0E2C82B80E98F865DC5B191FD7712 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssreflect_plugin.cmo |
| FileSize | 2877517 |
| MD5 | 1F0DA10763F6169463F088741AA8A8FA |
| SHA-1 | 2884C7EF2C7309E4C4F2B3E7E828A47CBE2812D7 |
| SHA-256 | 173BE94EDF1CBC8AE48370D40ED843E958E28CE8F753CEFFBA9CE1984679A70E |
| SSDEEP | 49152:Pm5lhodWtlUKrJOlJtU3FyI96Jy2WWLfsdmw8AEZTpz6WVWCwV5bkLpw9zhbokWL:Pm5lhlE+a7 |
| TLSH | T18CD5B74F76585E60CEE807FFC9C405CB02285665AB438DDBC15F12A8AE8A7462FC794F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/omega_plugin.cmo |
| FileSize | 858240 |
| MD5 | 9B4325A1B828469EE1C02A532A3DE923 |
| SHA-1 | 34134E28162DF7DFA68BF35639BA6037105F041D |
| SHA-256 | 681E83BAF373419AA391FBB62AB62F8BEA1A8F32549E5C3C76A1B701DDC0ECDB |
| SSDEEP | 12288:c0W+QcOTifykeDOldtDfbPM+l1/Cw9gtj3D7TNsTUCFl+6/bvBEO:xFfyk6md17hpih75sTUsvvBX |
| TLSH | T11C05090EBB4E4D60CAF986BEC8CC53DB1B1C46642363C6BF44FC42996EC27592F89645 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cmo |
| FileSize | 93618 |
| MD5 | 9D270B332C3C3312E15B7E6E392A98D3 |
| SHA-1 | 37900FC9A6949E4D3B5ADCF44EC2CF6AFBB1A0C1 |
| SHA-256 | 82AB0A6F7DEB53210E8AA0FAD2E48AF0C27EAB4A526FFEE5BE4F5048E0EFF272 |
| SSDEEP | 1536:PSR+RZMuQUau4z8dXllMHrUFCYJ4Nur/5i/cpIPnAPpiOPbfcRZ3:zZ14z8ZwHoFwsxkTPAPXbfYZ3 |
| TLSH | T16793A60966466922CC9D05FDE8F2C5EB4A2C6769E0F2CC278D7A4AC799C176D1FC3312 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/cc/cc_plugin.cmo |
| FileSize | 366111 |
| MD5 | 9D16C7DDDA22F1BC0ADCDA042E298BF4 |
| SHA-1 | 677066564A1B9B97500459C66C7421A78C833D53 |
| SHA-256 | 1CCD913EA7339207898742E4B8D1FB7A357825709F092BC696D651A24058CE03 |
| SSDEEP | 6144:rjeZ+27NF1u64tO5hQx3O4gBFa2sisg9KazvuiGd:rjeLF1u9O0OvHa2siMuub |
| TLSH | T1B174954ABD898960CDEC0BFD89D6C3DB13390AACB197C92780A94ED76CC17091FD3656 |