| Key | Value |
|---|---|
| FileSize | 15420420 |
| MD5 | 53C3928A01EA094905CABA7593D81A89 |
| 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 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.9.1-5+b1 |
| SHA-1 | 9482DE5DDEF43EB2B7751D58F3B8C2FAB9671FD7 |
| SHA-256 | 1A09FA0518470A647175BF5FA9D4FE9D227C0B1D211ECD61602E756EDA0DC0EC |
| hashlookup:children-total | 975 |
| hashlookup:trust | 50 |
The searched file hash includes 975 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/evarconv.cmx |
| FileSize | 8585 |
| MD5 | 14CD9F7CD703C95639096BBC472CB707 |
| SHA-1 | 0038876AA2C3B013D1E70F6C8C0400264007A475 |
| SHA-256 | EA2F98BF005341644400E10B89B51C2A86522D3C4424FEF62FF77FB753407530 |
| SSDEEP | 192:faiWrjIDBCfXC/mZbaqpczaK3Y8Yw0dbQPRuDlPQyGL3c:fSEDB/mZbaqp6lo8Yw0dbQZu5PQ/M |
| TLSH | T17E02B56633C47D2768A781B544EF40F34E24A8594F82AE7CD23FC70B3A69E05965B70E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/reduction.cmx |
| FileSize | 7236 |
| MD5 | BC2D19A58B95F750C12AA9D6FAC1382A |
| SHA-1 | 003A2A9CB140C0A4B3524EC7B98BE64DC4180F52 |
| SHA-256 | 37B528EC9720C6F2ADF223B7D5A48A9D60D9BCA740D7F84FF26B4442F4EE8C0C |
| SSDEEP | 96:6Pk2WivAREDP2HPGYhrnAE2F0dS04q4Hb5x5t+mc6gelZB1Q3v:/ivLsJAE2CdP4qW51+mDFt1Qf |
| TLSH | T1B0E11C127F563E06ED5B9DB6D1BBD032AD3081417EA0A873A15DE71B6C74B02629F20E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/eqschemes.cmx |
| FileSize | 5830 |
| MD5 | 3C78CD3D5BCE21F487BE72C03974A40D |
| SHA-1 | 00EB7597C2ABC6B6C26C6603949A1A5B8616A9E3 |
| SHA-256 | EDECE73320B1AB61D1DD4D5ADD72216782149EC5D6C7AB83D873F3A7ED213FA3 |
| SSDEEP | 96:TPmHIWiWAG0PWHVnmj1SDAUf/l5qwzJ94YlViCYOeGPSJ1JwlfW:AiWYumBeXVNzJiCYI56J1JKe |
| TLSH | T10FC1E8F9F2423993A20781BBAC641077DA38F07E4FF2D838E6E78B1F49281056573A45 |
| 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/lib/loc.cmx |
| FileSize | 1231 |
| MD5 | 1A6D3AC445440F937A12374E7C31C67A |
| SHA-1 | 0139EEA40CA6FA324C0A1826F96AEA1227D79978 |
| SHA-256 | 7B4685EADB04905A8AAF33B70AC1E7324DC1495DE11907A91B891BAC9C4934B7 |
| SSDEEP | 24:7P1AWAoey/6hv79EPgeiCQxEhCX3CWOjCSyc9KG8froo7B:r1ADySqpycD8fB |
| TLSH | T19121CA40A5A6EE53A801F67EE8B29150CA50F35CBF01C97698740FDA76C18A5BA272CC |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/summary.cmx |
| FileSize | 3850 |
| MD5 | EB88590B2768DDF2C048CD8A3434A539 |
| SHA-1 | 018F549705BB12B2B728F8095D36CBB825D68DEA |
| SHA-256 | F14D6323E5714CB3B3BB475CF8437C00E7B8D2A9742875F73A89D4E3C85D2FB0 |
| SSDEEP | 96:ZmWHAVL9M5NMkqaYkZ1LWh/fBYeORpOcfyo2G:pH++NMP7k/LgxOacyo2G |
| TLSH | T1C181A702FBD57A5329B2E7B6F84AD4DBCD33C2158ED4097765644BEB8070A1296D31C1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/terminal.cmx |
| FileSize | 1498 |
| MD5 | A15E7A5E79DAC5E3415E321AA9D4F5B5 |
| SHA-1 | 01C9C5BF40155D5E5A1EAFE3A8432EE9E1729137 |
| SHA-256 | A77A98E313649A22FA6DC39E498D477D8331E9549AA3550245A1C2B2BF17B5CF |
| SSDEEP | 24:7fry0l22UjTa2RTAXwOqpTwJVBEFpRdYIIHWKij8A2lJ:Py0fO2WTAXwrpTwBEFpR3dKij72lJ |
| TLSH | T185315A219F3AB762F142D33BE952273D8A148A767C20E0765DB9CA0663D2AC0F4C3242 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega.cmx |
| FileSize | 12182 |
| MD5 | C85129CA6F40EF31EFA90EFDAEB34188 |
| SHA-1 | 0214332346B40C8E3E6F3AE80C7BFDD48CAE46F1 |
| SHA-256 | 19CA398B2BCABE95B6958F98CADC6EB1B0C116F252A12C379B6621BE9047FB71 |
| SSDEEP | 96:3AIwFJRVWmR2ndZryIu+7y9QEGpq47C1odG+XV+EvKxBBbTkAncR0MSyOQ+ENOfV:3BqR2dMIu99ztA/TvKx/oR0bylOIGwG1 |
| TLSH | T173427ADD528FFC41E4B0356DC95CAEB28D2AD7D70FA2CFE184E94B026E44AE20597306 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/cThread.cmi |
| FileSize | 1091 |
| MD5 | F51AF43798669BDCCE2CDF258F367535 |
| SHA-1 | 02FFD47D199F117CCA54607F3F5428DFCC890506 |
| SHA-256 | A459E4CBCA89496BC856A0AD021CC14DB0A30478232BBF48B1BFF31B3544FCB5 |
| SSDEEP | 12:ODzDCDD6KM/XmdOEaIkz4mCNbNwiHcnmF+8vys0bMXlz4mfIGvL1vV/0oNtt/2rK:ODKD2pIpbvP+V7MsQbDt/2HERz5j7AC |
| TLSH | T1B011CE9DA3684568DC05512DA1C706BF6B3322BEC2F34C67C6698FC4A05F04C934AD87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/goal_select.cmx |
| FileSize | 1733 |
| MD5 | 85AA39C37478D9EF72107CCCBC951598 |
| SHA-1 | 03046EF9D90A313BA8DCB5D4F25F9EEF359FB7E1 |
| SHA-256 | CA54C78BCBBE4EA0B6A5E7761ED96A6AE6171AE1408A90D2B67CC6C1A8E4E4DC |
| SSDEEP | 48:SVzRKRiQDji/SF0ARN6tmDqEMyNIo3fWpUEVRgTs:SlWivARNSmLIo3Ahr |
| TLSH | T1BE31526636E03BB7B5AB51733CE901D682310187DED2D538E29C43578DA992457C3A27 |