alloy	1.10.2	1.12.2	http://ftp.halifax.rwth-aachen.de/opensuse/source/tumbleweed/repo/oss/src/alloy-1.12.2-3.2.src.rpm