diff options
Diffstat (limited to 'src/server/gf-server.cabal')
| -rw-r--r-- | src/server/gf-server.cabal | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/server/gf-server.cabal b/src/server/gf-server.cabal index 4bd5c59fd..05cbebf76 100644 --- a/src/server/gf-server.cabal +++ b/src/server/gf-server.cabal @@ -12,7 +12,7 @@ executable pgf-server directory, filepath, containers, - gf >= 3.0, + gf >= 3.1, cgi >= 3001.1.7.0, fastcgi >= 3001.0.2.1, json >= 0.3.3, @@ -34,7 +34,7 @@ executable morpho-server directory, filepath, containers, - gf >= 3.0, + gf >= 3.1, cgi >= 3001.1.7.0, fastcgi >= 3001.0.2.1, json >= 0.3.3, |