一个小贴士，对于使用最新出来的 Hardy Heron (Ubuntu 8.04) 的人可能有点儿帮助。
因为要测试最新的 TPTP 4.5.0 Candidate Build，我需要用到 Agent Controller，其指南上载明需要 libstdc++-libc6.2-2.so.3，且该文件必须位于 /usr/lib 目录下。
libstdc++-libc6.2-2.so.3 属于 libstdc++2.10-glibc2.2 包，不幸的是，Hardy 的源中没有这个包，不过幸运的是，在前几个版本中都有这个包，这里我选择了 7.04 Feisty 的源：
deb http://archive.ubuntu.com/ubuntu/ feisty universe
然后：
$ sudo apt-get install libstdc++2.10-glibc2.2
安装完毕后，记得删除这个临时的 Feisty 源。
[UPDATE on Nov 27, 2009] 我在 Ubuntu Linux 9.10 上使用 TPTP 4.6.1，其 AC 已经不再依赖这个库了。
Thanks a lot. It helps me a lot.
you’re welcome.
glad to see it helps.
太感谢了，我最不会搞那些libstdc之类的东西，装东西的时候总是少这少那的，今天想装一个jad(java反编译工具)，就提示找不到这个包，幸好有你啊！
thanks very much!! I thought it was 6.2 version but can’t find it at all !!