Module CPM.Manage

This module implements various tools to manage the central repository.

Run "cpm-manage -h" to see all options.

Author: Michael Hanus

Version: May 2023

Summary of exported operations:

main :: IO ()  Non-deterministic 

Exported operations:

main :: IO ()  Non-deterministic