At this page:

https://github.com/tioui/Eiffel_Spec/blob/master/raspbian-spec/README.md#compilation-of-the-eiffelstudio-cross-compiler-for-raspberry-pi


At the end of the page also

it says raspbian-armv6