[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Newsgroup Home]
[news.eclipse.newcomer] Re: TPTP piAgent

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?