Port in education category
WordGenerator-1.9p1
algotutor-0.8.6p1
anki-2.0.48p2
cantor-17.12.3p1
childsplay-2.6.5p3
dictd-client-1.9.15p3
dictd-server-1.9.15p1
drgeo-1.1.0p24
drgeo-doc-1.6p0
dvorak7min-1.6.1p0
ecoliercourt-fonts-0.1p2
epte-2.0.8
gamgi-0.15.5
gcompris-17.05p1
gnaughty-1.2.6p4
gtypist-2.9.5p1
kalgebra-17.12.3p1
klogic-4.0.2p2
ktouch-17.12.3p1
libkdeedu-4.14.3p3
mnemosyne-2.3.6p1
verbiste-0.1.45p1