armadillo-0_6_12-2_fc10:HEAD:armadillo-0.6.12-2.fc10.src.rpm:1247198478
armadillo-0_9_2-2_fc12:HEAD:armadillo-0.9.2-2.fc12.src.rpm:1267512705