This package has been merged into the curry-frontend (with curry-frontend!34 (merged)) and is now redundant.