Debian packages (i386) uploaded.

I have uploaded new Debian Etch packages for Xenomai (backport from unstable),
RTT and OCL 1.4.1. Instructions on how to install (or build) these packages
can be found here:

In short, this is what to do:

wget -q -O - | sudo
apt-key add -
sudo wget -q -O /etc/apt/sources.list.d/fmtc.list

sudo apt-get install orocos-ocl-gnulinux-dev orocos-ocl-gnulinux-bin

...for the gnulinux target. 'xenomai' and 'lxrt' are supported as well.
Only i386 packages have been built.


PS: Yesterday we had a server problem on All should be up and
running again by now.