| Key | Value |
|---|---|
| FileSize | 21636996 |
| MD5 | 47F48748BF94CC0706E0F91A9839D218 |
| 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.14.0+dfsg-6 |
| SHA-1 | 454EADC3DEB707DAFDBB858D0B10392B8842C398 |
| SHA-256 | 073B4671DA27D7C20DACCAE915C6B5E3393CFFAF890F112675AE4AD269C964AD |
| hashlookup:children-total | 81 |
| hashlookup:trust | 50 |
The searched file hash includes 81 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-core/plugins/ssrmatching/ssrmatching_plugin.cma |
| FileSize | 593197 |
| MD5 | F56588BED508DC31CAE6EE11C3A761E0 |
| SHA-1 | 02CF11BD464AF8363ABA7731859528C4E2888E9D |
| SHA-256 | 8B6D2AE6A702718336CD7B645C9E9A7D2F44DD96F5949890B5DF64005985385A |
| SSDEEP | 6144:LZ2T7/N3mdvboQ4D+/peMMHa4JhGxv0HGYk+AqyxRBAsFZGTRh/:LZ2T7/N3mNbvrMtGZAPVA77zgRJ |
| TLSH | T14CC4313BEE5C08A0F8F517BA88E891CB4DAF879D5783C59FC12F02D4A44A7191F4A647 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/stm/stm.cma |
| FileSize | 1188907 |
| MD5 | 22DAFB208F2C41FE611F00FD0362076B |
| SHA-1 | 048737B33CB2552A425481A9D0C50F3BE2411FA3 |
| SHA-256 | 6EE201EEE300F4C418F435EBCC2F351E32E18838003BA6BE2B01DE241CA75DE5 |
| SSDEEP | 12288:SLHI6OQ3Q7Mk/VniGt2RZ//zRUnk/1dyfkNv/+WuxxI3FtWtIT59nBx1v60P98hc:g3amZZ+/tIT5bH6o71jb |
| TLSH | T15D45284FE71555A6CC994ABD9CCA029712E42A3C87DB4EFBC09B02D4D48274F2F92D4B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/extraction/extraction_plugin.cma |
| FileSize | 2188407 |
| MD5 | 21234F660526F0C0662DDD5004F3AA77 |
| SHA-1 | 0998CF6FF142BE76285E6D5356A113E628B92B21 |
| SHA-256 | F2668BC443610CD55CA3ADA71EB5BA4C70A006B676559BE5C27F7973E147FD2A |
| SSDEEP | 49152:FndAD77LR75Hg5gMUbpyYhQm19QIrQF9JKVjO7S:GPLR75Ho7S |
| TLSH | T1CAA5840EBFDBE470C9E614798AD7818602B9D794038ED9276F2E01D4AF617EB5F83805 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/nsatz/nsatz_plugin.cmxs |
| FileSize | 199324 |
| MD5 | 973077016CC178A627714D93E7174299 |
| SHA-1 | 0DEA518C50027E99AC46D0DAC1011C3D5ED065DD |
| SHA-256 | A86E0BB0F539D00A8F1C2E56F49CD8906C6866A2967EE785AAC91508E98DC4C4 |
| SSDEEP | 3072:+BNiucHSHBbabth8wQxHYKHEZ6uBZYFFTboAcrb/J:/ucSNaj8wQxHYKHwTBZYF9Grb |
| TLSH | T1B614F742B0484579D2BA1FF6D48B47E222B4C35D2722EB0AE47027787DB179A0FD62DD |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/parsing/parsing.cma |
| FileSize | 886502 |
| MD5 | E423D57F0DA1929F1B7B7C5FAA1BEE2C |
| SHA-1 | 0F2519CB0FE3B5B0F16253FE552748F4971CEC7B |
| SHA-256 | C34202604F82DC595864F662BAC07F207CF7F39BF72635BACB1D18CACD71368B |
| SSDEEP | 12288:VOZ7TGF+sOfbJ5ld0SFdG/Dfi2bwyH94HL67zzto59pKe3z58s2YZvcQ:h+VbJ5DF4Dfi2bwyH9cwH2L58bYZvcQ |
| TLSH | T12D15F70ED7950951CC465DFECEE989A703B2153DE7528AEFA08F02DEC042B4A6F63D85 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/float_syntax/float_syntax_plugin.cmxs |
| FileSize | 24900 |
| MD5 | 7F04631FE5C58ED5E984D59A73275F3C |
| SHA-1 | 1125B255C0839ACE61AD430B6F5E709EAD71E406 |
| SHA-256 | A2507AA7515E44D1BC47DCF79FFB4690FFBB73570790DE428A704CF765644EBB |
| SSDEEP | 384:KScWS7M5QtM+eB+cXqv/UDMxIsYioTfAXX:KSfS7M5OMvnSUoGioTfAX |
| TLSH | T11CB2F612B3C8BC79F0FD09F5886B070F6B74C1ED96769F2794A812883832A5941A3DC7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ltac2/ltac2_plugin.cmxs |
| FileSize | 1265316 |
| MD5 | DD9EBD362FAE8D28915B44C4F5E736DE |
| SHA-1 | 117F74111C722B3A6FEAC867F4FCDE2983FD177A |
| SHA-256 | 04B48DDA7ADDDB7BA6FF6C1AEA63BCBEDC88ABE60CB384CDF7224FA2FDC98F97 |
| SSDEEP | 24576:ERomUSsEszMpHCO+JXoDTw0moPns92l2em:D89moPns92l |
| TLSH | T1F7450911A88D4FFDC2BD0E738D6E9BB2F13493D40B75F90B580059607EA67A2079A7C9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/ltac/ltac_plugin.cmxs |
| FileSize | 2232164 |
| MD5 | 32DA97580A7363B4EC94B431F0E4FAD8 |
| SHA-1 | 123EE7C5E2D45F387627B5F0DD4F9B1DED269E97 |
| SHA-256 | 8C229443D058BDFEB07DA23D49A5F3187BA6EB47A4D6C4E30163C91138307898 |
| SSDEEP | 24576:ltCn+kAjYu0qB+XiZUB1QlTW+CvR2A/RGfIDLV1HHWhx+lUEw1VYtunkGMzYN8h7:j+XiZk1v7AxsUEw1VsunkGMz+8h |
| TLSH | T101A52A01E88E89FDE2FE4E72995F8F57783493910BE9E5199C540C843F632620BDA2DD |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq-core/plugins/btauto/btauto_plugin.cmxs |
| FileSize | 53596 |
| MD5 | DBA429DB13F1FAFEA32BD1ADC51F0177 |
| SHA-1 | 14087E6294B0FEF48D5984618FB2E08A508221B9 |
| SHA-256 | AB486161334E3053947A20DF8B73EDFED44D919BF1FAF316140C8ECF5BB523BF |
| SSDEEP | 768:l9k4Go2KQVZmyCD4DDrpeZHY7EY70D9I5Gg6TJgRwk:Ee2KQCyCD4XrpYHY7EAfpak |
| TLSH | T13633098677D959BED0B90EB1C4DF43923978E2A60672EB2A48BC9F453D181D087C23DD |