K 10 svn:author V 5 asami K 8 svn:date V 27 1995-05-16T10:43:59.000000Z K 7 svn:log V 245 Add "PKGNAME=dviselect-1.3". According to Jean-Marc, there is no chance of this code being updated so assign one ourselves. This particular number ("1.3") is taken from the rcsid of dviselect.c (in fact the only source file for this program). END