[17:09:12] <yeo> я не пробовал gnat под андроид, не представляю что в него входит. например в чем отличие от gnat arm-linux?