fix-startup-with-old-config.patch
cfgupgrade12-remove-old-ssconf.patch
0003-Disable-local-checks-during-build.patch
pass-ghc-linker-flags.patch
0001-Fix-specification-of-TIDiskParams.patch
