Monthly Archives: April 2008

一个小贴士，对于使用最新出来的 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 … Continue reading →