| [news.eclipse.newcomer] Re: TPTP piAgent |
Luke Ivers wrote:
I have the first installed, and can't seem to find a package containing the second one... this is kind of a question that should be more aimed at the Ubuntu newsgroups, but since I was told about the libraries here, I thought I'd ask anyway: where do I find that second library?