| package | filename | size | different function |
|---|---|---|---|
| gnat-mingw-w64-ucrt64 | ./usr/lib/gcc/x86_64-w64-mingw32ucrt/15/adalib/s-proinf.ali | 793 B | |
| gnat-mingw-w64-x86-64-posix | ./usr/lib/gcc/x86_64-w64-mingw32/15-posix/adalib/s-proinf.ali | 793 B | |
| gnat-mingw-w64-x86-64-win32 | ./usr/lib/gcc/x86_64-w64-mingw32/15-win32/adalib/s-proinf.ali | 793 B |