Contents of directory pub/minix/unsorted/flex: flex.1 flex.2 flex.3 flex.4 flex.5 This file was automatically generated from file descriptions.