diff --git a/gbs-downloader.cabal b/gbs-downloader.cabal index d3348111dd86f7f2f404a0b0ee2025cef354c3ba..46c02301ab586cc73ff769a434a9d3f73789ebb1 100644 --- a/gbs-downloader.cabal +++ b/gbs-downloader.cabal @@ -53,11 +53,6 @@ copyright: 2023 The Authors category: Network build-type: Simple -source-repository head - type: git - location: - https://whetstone.private.storage/PrivateStorage/gbs-downloader.git - -- Extra doc files to be distributed with the package, such as a CHANGELOG or a README. extra-doc-files: CHANGELOG.md @@ -66,6 +61,11 @@ extra-doc-files: -- Extra source files to be distributed with the package, such as examples, or a tutorial module. -- extra-source-files: +source-repository head + type: git + location: + https://whetstone.private.storage/PrivateStorage/gbs-downloader.git + common warnings ghc-options: -Wall