On Dec 22, 2020, at 1:42 PM, Alexandre Oliva <ol...@adacore.com> wrote:
> 
> These are no longer applicable.
> 
> Regstrapped on x86_64-linux-gnu, and tested with -x-arm-wrs-vxworks7r2.
> Ok to install?

Ok.

Reply via email to