You are right, the AGA and CD32 versions are the same.
Which only partly answers my question.
I wonder if there was some AGA disk version besides another CD32 version with CD32-specific
stuff added to it (control by CD32 joypad, etc.) which were both officially released by the software company.
I wonder too if the AGA version available on disks is a FIXED version FROM the CD32 with the controls mapped to some controls suitable for Non-CD32 users. (Similar to Flink.)
Got it now what my actual question was?