gcc >= 4.7.2-x86_64-3vl71
gcc-g++ >= 4.7.2-x86_64-3vl71
linuxdoc-tools >= 0.9.67-x86_64-2vl71
