The blue social bookmark and publication sharing system.
Log in with your username.
I've lost my password.
Log in with your OpenID-Provider.
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.2 42 \ --slave /usr/bin/g++ g++ /usr/bin/g++-4.2 \ --slave /usr/bin/gcov gcov /usr/bin/gcov-4.2
sudo update-alternatives --config gcc