diff --git a/src/server/gf-server.cabal b/src/server/pgf-server.cabal similarity index 97% rename from src/server/gf-server.cabal rename to src/server/pgf-server.cabal index f2aea6905..f20d61a47 100644 --- a/src/server/gf-server.cabal +++ b/src/server/pgf-server.cabal @@ -1,4 +1,4 @@ -name: gf-server +name: pgf-server version: 1.0 cabal-version: >= 1.2 build-type: Simple