diff options
Diffstat (limited to 'games/hedgewars-server/files/patch-hedgewars-server.cabal')
| -rw-r--r-- | games/hedgewars-server/files/patch-hedgewars-server.cabal | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/games/hedgewars-server/files/patch-hedgewars-server.cabal b/games/hedgewars-server/files/patch-hedgewars-server.cabal deleted file mode 100644 index c129a2957852..000000000000 --- a/games/hedgewars-server/files/patch-hedgewars-server.cabal +++ /dev/null @@ -1,12 +0,0 @@ ---- hedgewars-server.cabal.orig 2022-09-12 16:49:54 UTC -+++ hedgewars-server.cabal -@@ -22,7 +22,8 @@ -- Don't forget to update INSTALL.md and .travis.yml w - containers, - vector, - bytestring, -- network >= 2.3 && < 3.0, -+ network, -+ network-bsd, - random, - time, - mtl >= 2, |