| Key | Value |
|---|---|
| FileSize | 16465272 |
| MD5 | 5425976A23BA5A9F7F3010730B63BC8B |
| 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.12.0-3+b1 |
| SHA-1 | 0D12C51A329C0618ED4E9758BBEBE7D6F51C4582 |
| SHA-256 | C13BD27322A7696F2A47B430F0AE03BDCB7C0D63EA343800497F0179C11B2357 |
| hashlookup:children-total | 1074 |
| hashlookup:trust | 50 |
The searched file hash includes 1074 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/indfun.cmx |
| FileSize | 6701 |
| MD5 | 908A09D6FC2ACC8094AB97C204D05297 |
| SHA-1 | 0004BA79EBDBE843070D2C961C3E0A7FF16091FE |
| SHA-256 | 8642AA3FF9511656084475C6A6BCAAAC1D0A5905D5D05DEB31BE6E0766810CCC |
| SSDEEP | 192:uOdu9DsYXH9xbL/yD2vS23Pv8IEFY6uO/lukgtI:uOchsYXH9l/y7K38IEFYFQRgq |
| TLSH | T18FD15BA963C1393731F3C173EA864066D6B14543C7A3C47A93DB93811A34CBAE9E3603 |
| 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/vernac/mltop.cmx |
| FileSize | 7344 |
| MD5 | 5020AC7DCC3947B19A671B476AE307E3 |
| SHA-1 | 0089E6B23E2D07461C2CB1DC91954FE8B37056BA |
| SHA-256 | 82E9689921DC801A9AC74FAFDA384EDDCD548F09477864B2D27C7BF6A74C83B8 |
| SSDEEP | 192:1nAW90Ssw/Gxn8mzojWTYoT5mD2zd5IOLAo/Y2S4nuTcwx3dAnCUMUHWONkHdW0i:d5jV/Gt8mzYdZ/bomOt |
| TLSH | T1C1E1E5451B82BC2374B986F3FCCF5A20CCB0D443CE528E7EB1AF43429568816A9D7287 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/cbytecodes.cmx |
| FileSize | 2049 |
| MD5 | E57BDD44506FD86FA2F1FF260683FD2D |
| SHA-1 | 00B6C454C0DFE2678B06335F11F1851117BAF1A3 |
| SHA-256 | FDF853EA035141ACB776BF1AE86403783C592B252417EC76B40B645260CF0411 |
| SSDEEP | 48:0XVRKRi1wDji/N0ARTcD5XZ/sjvfSggLKcgXq5IhzbM1NG:0XVWiMARTcDFZ4DcgXpGw |
| TLSH | T1514152E5B78135AB70665237AECC00776BB448078EB1D8FCB9E9978D2AA083294C3506 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Ltac2/tac2match.cmx |
| FileSize | 5557 |
| MD5 | 881EB92ED877E3A20513FFCDB2A5F22F |
| SHA-1 | 00CF28A208E35AEF411EB374E5D7EA5D1A297CB1 |
| SHA-256 | 31AF1810D1D6B94EACBEC5A19C33C377C0B07E3F7DB40DE7E173251730CD5EED |
| SSDEEP | 96:k7J0KWijA1MefDszdW6PbeTCZmog8cDcQO4Sb/8+xykLSpctbZJCaOoVNl:3ij3ersz1Sam3BPx1+xyiM6Z5O2/ |
| TLSH | T1B2B16531634A3BB130FB50B6C24DA0D4A876D2895F6CD46FD1ED5E82BCE0D7256CBA05 |
| 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/printing/ppconstr.cmx |
| FileSize | 10786 |
| MD5 | 1FB955AA17367AA307C0C23D22021A12 |
| SHA-1 | 01311D1811CDF348D71FB72A2CD4B55307DC97ED |
| SHA-256 | 7DD8FFBF8B707E65416B28BD31363BF16AB0EB64F0172826B7ADA202AB4ABEB4 |
| SSDEEP | 192:Rir0mVwa1EO8mZEBM+w/UvhlHuXi6hM5g9kBt:uma1/8mZEQ/U5Bf665kkBt |
| TLSH | T13522715962C22903E895D1F78097E120C92DDF923E94F8B5B5AF533E58D0E8172BFB06 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/cObj.cmx |
| FileSize | 3364 |
| MD5 | FE079AEFC14EE4D19F3C5F5609A5FFE3 |
| SHA-1 | 015FA943593BC294D79F3428E942687A45CD7E86 |
| SHA-256 | F5211C12870ACACB2F8D39E81FB43CC564219153C60BA105507F1E0915E4E580 |
| SSDEEP | 48:Hg/12zACKyLxERtXxLi6YK9/FIt0211sBW3VmJnI+0mphLL+HED0/c:8GACKMxGtXXueWmJnyq |
| TLSH | T198619E527F5627EEB654B2793E68701AEA12E411CDDCC57392F64792B08AC0480F754F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/g_prim.cmx |
| FileSize | 3485 |
| MD5 | D6ED4959F26C206BC972DEBF9B16234E |
| SHA-1 | 0189D7AECC7D5EB9FE32111BDDC143D7654BD519 |
| SHA-256 | 8C0B6DD2E26962F984DDD3AD4FE8ABFDBAC73D34257D4DC1C705DB55B245F6C9 |
| SSDEEP | 96:97JuWirA1ADSxb19dW6PWS2mrzCZmI4g8cDcIgO23:birvSxb191uS2yamIHBlM |
| TLSH | T1BD712A8973C4364734A2DBB2D9CE006AA7B12803CB72C87DD6CF934B0578D6759D3546 |