/ usr / share / awk / [ HOME SHELL ] 
Name Size Permission Action
  assert.awk 383 B -rw-r--r--   
  bits2str.awk 334 B -rw-r--r--   
  cliff_rand.awk 307 B -rw-r--r--   
  ctime.awk 234 B -rw-r--r--   
  ftrans.awk 315 B -rw-r--r--   
  getopt.awk 2.15 KB -rw-r--r--   
  gettime.awk 2.43 KB -rw-r--r--   
  group.awk 1.72 KB -rw-r--r--   
  have_mpfr.awk 221 B -rw-r--r--   
  inplace.awk 1.95 KB -rw-r--r--   
  intdiv0.awk 462 B -rw-r--r--   
  join.awk 378 B -rw-r--r--   
  libintl.awk 238 B -rw-r--r--   
  noassign.awk 422 B -rw-r--r--   
  ord.awk 937 B -rw-r--r--   
  passwd.awk 1.17 KB -rw-r--r--   
  processarray.awk 355 B -rw-r--r--   
  quicksort.awk 1.01 KB -rw-r--r--   
  readable.awk 489 B -rw-r--r--   
  readfile.awk 267 B -rw-r--r--   
  rewind.awk 404 B -rw-r--r--   
  round.awk 661 B -rw-r--r--   
  shellquote.awk 472 B -rw-r--r--   
  strtonum.awk 1.42 KB -rw-r--r--   
  walkarray.awk 214 B -rw-r--r--   
  zerofile.awk 424 B -rw-r--r--   

${this.title}

 

  Code Editor : have_mpfr.awk