| Key | Value |
|---|---|
| FileSize | 3649360 |
| MD5 | F10263462FDBF1B74F3FC60301652DF6 |
| 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.4pl3dfsg-1 |
| SHA-1 | E8FDBB268F80E62FEEA44363AA23969B51EE6BEA |
| SHA-256 | 578C9A7B0FC7543CF3A1BCFDF0FB672DD01682AFA21B10FEF7DD1A34413B7202 |
| hashlookup:children-total | 410 |
| hashlookup:trust | 50 |
The searched file hash includes 410 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/ideproof.cmi |
| FileSize | 2340 |
| MD5 | 7D5F11399738247B83D3EA5421E34AB8 |
| SHA-1 | 0114454489E51CE4C7C7C0982302978DB28EC6F8 |
| SHA-256 | 0BF4222C330A8A0B06CE868E6EA53956BB30FCDD106CABC746C464E49B3DA17E |
| SSDEEP | 48:HqV64ovpA2vyAA5vR5/3fdatapouKNLlVczo+qZAov918:HqVypjqH3fdkaGuKNLlVcHqA28 |
| TLSH | T11A41A7CC15A198A6949EA06C42359E07309992FECCBF0E7F0A45A5A0906689FE7168CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/indfun.cmi |
| FileSize | 3070 |
| MD5 | B38586E1F74CFF8D15B9F87E422165F9 |
| SHA-1 | 02675D829AAF30E6EAFBCCBCFF1B12A3E71782DD |
| SHA-256 | E37FE53872CBB18CE537DEAE34A59F5D22C047AE58ECE700CD8B01F0DE135BFC |
| SSDEEP | 48:dfUlSwgTVvMDfatj8QrjLgcLqnlBnDtKNPPiwQu6M0GrXcgdiVyE5abrbuVAhJhD:tUgTVvMDythnbLUDtKNX1EqXc4itUuVM |
| TLSH | T19051EADEB100B1B250E555BEE312840751B837FA98B78C7752EC06D89D89D9DE3A3907 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/newring_plugin_mod.cmi |
| FileSize | 2036 |
| MD5 | BE1C995231F9E131879DCE2BB80CABDB |
| SHA-1 | 02F359EF48B504B5151276C06302B5ABE8DB86C2 |
| SHA-256 | 7C9354D3404F8DD9673E42E8CDF86FBB8C2FDE67612747772E41D01B3DF5A0CA |
| SSDEEP | 48:wzq+YBELtKNPPoPbcmdwVyE5abqVROSJN5bP78z18:ocYtKNXoPbcCwtPVROcbPAB8 |
| TLSH | T1C941E8D6F34073B3A1E696B66B12108542F919D39863CAB163EC17DCAC4EED07632E14 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/cbytecodes.cmi |
| FileSize | 4744 |
| MD5 | 8EE64724E432382174EFB65A3CD23D7D |
| SHA-1 | 036294CBE9D0F05645152CCA7712EA9A97590BCE |
| SHA-256 | BC24927E5C61463E51DB1931C7027427F07BD20F48CFC8903B582007A74D4DA6 |
| SSDEEP | 96:Zl08YseBcyuabG+083WVtJfPqEJDEivgWfqfgKNCrW8:Zlkcyuabt00j4v5fKzNCrn |
| TLSH | T158A1B7DC972C08E890AE68BDC252AD4755503BBC2897CCB314A8DF62E76D83DD317A47 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/z_syntax_plugin_mod.cmi |
| FileSize | 2038 |
| MD5 | 44A84DFC3F35D42B53814DC3C955536E |
| SHA-1 | 04942D44C479209E72E6623EE34A0A24BA699E3B |
| SHA-256 | 8F2B4F464BBC7208AB6AE855B38613CE225EE91C585BCE7A5A2424D933514A49 |
| SSDEEP | 48:898+YBELtKNPPoPbcmdwVyE5abqVROSJN5bP78z18:Y6YtKNXoPbcCwtPVROcbPAB8 |
| TLSH | T17B41D8D6F34037B3A1E996B66702108542F919D39863CA7123EC17D8AC4EED07672E15 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/assumptions.cmi |
| FileSize | 4797 |
| MD5 | EA0DA73970953F6B83CA0C1A55985A2B |
| SHA-1 | 06809FF90A0C1981422278BDDDB8948D907A44DE |
| SHA-256 | 4E8A5D4F570DCDAA37201CB11AF18CB9E9A10C01D16A6C4CE604AB7A6208A07B |
| SSDEEP | 96:X8MLB/shK9PCD0g8nJlwwKXvNZ6RANEZ0mtKN4VAMCCB8:X8rK9w0g8n0wKCRm+Ii2MCCm |
| TLSH | T1BFA103ED98E0F0A455F91AACE2ADC457096C9ABFF4774D3B131A0D9163F944CD32288B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/invfun.cmi |
| FileSize | 8915 |
| MD5 | 8378202284BE0CBAF40E7F37C7204457 |
| SHA-1 | 06D10C5F97BF9C2C1607B2CFD8C821F3774BE237 |
| SHA-256 | E2CD6B7A2F3B84630BD441515F6016F1D5C1AB7B6DC1FAB93CF4688C3561B127 |
| SSDEEP | 192:wdDIkcnTgVzBOw7y2dRAhgf4srkY1awJm2kxI7xawlD2+3CAQ:rFnTgVzBFTT4JYFmNxIvN3+ |
| TLSH | T12F02B3CD7840F4FA9196549DD29CC8132264A7BF5CA74E7B136D08F0969484DE332EC7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/sos_types.cmi |
| FileSize | 1569 |
| MD5 | 63E26AB5C38213D99C0A3FFADE413B07 |
| SHA-1 | 07849FF53698D632B3FAFA158CAC2CA02FCE4533 |
| SHA-256 | C231EC587024C0D563BFA3E11F62BE2EB55A488FC0860AE6BC898996BA02908C |
| SSDEEP | 24:IlTTUeD5odoR4vS76FhL1nLKiFBYXs9LhbhE2SEAlNytuGYduZFfRV5BX18:WNUof769nhYqVAlouGXZtRdX18 |
| TLSH | T1A2318ACE9B3E185E482F352E8273AD1B1650A0BF52AB4E334095E272E95D88EC307857 |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/coqide.cmi |
| FileSize | 852 |
| MD5 | 3BC79579E45C9E3692AED7B0BFDB9207 |
| SHA-1 | 07C7DC9D4ACE3EAF8ED78FBC4FCD564E4949D049 |
| SHA-256 | 344AE02664BC1C93722E1BF0EE639FDE9CBA08CE25E2ECE4F1C96CAA68E42827 |
| SSDEEP | 24:unG15Vm/lAZM8mOdOp5OI1KaS9fBI3wcitz18:qi4l8M8mOkS79fOgc+18 |
| TLSH | T1F401CBDDA4348460C00B38BE11A12D272110A9FE947F5E3F8322266798EFE9FD30348B |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/notation.cmi |
| FileSize | 9052 |
| MD5 | F24F58C555CC3F68B16784119E649EED |
| SHA-1 | 07CAECA333CFEFDDB3FA94024CD2D125DD22DAF7 |
| SHA-256 | E854199B872A6C81C618AF812A571C95A4389A9D5B0AC60D05432922B3CB8516 |
| SSDEEP | 192:nPcjhgLT/zrNV9oCv2r/0+WMjDfZyuFmnwkf2VMtdHVVgAKE4CIO2mCaCK:UNiTLBAP8Cw7wkf2VMPkCIOL |
| TLSH | T18D12EADC5C55F4E40A4A696ED06DDC4F2B204BBF88632D73232C0AF1629B55DCB26E87 |