Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
packages: ./halo2/halo2.cabal ./keccak/keccak.cabal