On Mon, 2019-08-19 at 03:16 -0700, fauzia ehsan wrote:
> I'm trying to install Eclipse plugin from
but it cannot complete the
> because of some dependencies of debugger.(see attached file)
> I have installed CDT also but the problem is not resolved.
> Is there any solution to this problem?
Not that I know of. The Eclipse plug-in has been without a maintainer
and unsupported for a long time. There might be a historic version
that works (along with a similar vintage CBMC) but I don't know which
version that would be. Without someone who is willing to maintain the
plug-in, there isn't much chance of it being fixed. Sorry.