diff --git a/Agda-executable.cabal b/Agda-executable.cabal
--- a/Agda-executable.cabal
+++ b/Agda-executable.cabal
@@ -1,6 +1,6 @@
 name:            Agda-executable
-version:         2.2.0
-cabal-version:   >= 1.4 && < 2
+version:         2.2.2
+cabal-version:   >= 1.6 && < 2
 build-type:      Simple
 license:         OtherLicense
 license-file:    LICENSE
@@ -14,9 +14,19 @@
   This package provides a command-line program for type-checking and
   compiling Agda programs. The program can also generate hyperlinked,
   highlighted HTML files from Agda sources.
-tested-with:     GHC == 6.8.3 && == 6.10.1
+tested-with:     GHC == 6.8.3 && == 6.10.2
 
+source-repository head
+  type:     darcs
+  location: http://code.haskell.org/Agda/
+
+source-repository this
+  type:     darcs
+  location: http://code.haskell.org/Agda/
+  tag:      2.2.2
+
 executable agda
   main-is:       Main.hs
-  build-depends: Agda == 2.2.0,
+  build-depends: Agda == 2.2.2,
                  base
+