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/ -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
