diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-03-27 20:27:41 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-03-27 20:27:41 +0100 |
| commit | 0cd184a6e2d6f184eaf771c9e28b6647d6fef18d (patch) | |
| tree | 3e957327e2c987a782e1e50fd195112d22357488 | |
| parent | abac0f38fb591fc00efc174e292a1b32e8496266 (diff) | |
Switch source repositary location to HTTPS
| -rw-r--r-- | erebos.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erebos.cabal b/erebos.cabal index 5edd5f7..df146d5 100644 --- a/erebos.cabal +++ b/erebos.cabal @@ -40,7 +40,7 @@ Flag ci source-repository head type: git - location: git://erebosprotocol.net/erebos + location: https://code.erebosprotocol.net/erebos common common ghc-options: |