GNAT-FSF-builds icon indicating copy to clipboard operation
GNAT-FSF-builds copied to clipboard

Published 20 hours ago • verified publisher icon alire-project

Wrong gnatprove --version

Open reet- opened this issue 2 years ago • 5 comments

I'm using gnatprove_12.1.1_e1e1ce47, which display the following version:

$ gnatprove --version
0.0w

reet- avatar Dec 12 '22 09:12 reet-