(TXT) marble-devel-4.7.2-1.i486.rpm
 (TXT) marble-devel-4.7.2-1.i686.rpm
 (TXT) marble-devel-4.7.2-1.x86_64.rpm