| Key | Value |
|---|---|
| FileSize | 7551918 |
| MD5 | 07C7B851A02AD21CC71955FCD8F7CDD6 |
| 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 | 6F4D0C210DB07832BE349B395E27F2CDB73E03AB |
| SHA-256 | B63FFBA624B356445EB96D060587A57BBE1EA7CD9581564FD6D3661D9AD0F774 |
| hashlookup:children-total | 441 |
| hashlookup:trust | 50 |
The searched file hash includes 441 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/proofs/proofs.a |
| FileSize | 262404 |
| MD5 | 2EDA0AAB3F8A4DEE51089F63BE35C681 |
| SHA-1 | 01EDE4420D7C86E50F3A03F9657257750C6C54E4 |
| SHA-256 | 9EDAF23ACEB6266DDC1C8FA29123CDCA4AE7B89251F59790E489E4F55599AED6 |
| SSDEEP | 6144:U1/7WN6yb1Wfh2GpBlOxzpokSUQFfToP/oxwAtfGFN0j:U1/7WN6yb1WVpBlOxzpZOTU/oxwAtfG+ |
| TLSH | T18244D88AADCCCE3EC4DC467A54DB071A7164C9133FD29F0B9404B2207E9A2F87E5DA95 |
| 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/grammar.cma |
| FileSize | 1145876 |
| MD5 | DC1B340045975DA61D688F024ED20750 |
| SHA-1 | 03305DB86906E2696DD6BABABF8E3392F6901595 |
| SHA-256 | D81609373AFBE99DD2227C96DA261351515B5C9B2FF81BD388F28E4359B37FA1 |
| SSDEEP | 12288:qawS8oOs1j8c2qr9Rdw4QNTyLA6TRggw9IiUkGIJbi9Zd81RPLIL6BMb2Wfsc3:m+IJQ3 |
| TLSH | T158351F0BF7014EE1C4EA9AB6CAD3E3D41326E6769B43061F294C562C3DE7B5F6A40B44 |
| 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 |