Module CPM.Repository.Update
This module implements operations to update and change the package repository, i.e., the index of all packages known to the package manager.
Exported Functions
updateRepository
:: Config -> Bool -> Bool -> Bool -> Bool -> ErrorLogger () 
Updates the package index from the central Git repository.
If the second argument is True, also the global package cache
is cleaned in order to support downloading the newest versions.
If the third argument is True, the global package index is recreated
by downloading it from the central repository.
If the fourth argument is True, the package database is created
by reading the CSV file REPOSITORY_CACHE.csv
downloaded from
the tar files URL, otherwise by reading all package specifications.
If the fifth argument is True, also a CSV file containing the
database entries is written.
addPackageToRepository
:: Config -> String -> Bool -> Bool -> ErrorLogger ()
Adds a package stored in the given directory to the repository index.
If the argument force
is true, overwrite an already existing package.
If the argument cpdir
is true, copy also the complete directory
into the local package installation store.