| Key | Value |
|---|---|
| FileSize | 6016870 |
| MD5 | B11D81804BA0E9B9E1663BAAB0A45BE3 |
| 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 | FB8A2C39E98D4C4D2D3482140BED5C369C6DE5E8 |
| SHA-256 | 3102209295F05A2D312942E36CD1B01C9E6A162299EE6C56B2D734FCAC5178B5 |
| 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/parsing/highparsing.a |
| FileSize | 1145492 |
| MD5 | EED240E1295FFABD9CCAD8FDEC9395FA |
| SHA-1 | 0407558542F9CA04C9787EA20D5D8C8877D71490 |
| SHA-256 | 1484301A785D36E44DCAAD6FB3288EF19CF5C67F7BA8C14D2D4228A801A3978A |
| SSDEEP | 6144:wivaJt4KC9haXDiVNWscFfIFknbl5Dh+wzvrsoFdmSM/IngZUnT8rSsAWHgE/NGF:7daX75vAojsAT88HZ0pswhOYeF |
| TLSH | T18F35AC27BBC7193EC161C97645B5133127B6FC54AF297B037989332D2F32A902E785A8 |
| 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/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/parsing/parsing.a |
| FileSize | 910144 |
| MD5 | 935275156B45EF072A2BA41698CD4B50 |
| SHA-1 | 090B6F27A6FB9CC56EE7F357A5B2DC9C1D34AB8A |
| SHA-256 | 529DBB09EA10742D890CA995B5D6DC0D956CEBC1073B025637E5628BAEEFBF19 |
| SSDEEP | 6144:h4P52Gll4j2PXMScydlvUrFPB5KNSqc8ZJLVHOAdiEUL1uVrSqX/7RetRuL/CE:U2mWjjzqx4BBgJB7+UJ |
| TLSH | T192159B437B57487EC154CA3681732331A6BEFC89AE647B83350A331E1F72D54AE287A4 |
| 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 |