I finally managed to find time to create AVR-Ada RPMs for Fedora. The packages are available for Fedora 17 and 18 on i386 and x86_64 architectures.
To install them you need to create file /etc/yum.repos.d/fedora-adalanguage.repo with contents:
[fedora-adalanguage] name=Tero's Fedora RPM repository for …[more]