Binary: x86_64-w64-mingw32-gnatmake-win32

Debian packages that has this binary:

Package: gnat-mingw-w64-x86-64

/usr/bin/x86_64-w64-mingw32-gnatmake-win32