| Key | Value |
|---|---|
| FileSize | 4119678 |
| MD5 | DCDDAFBE1E8DBACA51472EBEE069C8AA |
| 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 | 5EEF94038223F715A921B97D4E30BDDC3CF8C403 |
| SHA-256 | 094DE57541732D1F8A16BFBD4F351336BEE9AEA68EF8A5F35CC32F63E4936659 |
| 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 | ./var/lib/ocaml/md5sums/libcoq-ocaml-dev.md5sums |
| FileSize | 66880 |
| MD5 | 5E5AC672C2B45C519603C20531850648 |
| SHA-1 | 029F17375C392E82CD9DC6A228C16FD978F4BF6D |
| SHA-256 | 9A321DFF4B46C1D43FE0B23C763AA9C82F40BB07CA8F79FB8475FF4535921FFB |
| SSDEEP | 768:a1pm0Jxi541n4RQ07lowoKCh7nmVv2+8gR1O+Z2sO:G/J4RQJlI2+85f |
| TLSH | T1E36331B232CDEA7D328E497CD90668E7BB0DFF792E4551C0C9D861932BC10D9797A818 |
| 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/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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/assumptions.cmi |
| FileSize | 4797 |
| MD5 | EA0DA73970953F6B83CA0C1A55985A2B |
| SHA-1 | 06809FF90A0C1981422278BDDDB8948D907A44DE |
| SHA-256 | 4E8A5D4F570DCDAA37201CB11AF18CB9E9A10C01D16A6C4CE604AB7A6208A07B |
| SSDEEP | 96:X8MLB/shK9PCD0g8nJlwwKXvNZ6RANEZ0mtKN4VAMCCB8:X8rK9w0g8n0wKCRm+Ii2MCCm |
| TLSH | T1BFA103ED98E0F0A455F91AACE2ADC457096C9ABFF4774D3B131A0D9163F944CD32288B |