Daniel King
Daniel King
I'm still able to reproduce this with gnatprove-12.1.0-1. I downloaded and unzipped it manually instead of using Alire, but the behaviour is the same as the original description when I...
That build works for me. I'm able to run `gnatprove --version` and alt-ergo directly without errors.