Use audio icons at top of the page to choose between BBC Radio Devon and BBC Radio Nottingham commentary

Winner will face Stockport County or Hartlepool United in final (that game is at 12:00 BST on Sunday)

Final takes place at Bristol City's Ashton Gate on 20 June

Torquay finished second in regular season

Notts County finished fifth and beat Chesterfield in last Saturday's quarter-final