Module Name:	pkgsrc
Committed By:	kristerw
Date:		Sat Aug  2 18:55:23 UTC 2003

Modified Files:
	pkgsrc/emulators/compat13: distinfo

Log Message:
Deal with "arm32" being called "arm" these days.


To generate a diff of this commit:
cvs rdiff -r1.3 -r1.4 pkgsrc/emulators/compat13/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.