| Key | Value |
|---|---|
| FileSize | 5867618 |
| MD5 | 2301D6FD1045D668D446FAF7D7EB5967 |
| 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 coqmktop, 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.2.pl1+dfsg-2 |
| SHA-1 | 160960C81972C10EC6CDA360A54B2DFC68D58F08 |
| SHA-256 | CDCC5224B9405CDB6BA5D333CC5ED93E3A7009BE52F53AE417880E598620820D |
| hashlookup:children-total | 331 |
| hashlookup:trust | 50 |
The searched file hash includes 331 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/inductive.cmi |
| FileSize | 4675 |
| MD5 | 7F8305374C98E1B5DB4414F96F0F899E |
| SHA-1 | 030E0FD6ADD547E86303EA448ADA5C922D6540FC |
| SHA-256 | CD3A323569402769367663AF76ECF7120A035B377DB97701FB175E744CCE6B4A |
| SSDEEP | 96:ivBi+vJ0dO2GEpGNYvVAknB26wPe3wKTfDKNU6M3nt/Ne0+8X/mN8:ibadiOGA2jPe3wB+Tnt1V+8P |
| TLSH | T15CA1EBCC4908F8C62AAC999CD299D44723225B7FC46B4DB7232D1DF594B905DE322ECB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/ring/ring.cmi |
| FileSize | 18809 |
| MD5 | 9AFCC4B447D30F41555331834024D52C |
| SHA-1 | 03605AC178F5BFC0ADB910418FB19D0ABCB52AFD |
| SHA-256 | B785842261739BD94C57570C65007540F603555D9884BF1F48229968099846B2 |
| SSDEEP | 384:DNAFGATFXtCUK34Q/mLCn52fRg365UOcENMuXqVxD4Z/SHlCKo:DaFzh9CUKf/mLC52fE65UOcEWuaVxsZN |
| TLSH | T1A982C69C5804F4E826FE69AFC15EC44F2390577F806A4CB3062E1CA216BF55EDF15A8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/typeops.cmi |
| FileSize | 5287 |
| MD5 | 20FDDC0D32B48C9C6EDA1FC9EA3B0BED |
| SHA-1 | 04DDBD8BF0BD1E0AAE807F1BC6EE930B5FAB7647 |
| SHA-256 | B04FFD1202A9E3D5B4686213E9456CE1EA0C84698CDC7A06B06E8E061F32AD0C |
| SSDEEP | 96:wYc8vysEYbaZ1w45g2hrbrcm+PmlbKW7MTnXahIz7ttFcQNr/Ne0nU4/AN8:SM3EKaZ1w8g2hXsPmlbKWYrKGBtWQV1l |
| TLSH | T1D3B150CC9918F9D6299D66ACD18889072322537FC06B4E7B277D0CF454A856DE3A0FCB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/highparsing.cmxa |
| FileSize | 27031 |
| MD5 | 6502EC2C82458E01D434E78C9DDB61FF |
| SHA-1 | 0685C1CA5A74836444BD0738956152EF02ABB4B9 |
| SHA-256 | 6061F879DCC5B23EC9AA183AFD26AE376AED2A70D505B177917FB6459B850F51 |
| SSDEEP | 768:AslC/5s5Va5p2mTraLbkp8CkAlI87lhJplbupvpnomm8o/mVTlVNDny:lA1t |
| TLSH | T123C21AA6D748F2B3AF9641E67715010949D968E2C837C8B377B932EE005EDD23A27D43 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/extraction/mlutil.cmi |
| FileSize | 5940 |
| MD5 | 5950501C082DB71969A34C2D76C66085 |
| SHA-1 | 06E1CD4F334EAE15BFD629CF6AF00D943E585E0B |
| SHA-256 | F6A40461B1043C56ADFF40D0D20C45AD71038D3642D1C68329A62A84B0B0B7C2 |
| SSDEEP | 96:ZrLZZPXSTMTD3IOEKmOVMbGBNwDIF8UCcj2W4ilA+3/MJrLAkUu07pwITwf4//8:tPOMnvVmGBNMIyxcj25ilEJHl0xE4M |
| TLSH | T1BFC15FCC8A88F9C9169D689CC09DC5172322177FC06B4EBB532E1CF254A866DE315ECB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/prettyp.cmi |
| FileSize | 6351 |
| MD5 | 3C9C18C0CD6BE3919A046FCD8EE5B761 |
| SHA-1 | 06F2EAA1313BD35B4412C91420ACC8C8CB6659D2 |
| SHA-256 | 1E8024D684DB872B0304F456AD50E9FD5E00DA9FDA279FEC6E7CF01F5FEC76DA |
| SSDEEP | 96:fQI6gSASU46kVXVv1F4VB2//Ug16A/RbSG5i6xX21A3Ns9U/3q0xU0u/Av18:dSASR6kVXW2//Ug1BJeBabNs9U/pWnv |
| TLSH | T164D119DC060CE8D9266A949CE19AC10323A257BFC0B76DB3533E19F599A941DD341ECB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/subtac/equations.cmi |
| FileSize | 30583 |
| MD5 | D903D5684863CC2B5CA9188923C5DD00 |
| SHA-1 | 07DFE5FD26E50FAE274C0DF074B6DAEC540EA9A2 |
| SHA-256 | F224C2AA7D75CDF3A86609C3CB5DDDED9521568404F5ED2F628145B661161EB8 |
| SSDEEP | 768:u0qWn//547VmugqDuCXJcSMnCXq53xoszvomEhs3T2Z947N:u0qSKmvqaCXJcSACXq53xoszQmEhsY9k |
| TLSH | T121D2D78C1068F4E802FAD8AFC51D804B6342927FE0B75C77922D59F11DABA5CDB25AC7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/reduction.cmi |
| FileSize | 4422 |
| MD5 | 0A1D3187C88DD1F3819E757CA0D1313C |
| SHA-1 | 09E9E819AEBAF4860B3601F5ADD00B41EBF88D88 |
| SHA-256 | EDE7210A166B6A435DF63B9ECD651910D2617FA956E11A944D65318A2EAF2913 |
| SSDEEP | 96:x5TN7vEauS1UBDrCC0wnNPEBUfs/Ne0nU4/AN8:9LFuS1UBDr5nNc+fs1VU4V |
| TLSH | T123910DCC5409A1D45A6E69ACE198C8072324977FD5B79D73232E4DF2647806CE390EDF |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/univ.cmi |
| FileSize | 2759 |
| MD5 | 8EB40F8F032C504CF35B2E7DC30FD003 |
| SHA-1 | 0A040C8800DF145034E155D53165A3D58858AC58 |
| SHA-256 | 59291FD175D0107EA4AABE9C3C733DC43977367B6D22C794D2D429B26CB2D852 |
| SSDEEP | 48:h+zPl5E6QVmJs/hcFKSsMT7hxOxZ4EGw35QG8EHhKzwpR2kMDeMhMcWklnDij/Sv:IzPl5Ex8uuKSsqEyGTCweRhMcbnDij/6 |
| TLSH | T16151FBCCAA1C440194ECA6EC869AD01F0220977FD4BB4DF746AB147B98F855FD3A284F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/reserve.cmi |
| FileSize | 1570 |
| MD5 | EC4D8E234E55300090986B4FFC214ECE |
| SHA-1 | 0A4116C3B8E413AC01728F0BACE7BF1DF4F87945 |
| SHA-256 | 9A3E7AB71B8F95D16C79EEDEEA99949C92ED28E4A960D32DF6C18BA61A631A84 |
| SSDEEP | 48:lgTexuFtIYR/wQJ0Siqy8XtSuY/STmQzon18:+eMFtbR/NJ0SA8Xs/918 |
| TLSH | T12E31D7855706B0D39F3A42ADE305610A22D45C66C477CDB7BF7C25E9554AC66B334CC3 |