1_LICENSE=GPLv2 2_LICENSE_NAME=GNU General Public License version 2 3_LICENSE_PERMS=dist-mirror dist-sell pkg-mirror pkg-sell auto-accept 4_LICENSE_GROUPS=FSF GPL OSI 5_LICENSE_DISTFILES=edumips64-1.2.9.jar edumips64-1.2.9-en.pdf edumips64-1.2.9-it.pdf 6