(specifications->manifest
 '("make"
   "gcc-toolchain"
   "gdb"
   "readline"))