[gps-users] gps setup/configure packages question

[RobRoy]

I tried the ada-france link for gps 1.402 --that is the updated version?
--it requires gnat 3.15 ? and some updated libs.-- found Brenta's
skyline.net site-- the gnat_3.15p deb has a size mismatch as reported by
apt-get . is there a another deb source?
i had a problem with the 1.4 gps tutorial in the project make file -- i
assume the was fixed in the 1.402. I trying to put a full
dev/ test  machine for ada/gtkada. It certianly looks like all the
pieces are here, if can figure it out.
thanks
rob