(specifications->manifest
 (list
  "ghdl-clang"
  "ghdl-yosys-plugin"
  "nvc"
  "yosys"
  "icestorm"
  "nextpnr-ice40"

  "python"
  "python-vunit"

  "make"))