| Key | Value |
|---|---|
| FileSize | 9704472 |
| MD5 | 17FB6276312DB2765C7E47504374E38C |
| 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 | 2BB85736283C0DC2BB136B35ED97FDAE47F43F0D |
| SHA-256 | 0395EFC8FD6A07E58FDE932CF7DBC1A44402EAFAA1A716360A5FCC28E7058354 |
| hashlookup:children-total | 525 |
| hashlookup:trust | 50 |
The searched file hash includes 525 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/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/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/kernel/vm.cmi |
| FileSize | 2680 |
| MD5 | 016CFCB3735CDEA03370857E20069C43 |
| SHA-1 | 0243CFACAEFF4C5DFB08BF77F7FCFFC32122AC99 |
| SHA-256 | 07CAADF7A2B9A971A0299598819F8D1AE5DC141A2D7C2E71C71236D069A36AE5 |
| SSDEEP | 48:X8y7AKKaqeEep44z86EkVXVRKRi1wDji/N0ARTcD5XZ/sjvWgDKcE:x7AjeEep4mXVWiMARTcDFZ0+cE |
| TLSH | T15A51528E77807B56FE68113ED6AC05AB1271023ECAFBDD7750C64BC011A081F93CA58B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/util.cmi |
| FileSize | 30944 |
| MD5 | 50F07AFBC3BD47D6121F727594493DDD |
| SHA-1 | 0278CE722C0D836FCF0C84E2071F161313A88EC7 |
| SHA-256 | 3A43FF4FC48E261FDF5B9D885EDF614ACBA622BC8B38564117DB80D975DC6ACA |
| SSDEEP | 384:hh1bg9gh3hSDhnZJMmkimjiVVKXwL6+yOEXfaMUyWCAAkHxH9axRnG0gpm:KOh01fkvMhJNtfAkHxw7H |
| TLSH | T183D20E7E2A9F4321DCE916ADD0A25267A83A07FCBAF19CB7C4160BC0919D51C139F2D7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/redexpr.cmi |
| FileSize | 4334 |
| MD5 | C7F03B9E8E4764A0708187F9781882E3 |
| SHA-1 | 0392654CBFD15F16F5C5D54A71CF97C021987E82 |
| SHA-256 | CEDBAB5E4C3A082E08A31894CC5789864C1AAAB9E6B2F5AA23088230ED0A599F |
| SSDEEP | 96:zvhQ5wbprZCgxE7JuWijA1MefDs1/dW6PcTCZmI4g8cDcHHgX:rK4plCLij3ers1/1gamIHBMG |
| TLSH | T11E9116CDB3003650FCEA457ED5AF119B2830012E92F6CCBB908E43C909A592F63C790B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/hashcons.cmi |
| FileSize | 3224 |
| MD5 | C6EA166D69D47FE410FDDD303A6A12C1 |
| SHA-1 | 03DD140A2D22CA8C442A3C9258250F0871F979F4 |
| SHA-256 | B8998424D0E887BD312DE2E443FBDF87848F227221A6C9FB5286AFE387B3848A |
| SSDEEP | 48:e47/Hj60UMBKjbkdyhhQudNk/9ICipVb8wkddG1mJ4RMmX5OAL:n7L5BKj3HE9I78duNtOAL |
| TLSH | T18261BA5F93180A55DC890DBDC18493A7292406BED1FBCE7F241C0FC449A65AC63DB2DB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/notgram_ops.cmi |
| FileSize | 3801 |
| MD5 | 69A7B345CF22C0EF9649CC4270906303 |
| SHA-1 | 042465DD5D198A74959A1380E8A9545FDE40D28A |
| SHA-256 | 35F2933F9BFB3D4B112885F72455704D4164305311962C028DF55E5CF259E45D |
| SSDEEP | 96:cStPBKFDvJ7JuWirA1ADs1idW6P+r7CZm8pg8cDcDgX:cIoDXirvs1i1Cam8uBD |
| TLSH | T16A7107DD33803645FC9F9227C5E90497223014AF86B3CC7A968983C50865C2B57CB943 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/scheme.cmi |
| FileSize | 1234 |
| MD5 | D3B6919B19A758419DC0FD2DFD82229E |
| SHA-1 | 04877D3A2DDC680C104E16EF6D9261A3A1967D63 |
| SHA-256 | ACBCA74CA72DDF422F8F88713B5DA8C148DE12A6ACD025D3E1061E65933CD522 |
| SSDEEP | 24:aVmOnGE220nRi1/oDjT+uMw4tAkDPUwSd754lm+0KcZ:WmSRKRi1wDja80AkDPJgDKcZ |
| TLSH | T18C21328577DA3A69B5A93333ADC9145A2371104BCA11DA60AEDB564465B083B90D3988 |