
I have been slacking with Fedora AVR-Ada rpm binaries, but finally I found some time to make new binary rpms. These binaries are for Fedora 25 (x86_64), which will be released later in this month. I generated them on Fedora 25 (Server) Beta, but they should work on the …
[more]