User-Agent: *
Disallow: /divine/divine-mc/divine-mc-1.0.tar.gz
Disallow: /divine/divine-mc/divine-mc-1.0-beta1.tar.gz
Disallow: /yahoda/select_table.cgi?
Disallow: /divine/trac/changeset/
Disallow: /divine/trac/browser/