I updated my AVR-Ada rpms for Fedora 18 to version 1.2.2. I didn't update Fedora 17 rpms, since Fedora 17 support will end soon anyway, and I felt that the update is waste of time. However, if you need Fedora 17 rpms, you can build them by yourself …
[more]