Settings
@iyefrat please have a look
TODO:
-
add specifying URLSource
in config -
add AddSource (Either GHCupInfo (OwnSource URI))
toURLSource
and make a deep Map merge on version level
Edited by Julian Ospald
@iyefrat please have a look
TODO:
URLSource
in configAddSource (Either GHCupInfo (OwnSource URI))
to URLSource
and make a deep Map merge on version level