diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-07-30 19:37:25 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-07-30 20:29:30 +0200 |
| commit | c27e5e510cc45673a10de7c3b356064bbd3be3e7 (patch) | |
| tree | 43bdd144bb46f55e7841b0fdf56e0aad6cb33c3a | |
| parent | 6e132d47c9664cff97b8dcc0038cf803f70f403a (diff) | |
Add source repository link to cabal file
| -rw-r--r-- | minici.cabal | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/minici.cabal b/minici.cabal index 29f9361..ec714eb 100644 --- a/minici.cabal +++ b/minici.cabal @@ -28,6 +28,10 @@ flag ci default: False manual: True +source-repository head + type: git + location: git://erebosprotocol.net/minici + executable minici main-is: Main.hs |