Index of /pub/gwdg/ubuntu/22.04/pool/universe/g/gccintro/

../
gccintro_1.0-4_all.deb                             01-Jul-2018 11:13              833816