Wiki
?EduXoscope
DotLRN
?KMathTool
?KTimes
?KEduca
Please read DebianEdu/HowTo/RequestNewPackage to learn how to get new packages into debian.