HREF="download/rpm">in the rpm download directory</A>. The readme
  file contains information on how to build and install from source RPMs.
  </LI>
  <LI>On newer RPM-based distributions, you may need to install
  <TT>compat-libstdc++</TT> packages.</LI>
</UL>

<P>For Debian Linux:</P>

<UL>
  <LI>Please add
  <PRE>deb http://www.ps.uni-sb.de/alice/download/debian stable contrib</PRE>
  to your <TT>/etc/apt/sources.list</TT>. You need to apt-get the
  package <TT>alice-runtime</TT>.</LI>
  <LI>Alternatively