1_LICENSE=NCSA 2_LICENSE_NAME=University of Illinois/NCSA Open Source License 3_LICENSE_PERMS=dist-mirror dist-sell pkg-mirror pkg-sell auto-accept 4_LICENSE_GROUPS=COPYFREE FSF GPL OSI 5_LICENSE_DISTFILES=klee-klee-v2.2_GH0.tar.gz 6