A new release has been made and I've now uploaded that version (which still fixes this bug):
http://mentors.debian.net/debian/pool/main/p/plait/plait_1.6.2-1.dsc Hopefully the fix will find a sponsor soon. -- David Symons Armidale NSW Australia http://www.liberatedcomputing.net
signature.asc
Description: This is a digitally signed message part
