| Key | Value |
|---|---|
| FileSize | 5745580 |
| MD5 | 9C35663BF80F69CF0034EEEEB3E2BDCE |
| 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.3.pl4+dfsg-1 |
| SHA-1 | 0CFD7307D99DA0B34893FEBFA25F1A60F6873DCC |
| SHA-256 | A8FB92E135B7619D9148041D939299DAD3C348CBD98EFC052E98706FDFE1D56B |
| hashlookup:children-total | 395 |
| hashlookup:trust | 50 |
The searched file hash includes 395 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/g_decl_mode.cmi |
| FileSize | 1919 |
| MD5 | 7795BC7CABDABDAFF1F9E32BD87A7320 |
| SHA-1 | 00CAF2DB07DCED4E93CBD3F4021673B952F62240 |
| SHA-256 | 4D1C8D430C41B30D369C88A152680A05BD6F161E41158D665157A927CC78FBF2 |
| SSDEEP | 48:0oiZGr6+Ewtxf74utGC/7TbfvUVH1wM40QBnFBCRPyfctF/K/FKhD18:0oiZwnLhtGUTbfvewN5BEzrT8 |
| TLSH | T11E4108CDC6E02C6E08B7E17A931081AE65F002F1872B48BBD77093D6993BC59E713302 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/dyn.cmi |
| FileSize | 331 |
| MD5 | A78C917F05E4FFE8D33EA38287116E5F |
| SHA-1 | 00E16DAB1BFA5FF55D44EF9113470AEAEA1A0C05 |
| SHA-256 | 304D8B2069A677AF1A83552A08CE4EF5A263BDD7E75EAC597840A74D17871008 |
| SSDEEP | 6:rB/0KSVx4Nlpk/E2nNys3D9uQSm4GREGldq6pkW5Pw0mNmlv8:dsKSVx4NnINys3c7mlrk6Tw+lv8 |
| TLSH | T18EE0C2DEE6294814F1A6233C0412514B9501887AC67B4E6342335406D9A91DD5B01087 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/omega.cmi |
| FileSize | 11199 |
| MD5 | 39B5728262ED4BA61D27ECA3498C6DD7 |
| SHA-1 | 00F7DE2B8577F54ACB298BBE7B0BA9F5108A3995 |
| SHA-256 | 72ACD94FD8B5B76E09C4C6917F9E4336B1C9C6659D6490C60B216844A2B13352 |
| SSDEEP | 192:gxTlw2KFfcMrTzU97YZSLIBhu7NvIOuCD54m4liq:gxm2Y3zIYZAIBhANvIOH54NMq |
| TLSH | T1EF3283CC415AF9B519FE99ADC1AEC08F2301163FD0A75D3B073A2466557F00EAF2488B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/toplevel.cmi |
| FileSize | 2411 |
| MD5 | 8A8ADE582907E5039E2F4894FEA8092E |
| SHA-1 | 011B28E4F1C1258E9AA2C08A4AC3C7E2B8AD29E2 |
| SHA-256 | ECD20CFF9A5F8D81FA8BF4D6F3FA61C5EA1A6E708C3BD0B5D574BA612F84A348 |
| SSDEEP | 48:U/v3UzrqRbe8+Ewtxf74utGC/7TbfvUVH1wM40QBnFBCRPyfccJeK/FKhD18:U/vkz+le5LhtGUTbfvewN5BEzRT8 |
| TLSH | T10B41E8DE95541C6D04FAD16D531AC04F22F012BB92770C7BD23016D7A97E89DE723243 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/lib.a |
| FileSize | 582096 |
| MD5 | 59F4F2AEC2D314D27EA0591B28968ADA |
| SHA-1 | 02159FB3C3C5C5D3DD94DE45E9908F46079DB4E5 |
| SHA-256 | BC26442F3EB9C531B0195BDEE24CEE50D7805C330C94D743FD689A3B9FDC28BD |
| SSDEEP | 6144:hsePx47JKBKIto4DwgekbNEOzByADweC1Wd3oDjO9UwPs5OvKOuyvxPK6Cl:hs4xhbLRXQiyIvNpKl |
| TLSH | T10FC4A482DFCDCE3EC1BA0F3244A70B366670D0467F85BB13A56CB46839427E91B9665C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/toplevel.cma |
| FileSize | 511270 |
| MD5 | C10BC8D2FDFEEB219AE4F65EA600B87E |
| SHA-1 | 02290680D3E481B0EDB2891D35420631FB6F3927 |
| SHA-256 | 8BC457BDCC0093570F7EC3D3BEEC3E6EF2D6451147F431305321CBB4962D2D70 |
| SSDEEP | 12288:6RXcST7h901nsozA9G4zZLrzlpAIHvfA4:YzZLHzJHvY4 |
| TLSH | T189B44406A6414DB2C4A7C9B3C6D6C3C92379B3655B030A1F245DCB5C7F83FABAB81658 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/nbtermdn.cmi |
| FileSize | 3095 |
| MD5 | 951C186BDF7DD8A040A038FF0007C3C9 |
| SHA-1 | 02468079306DE770FB8DF6F0445DAECA8EFE8890 |
| SHA-256 | D15B1AD2B34DDFE6DF3E6463C0FAAB56C1A345310CAE5D0702A2B998206A5D0E |
| SSDEEP | 96:MboHcEqI+9bWgjFYN5qGqv7tDOh1S+n0/Fkq8:mSkp9bWgO1qD4G+qaD |
| TLSH | T1205184DD96185CCB447BDAADC622805F520147BEC0FB5C3B927D8AEA983E94CC7415CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ring/ring.cmi |
| FileSize | 20517 |
| MD5 | 3C165780257844CCBFEB239CFDBA2045 |
| SHA-1 | 025DA1E5F53F5709FA2354928895709CD0241166 |
| SHA-256 | 4940D11ADD2919E1586F52DEA6F0F63603488BD9B75875D1C277603816AEC643 |
| SSDEEP | 384:Y6oBQ0ldHLda4vIfFvMBI49GtXgrcnr87depNjZRsWokS+shcXMI:IBVzrda4vIfFvwI4MtXnnr8IpBZRsWos |
| TLSH | T1BB92C88D4424F4E921EE999FC06EC48F2301477F90BA4CB78A2E59A5187F41DEF15ACB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/g_tactic.cmi |
| FileSize | 4995 |
| MD5 | 53EDB41DFB0E6543DEC8B253DACAA5AF |
| SHA-1 | 03B515BA7F46B57916B24D7358E331BE70701161 |
| SHA-256 | 29F8F0EFB90AFA6341BDEA208E5CC03E63F61FA799A006A91C2B09A76414B7D1 |
| SSDEEP | 96:0+gPFHgwdnp3JFb661n5AO5L0LdfPTMqtgIcphtGUTbfvewN5BEzY0T8:uCQp3JJrEO5+tPTHgIcLFbfWabEzm |
| TLSH | T193A195CD914D58F902BED4ADC016804B1360C3FFE17B6C7B922C49E5A439D5CE362A87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/extraction.cmi |
| FileSize | 2127 |
| MD5 | 81F63862590D3447E2D60E329622BA07 |
| SHA-1 | 04465174A160F2C8B80650F2399347992B970888 |
| SHA-256 | D012E71F8609A3F2BCB746EFDE3A75F68B62D9FDA3BA88DA50426E32B5223599 |
| SSDEEP | 48:cbRVs+7qVviYLP29Bg6w27iBvtQWXTAoZTQP2+5FT0wisO18:WV/7qN/PIg6bmvNXMy+D06c8 |
| TLSH | T1B34174CD44E9E4E900FAC2EE5651804B7124AFBFD0BB8C739B3C15F6982949DD311987 |