diff --git a/Sit.cabal b/Sit.cabal
--- a/Sit.cabal
+++ b/Sit.cabal
@@ -1,12 +1,12 @@
 name:            Sit
-version:         0.2017.02.26
+version:         0.2017.05.01
 build-type:      Simple
 cabal-version:   >= 1.8
 license:         OtherLicense
 license-file:    LICENSE
-author:          Anonymous
-maintainer:      Anonymous
-homepage:        NONE
+author:          Andreas Abel <andreas.abel@gu.se>
+maintainer:      Andreas Abel <andreas.abel@gu.se>
+homepage:        https://github.com/andreasabel/Sit
 category:        Dependent types
 synopsis:        Prototypical type checker for Type Theory with Sized Natural Numbers
 description:
@@ -16,7 +16,7 @@
   It has dependent function types, universes, sized natural numbers,
   and case and recursion over natural numbers.
   There is a relevant and an irrelevant quantifier over sizes.
-  For an example, see file test/Test.agda
+  For an example, see file test/Test.agda.
 
 tested-with:        GHC == 7.8.4
                     GHC == 7.10.3
@@ -34,7 +34,7 @@
 
 source-repository head
   type:     git
-  location: NONE
+  location: https://github.com/andreasabel/Sit
 
 executable Sit.bin
   ghc-options:      -rtsopts