../ README 10-Jun-2000 02:51 1557 dvichk-1.91.tar.gz 09-Jun-2000 23:40 231K dvichk-de.txt 08-Dec-2007 05:15 13K dvichk-en.txt 08-Dec-2007 05:15 12K