Site web

Une petite question independante de Linux :

Il y a quelques temps, j'avais sauve un lien sur le site suivant :

        http://www.dlr.de/linux/src/

et depuis quelques jours, il n'y a plus rien. Ce site contenait plein de
softs pour Linux, les sources et les executables. Je crois qu'il
s'agissait du mirroir d'un autre site.

Quelqu'un aurait-il une idee de quel site il s'agit ?

Merci.

Frederic MANTEGAZZA