| Key | Value |
|---|---|
| FileSize | 8231836 |
| MD5 | 4F3EBEDB5FA993B5DC47088DDD02C6AF |
| 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-2+b1 |
| SHA-1 | A1A5C8DE36A98257E294840128C2BB0B7AD34EFE |
| SHA-256 | F7C565233F01796DB3789A601A2816B868E50878CC69492EF16D71AD98C872BB |
| hashlookup:children-total | 444 |
| hashlookup:trust | 50 |
The searched file hash includes 444 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/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/library/summary.cmi |
| FileSize | 3221 |
| MD5 | BB7DC7ACB50671B0E897EE966AA10042 |
| SHA-1 | 0304E31B24AA9402F5B1345CDC7678CE35E4833A |
| SHA-256 | 6D315B27072F208F1FDF9A6CD5018318767404B71945AD2B738F07F7761F276A |
| SSDEEP | 48:brJLLSr+PSUrakrxk66gYylRnM+q/XNp1Cv4ZeyGwv9aMJwWx/9AiCwwgUKRgmEg:brJRlu+/ylFPJPFQwwAlEu6AR |
| TLSH | T16461446D6F569396ECC946ADE584C7AB6820473CD4F7DC3F60180BE4211222C676B2CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/store.cmi |
| FileSize | 1039 |
| MD5 | 7CE41D8E6B4A2A4E217E9E5B1E42BDFC |
| SHA-1 | 03646CC6A1BD9B227B0E52A878EEE4B93A230FE3 |
| SHA-256 | 71AD42588EE3915655916DB4617CDC3E4F97EEED32611DF1D7783A1CB36A72B2 |
| SSDEEP | 24:cZiAq96lOge8pzhHtnwGG+lOhaC0Ct8nlOkeuCAC:cZijie8pDnwK+aIalO5uCAC |
| TLSH | T15F117A2E8F454E16ECD825BD558482E76C2013BC98F7DCBF45098FC5908604D077F69B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/cases.cmi |
| FileSize | 10515 |
| MD5 | 28D4C7139BD619654BBCE246E999F9AB |
| SHA-1 | 037E86862523EDF690D26D0911E89E211AB1289E |
| SHA-256 | ADB39E8FA53129ECCD1CE3D91B9EE92A84E72BD392D096B9A7CA748AACE479B2 |
| SSDEEP | 192:KvAxEfPj9w2qHYpXfYWDVVm7Lvt+vbllGbSPksAiW+Tu/hJq:KvAxEfPjHeoPmYv5P9qhQ |
| TLSH | T1DB22966EB7132956EE866AEDC6BC427747200B3EE6D68CB7D10C07F100A651C57BB18B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/nametab.cmi |
| FileSize | 21302 |
| MD5 | E17748E5E0EA5AF9F22F79999E5D0523 |
| SHA-1 | 04B5E0410C0DA5FD012C29076768473EEB6A9CEC |
| SHA-256 | F1FAE1F24B750FE03AFDD7334980ADA75B6DBA88A6BEB17A1B9A417540B9A066 |
| SSDEEP | 384:FdfD+MR4GPzinNNMwRuenJMIIqRf99UrxYn64UAqm0Ggyy+hV+ojUp6/:FdbxmezaNmwRuYMqRf9z5qm0KHhOU |
| TLSH | T1FCA2E9AD6A9F0322DD9A02ADD4B602672A700BFE97E9CC37C1680BD4915CA0C175F7D7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/constrextern.cmi |
| FileSize | 7621 |
| MD5 | E4B4B32D0057D2C9F74F03044CEA178A |
| SHA-1 | 04F66D24E97C6DC3F84781E3A695BAF1EB3A8AB8 |
| SHA-256 | 320CCAA0BE22B15690E7E6EAD742ED4ADD1A94531013A8F6555BB46AFBEAFA67 |
| SSDEEP | 96:nGokTtCyE3HJtI02+s0fba3BwbYkIap2KPTHIWiWAG4TEAHVn/uDStUct:GogtPE3Bm0fexwbP1pxJiW+gY/KJq |
| TLSH | T174F1979CA7416B56ECA601AEE5B883571320077EF6F5DC7BE60C0BE4052A50D637F287 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/nativelib.cmi |
| FileSize | 3282 |
| MD5 | 8E3EC4DEAB87C026B5AD21F6DBC76300 |
| SHA-1 | 05408FCC81467CAC529C56F0D6120EB515743AEE |
| SHA-256 | 0C23D485F6A577ADD9DCD13E296C2A53010965281BAF90B8537DFE7995CE44C9 |
| SSDEEP | 48:ApsYOo1f+nhTtA2wGq4kRBqLHVzRKRiQDji/SF0AREbW62WHo/Zb6EfUJWWpS:yPInBj1HHlWivAREiPWHCVUfS |
| TLSH | T12A61975D37803A47FE5D527FEAE901AF4220027EC9F2CCBB91944BC0405A62D67DBA07 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/vernac/locality.cmi |
| FileSize | 1209 |
| MD5 | 37B6A0DBEB5342122F51AC7513D2C5ED |
| SHA-1 | 070A9836BB0487625AF927C4122E6558E5220095 |
| SHA-256 | CE552DFCFED98E5268AE655C21A113057D00C43CAEE35DFADBBAB68AD23B74C0 |
| SSDEEP | 24:2CJQV4s4/YyucK56+3jQXqOpZFJzrtOJ0vQtibmRAGg:2Ons4AJc/zqUrPv6RAGg |
| TLSH | T1D0216A8E13220A5AED6C61BDFA8101EFD52103FE80FDCD7B51224FD5C24224C43CA987 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/stm/vernac_classifier.cmi |
| FileSize | 4434 |
| MD5 | C9317BDFEE01E8F6587466D962CDF2C3 |
| SHA-1 | 07A061E49DBFEFBBF65EE54E3E8CAB50C0D977BC |
| SHA-256 | 3E5E4EF14552B3FA1EE56C4D6FD890C2940B122C7A985755AAAB734407413F43 |
| SSDEEP | 96:WESqgb2DZIWi/AG4IztbEUHVnQFYd8DO3U5qV:7i/+IzKsvMjk |
| TLSH | T10091FB6D72417D3BB9A7815F79DB40F3D234007ACAE3D4B972FA43880065966E6F6107 |