| Key | Value |
|---|---|
| FileSize | 3780318 |
| MD5 | C017FF21BDEBC69D5175E542B26ECE18 |
| 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.4pl4dfsg-1 |
| SHA-1 | 7E4401BFA532255E1FD2EA69F0D054A77E9B20F6 |
| SHA-256 | 2E1A4769004C2DCB0B21F8B21BCEBD932323B35F1AB7584CD730894C3D937CE9 |
| hashlookup:children-total | 413 |
| hashlookup:trust | 50 |
The searched file hash includes 413 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/ide/ideproof.cmi |
| FileSize | 2340 |
| MD5 | 7D5F11399738247B83D3EA5421E34AB8 |
| SHA-1 | 0114454489E51CE4C7C7C0982302978DB28EC6F8 |
| SHA-256 | 0BF4222C330A8A0B06CE868E6EA53956BB30FCDD106CABC746C464E49B3DA17E |
| SSDEEP | 48:HqV64ovpA2vyAA5vR5/3fdatapouKNLlVczo+qZAov918:HqVypjqH3fdkaGuKNLlVcHqA28 |
| TLSH | T11A41A7CC15A198A6949EA06C42359E07309992FECCBF0E7F0A45A5A0906689FE7168CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/interp.a |
| FileSize | 1345862 |
| MD5 | 5CC3546066B845A8ACA5C5F8DECEFC91 |
| SHA-1 | 0270F9F5B2207A4A2CFFC75EBE0E374962EB5E0A |
| SHA-256 | 82092D4306C114AF6A00EF22DC90171880F729DE700A70576F6120BFC1636DD2 |
| SSDEEP | 6144:H1LI3ZzHKlklxkWa6wzYuvv8GL8GSYLdRfAhPMoX0dSr07Y34HWMg35clYT0GPCw:P0S7XH9g1apvXKAibS0jQqGipm0K6 |
| TLSH | T154551E03B647487EC5488A3641726321A77AFC49BFA0BF433149731E2F72D596EB87A4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/ground_plugin_mod.cmi |
| FileSize | 2034 |
| MD5 | B3505C0BFD432403F362A2C123904421 |
| SHA-1 | 02D6A8E9EC4A8F22E5A5DAB6D02931FD48ECDA1E |
| SHA-256 | 543565E024F7CAF3FC630D6284FAFF4E8C392FA1FB1145FA7965B0A587B4DBD6 |
| SSDEEP | 48:DhMRr+YBELtKNPPoPbcmdwVyE5abqVROSJYP5bP78z18:DWRPYtKNXoPbcCwtPVROphbPAB8 |
| TLSH | T10B41D6D6F200377BA1E656B6770610C541F919D358A3CAB173EC13D8AC4EED07A32A24 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/cbytecodes.cmi |
| FileSize | 4744 |
| MD5 | 8EE64724E432382174EFB65A3CD23D7D |
| SHA-1 | 036294CBE9D0F05645152CCA7712EA9A97590BCE |
| SHA-256 | BC24927E5C61463E51DB1931C7027427F07BD20F48CFC8903B582007A74D4DA6 |
| SSDEEP | 96:Zl08YseBcyuabG+083WVtJfPqEJDEivgWfqfgKNCrW8:Zlkcyuabt00j4v5fKzNCrn |
| TLSH | T158A1B7DC972C08E890AE68BDC252AD4755503BBC2897CCB314A8DF62E76D83DD317A47 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/highparsing.cmxa |
| FileSize | 15145 |
| MD5 | 23218AC09F8F985762558AC0EAE20BAA |
| SHA-1 | 03B4204403609B3E4C3736236DE3960952B1325D |
| SHA-256 | 20C1136C3833D5051B1EEF733D119A72C86ED9E5967208FD7B2C754DB98E7F88 |
| SSDEEP | 384:8YIbrgLIoOZ483YIerhLIqiZ49YI/r+uYIYr1:8Y4cLbOj3YdVLNiUYgbYdB |
| TLSH | T128621AEAB34173B764E586B6B716409546F829D398E3C9B5B3AC07C8980DFC06B33E10 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/inv.cmi |
| FileSize | 3591 |
| MD5 | B63631981904664BB051FA7321AAF3D3 |
| SHA-1 | 04638D44727D12E0869BD2ED1172E689172F2A4B |
| SHA-256 | AAB2E946EF34B3EC07BA14A35E449C2AB8E100D124521F3DDC1C728FC9A875D2 |
| SSDEEP | 96:lj9HD3ysxYyQMFxKiyG2Oc4ktKNXREjc44tRuVAwpAB8:ZRT9Yy7KibcnIE4Pu2gAm |
| TLSH | T1107192DE652061F610B918ADD226880301982BBDDC7BAC3B116D09F47ADC98CE372D83 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/refl_omega.cmi |
| FileSize | 26388 |
| MD5 | 47C0D8CC0BDD1221E17CF7E5ED4E3AF0 |
| SHA-1 | 0504F281DC610476BFD90FE8F3B6EDF3241FFDF9 |
| SHA-256 | 46145C44B332AA27A52F151025F2B0131CA8A16CDDBC3C5CFAD559D7D5524497 |
| SSDEEP | 384:I6QG29DZJnvtrxWR9TZQ+QhWpPFXJYpj68FPIK/t:I6HoDXV90RZQ/hWpPFX+pjhj/t |
| TLSH | T145C24C5C9066F4F500DBD9AFD19C8C0F2B10927F18675C37816889A1AFAF91E9F13A87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/const_omega.cmi |
| FileSize | 11491 |
| MD5 | AD1B92557B9EDBBCEC08964B383B45C8 |
| SHA-1 | 05E6E279A5A6049FE04D6FE2D6AD507B82E77A23 |
| SHA-256 | 7763E470196599ED24199F875E7EDDCD1E793FFF4AB3AEC2D44806975BB4BD64 |
| SSDEEP | 192:Ny3NU+fDPyzC4dzbt3RZdZdJtjv4TELlAurzg4iVHgW+I+CPu2kAm:eNUOD6b6mzg5UIkF |
| TLSH | T1E232E24D9948E1D8DB14BEDDE244C84B21B0B7BF19B68DF3033D099A5E9990ED36384B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/equality.cmi |
| FileSize | 10987 |
| MD5 | 6944127CEFD6C2B79CF7952B381EDCB0 |
| SHA-1 | 067C5F7B1872E46C703AC27095E401656CBC0AA4 |
| SHA-256 | 978404C36F05F62B84CEE504C12A208E9974ED906C7904C82EF4BC5017F2D5A9 |
| SSDEEP | 192:ol0qwv9b9HzhV3mx4BdjuOdNQaV/M583Q/Yl0QboYg+qHO27WwxIKS45ju2wAm:3zVZwOdNQy/Mm3Q/yeVusWwxIKqb |
| TLSH | T19032B59DA840F4E90596256CC19DD85F3B209BBF9C236E33422C44F4A29B89DDB52EC7 |