User-agent: *
Disallow: /debian
Disallow: /luc3m
Disallow: /gnu
Disallow: /pub/mirrors
Disallow: /pub/retrolinu