10Makefile.patch
20algotutor.sh.patch
debian-changes-0.8.6-2
national-encoding.patch
