欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
EnterpriseDB
来自开放百科 - 灰狐
EnterpriseDB : Open source based relational database, PostgreSQL based database management software
Install
Install EDB 8.2 on CentOS 5
/opt/EnterpriseDB/8.2/dbserver/bin/initdb: error while loading shared libraries: libssl.so.4: cannot open shared object file:
No such file or directory CentOS ftp.centos.org/5.0/os/i386/CentOS/openssl097a-0.9.7a-9.i386.rpm
/usr/share/themes/Clearlooks/gtk-2.0/gtkrc:60: Engine "clearlooks" is unsupported, ignoring
分享您的观点