Did you look at the buildd database? http://buildd.debian.org/build.php?arch=&pkg=molphy it's non-free perhaps that's why it's not auto-built btw. Greetings, Erich