| Key | Value |
|---|---|
| FileSize | 16481072 |
| MD5 | 99156F8AC9C7DF12AED90D23593E2B22 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.12.0-3build1 |
| SHA-1 | 4A9CE91039FC03994A0654D8D1564171F83D24DF |
| SHA-256 | F0292FFA1900FFB9B97D9C890092599ACEE32B4F5FA9538E71E82A8727E9A896 |
| hashlookup:children-total | 1071 |
| hashlookup:trust | 50 |
The searched file hash includes 1071 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssrtacticals.cmi |
| FileSize | 7593 |
| MD5 | 08B04BD142EEDECF2E401B9D53ED63AD |
| SHA-1 | 0043B60396E8D49F3EFCBB61ECD94221EF922AA8 |
| SHA-256 | 1332757F2AC456E469BFB1D5972591F05100445ADCE04D0AE0ABE50E6EFB42A8 |
| SSDEEP | 192:ALAAqubjcgyoh/pjdu93YXH9xbL/yDnvS23Pv8IE0Y6uO6:zAb4wjc5YXH9l/y+K38IE0YFr |
| TLSH | T143F11ADC23423513FD96907EEA4A005B9AB1427EC7E9CC3F919642C056E189ED7DB643 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numeral_notation_plugin.cmi |
| FileSize | 5292 |
| MD5 | B7582ECD402C2EF70D9BFBCC5510A419 |
| SHA-1 | 005D0378F714988A1734E41C38D869F6F7523C6F |
| SHA-256 | 3124128DF3C02046D330FBF77F3B20D7E7AC116E781BBC7A3E21CCB3ECD2CF48 |
| SSDEEP | 96:1Lg/s/eJwWiT9AMKYyIDSxb11dW6PS+BQbkyS2mrqg0ZmEZHhg8DDccgX:1spiT9lySSxb111DHyS2A8mEHWWK |
| TLSH | T1F3B11BDE338236177CE281AA9185005391B04977C7F3CCBE979A93C465B58AEA7CB843 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/tok.cmx |
| FileSize | 1318 |
| MD5 | 602BFA773FB9E1987E9EF6AA1E2AAC66 |
| SHA-1 | 006CCFFAF418F22A165B18C0FA9426C13492D610 |
| SHA-256 | BE8A0DDE9886D7FF626613F601C6AC50328FCCB864BDF339E5A58D45A29A930B |
| SSDEEP | 24:7ip220nRiQDjTYMw4tAqJtwS654lm+0KcXgrM5CbvDrXxrOnqk+/Wnlqo+Hx:0RKRiQDjC0A8tngDKcXghvDlCnqk+eni |
| TLSH | T1FB2120E477913D9A7C56B2B3BCCC502E87711807AD20E432E9DE87872AA54B170D354C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/workerLoop.cmx |
| FileSize | 5244 |
| MD5 | 86F02ABDDD77D869D30A1EBBF2A6E388 |
| SHA-1 | 01AE518949C49EA11054A56515F8960DF9DE4CDC |
| SHA-256 | C305256D7712E11CE70E7E70BA9A7355AFF4D9B855487D4501BB22CD916F7DE4 |
| SSDEEP | 96:yT/JozWiTJjFAmYqdDSxb1/GW6PbDh8yS2mrqp0ZmEZX8Mg8ADcDgi9WECLNy7NY:ySKiTBFIqRSxb1/yyyS2J8mEX8jxm9Wp |
| TLSH | T163B14A9933877A9330A1D623E4CA4163F8F15823DB23D479ABCB53A115B6C63B5C7602 |
| 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/printing/pputils.cmx |
| FileSize | 4006 |
| MD5 | A33A928EFF7708FFA9B825835F0E3BB5 |
| SHA-1 | 022343A3F4126D078A60AA124C219B2EF67AC950 |
| SHA-256 | DA0878DC2C956530CAE28B75160B2D3A9B059B7439C9E1A1795C57D8EA853BB8 |
| SSDEEP | 96:47JuWirA11fDhH19dW6PwBCZmI4g8cDcDggggdpLi:mir0r5191WamIHBcgeLi |
| TLSH | T1B58107AD7381364376A2A173D6CE1052DAB154D3CB32D878B7DB52C615A0CA3FBD7242 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/vernac/comFixpoint.cmi |
| FileSize | 6862 |
| MD5 | D0F5CD8E713037F6BFE961DDDF618B70 |
| SHA-1 | 0226B5509628096ED919B639EADF85664BB50F72 |
| SHA-256 | E7BDCB91DB52D27E8712EBCA23B1A7DA765EF225847A4D2EA4BAEF21F1583029 |
| SSDEEP | 192:15jHLiC9RNqLbEKjiT9XySs1/1EU8mEHjW7:HL9CH0la/1j8mEDq |
| TLSH | T1B8E1E6ED23427993FD9091AEE6C9416B0670463FD2FACC7F568603C102A042E97EF263 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega.cmx |
| FileSize | 15981 |
| MD5 | 912E4A4727F2C6C430C2A183C46FE785 |
| SHA-1 | 0233C6521BA5D21E7FF3BB9E8AFCC9EA11185DA7 |
| SHA-256 | 54973F477D8F335795F04E89FACC64ACCD370EC4D3828BD06834302E44CBF073 |
| SSDEEP | 192:xo8ZlolFbClvgOtiDqBGc76GxyMPsAU8+i0Y88VXdmBH0J6mtn4ma:jZlAGiDqBGc7WAL10Y88VN+0J604ma |
| TLSH | T135729DDD528FFC41E4A035ADC95CAEB28D2AD7D70FA2CFE544E94B027E44AE20587306 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/ground_plugin.cmx |
| FileSize | 19709 |
| MD5 | 3B1590C9ED1DA3016250A9FF897E4E53 |
| SHA-1 | 0239A6148CAF5935820EBD80164F6D40CEF5C26E |
| SHA-256 | 532B9E5BC84FF9949708B32DB6B6F6B9CA98644AD5DF52861A20A68725D00B42 |
| SSDEEP | 384:enWwMvPf6ZTdhsYXH9l1yUK38IE99FnaQFQkQ6mQtnQgQTQAQkMQoQkQaQjQVQMI:enWwMvPf6ZZhlHf1W38Ii1VyD6ZtQ30q |
| TLSH | T1349254116B9A7A0BF6E38275AE5D5AD6CAB6D1D18FD0D77604EC077A3880417C3E3306 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/vm.cmi |
| FileSize | 2680 |
| MD5 | 016CFCB3735CDEA03370857E20069C43 |
| SHA-1 | 0243CFACAEFF4C5DFB08BF77F7FCFFC32122AC99 |
| SHA-256 | 07CAADF7A2B9A971A0299598819F8D1AE5DC141A2D7C2E71C71236D069A36AE5 |
| SSDEEP | 48:X8y7AKKaqeEep44z86EkVXVRKRi1wDji/N0ARTcD5XZ/sjvWgDKcE:x7AjeEep4mXVWiMARTcDFZ0+cE |
| TLSH | T15A51528E77807B56FE68113ED6AC05AB1271023ECAFBDD7750C64BC011A081F93CA58B |