1_LICENSE=ISAAC 2_LICENSE_NAME=ISAAC_LICENSE 3_LICENSE_PERMS=dist-mirror dist-sell pkg-mirror pkg-sell auto-accept 4_LICENSE_GROUPS= 5_LICENSE_DISTFILES=isaacsrc.4_2.tar.gz isaacmk.4_2.tar.gz man.4_2.ps.gz example_cases.tar.gz 6