Settings
@iyefrat please have a look
TODO:
-
add specifying URLSourcein config -
add AddSource (Either GHCupInfo (OwnSource URI))toURLSourceand 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