Hello, we do not integrate directly third-party binary debs in Debian. Someone would need to package that software for debian and provide a Debian source package. This could be done, but it would certainly help if the source distributions contains compilation instructions. -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/