work on Debian packaging: allow multiple architectures, add sources, allow common version number (driven by ET)
oops!!! :-(
fix debuild arg :-/
fix debian packaging and deploy
fixed some error messages
Merge ssh://git.sv.gnu.org/srv/git/liberty-eiffel
random fixes here and there. Mainly "is" removal fixes.
Merge github.com:cadrian/Liberty
some fixes for eiffeldoc
TOWER should be findable now