(library
 (name a6lib)
 (libraries str zarith unix qcheck))
