17c66c75d13aef635bcac0ae974e4c77dacef10c  nag-1.0.dvi.tar.gz