This module implements various tools to manage the central repository.
Run "cpm-manage -h" to see all options.
Author: Michael Hanus
Version: May 2023
main :: IO ()