Package: gcc-4.1
Pin: version 4.1.1-21
Pin-Priority: 1001

Package: gcc-4.1-base
Pin: version 4.1.1-21
Pin-Priority: 1001

Package: cpp-4.1
Pin: version 4.1.1-21
Pin-Priority: 1001

Package: g++-4.1
Pin: version 4.1.1-21
Pin-Priority: 1001

Package: libstdc++6-4.1-dev
Pin: version 4.1.1-21
Pin-Priority: 1001

Package: gcc
Pin: version 4:4.1.1-15
Pin-Priority: 1001

Package: cpp
Pin: version 4:4.1.1-15
Pin-Priority: 1001

Package: g++
Pin: version 4:4.1.1-15
Pin-Priority: 1001

