Key | Value |
---|---|
FileSize | 6753356 |
MD5 | 22EC956EBB59855A3CF8C291FA1FDFD4 |
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.11.0-1+b1 |
SHA-1 | F4A4FEB6F4520A599AA1DFDC3674F4CFB45469CF |
SHA-256 | AD25DD9D96CBAFD94EA341F509E6DC32BBDCA23871EE933487E81F10B6FC391E |
hashlookup:children-total | 49 |
hashlookup:trust | 50 |
The searched file hash includes 49 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/ocaml/stublibs/dllcoqrun.so |
FileSize | 39808 |
MD5 | 1E27EBE4CB22E608C0D6ECA8CB99B72F |
SHA-1 | 01708C03D82D5537BF75556E25F97F41F85AE022 |
SHA-256 | 940E6F0D66F0FFBDCC866FCE1E72A4B6F48B47745C1C1438309EB1F9D6B5C5A3 |
SSDEEP | 768:BDDt/IwA3GzMr5ggpSTERqniKb30RaFyZAFJGBRK1iOMR3TAvBJk:FDt/IwAAEeniKb31hJGTK1iLZc |
TLSH | T1170309AFF51FA91BCA4AD73C27DB5263073A68883142879BB113572CBEC71B98D450E4 |
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/setoid_ring/newring_plugin.cmxs |
FileSize | 281352 |
MD5 | AB98FAF275A95DBEAE1F0A819256B483 |
SHA-1 | 07AC310796E6BD4D9FB0233E17BC4171712257B6 |
SHA-256 | 42BB98ACFB20C02B419F93EC73C5BE429CA396C1BE79681F5D82729D599A8EE8 |
SSDEEP | 3072:Qoi6hcS7/+Eob95/xduKII4ycEXGWeT2jmL7FPKM6Di:Q8t+zrxuycEXGWe6jmL7FPB6Di |
TLSH | T1F254712DEE8CE554ECD565F24A7887927D3CC1CEA7A1C202E12867B83FC32E55D66C90 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/omega/omega_plugin.cmo |
FileSize | 857552 |
MD5 | 449A05922AA5CFF35BE449A1929569E4 |
SHA-1 | 096F2F9D71AF42E69633BB6BF4F5A2F3E59C574D |
SHA-256 | 7F0BE68784CD5C3BEF527CD01DC4858A51403B79F06648A2F9F502EA2A5CFD2C |
SSDEEP | 12288:nr7tyE23l0Yg2iKObwfkuunM+ldwqxs2A4BS1PUWX3:fV23qlBsfZodwqqcSdUE3 |
TLSH | T19B05E70EA74E4E60CAF9C5BEC8C853EB1B1C47A423A3C6FF04FD42956E827592F89545 |
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/share/doc/libcoq-ocaml/changelog.Debian.arm64.gz |
FileSize | 218 |
MD5 | 04EFC2CC2E274C4466CC8092E8921EA1 |
SHA-1 | 14A813FF09215C81EE89783C014EE7E6242AF284 |
SHA-256 | 517281FF85538DEE685CCD91B2CAC99BBCA835DCE7F57D57679EDA1881F82497 |
SSDEEP | 6:Xt/7gjM5uDsAhXwiM+Shp9dTx0IOVy1ocUKoFjJ8iTWE:Xh7MrrOiRShp/iIMy1iKoFKiSE |
TLSH | T156D0238ED39815ADCC465DF2C8805E9041097F94A1D66113F135513734E2DD07E5D10E |
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/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 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmo |
FileSize | 491469 |
MD5 | 728DF9237978C481A83D10290CFAA6C9 |
SHA-1 | 1B4B17BAFFA5EAEA40F133368E9AB506B68F3E1D |
SHA-256 | AEF84555B04502A0E6A3EE7752774ADE4C089097AA532B5076A05A9DA83BC055 |
SSDEEP | 12288:fXoT05Pv5A4r2l5G/m48u2sTzj6/eBV4Z8j/:44r2l5G/m48u2sH2/uM8D |
TLSH | T146A42F2BFF880961E9F817FD85D461CF092A076CD283C9AFC52F16E95CC630E1B89566 |