libarts1c2a is not in the repos for me? anyone unable to download some of the dev files? i tried chicago and main server too.