diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2013-02-21  John D. Ramsdell  <ramsdell@mitre.org>
+
+	* agum.cabal (Location): Added repository location.
+
+	* agum.cabal (Version): Released as version 2.5
+
 2012-02-29  John D. Ramsdell  <ramsdell@mitre.org>
 
 	* agum.cabal (Version): Released as version 2.4.  Also,
diff --git a/agum.cabal b/agum.cabal
--- a/agum.cabal
+++ b/agum.cabal
@@ -1,7 +1,7 @@
 Name:			agum
-Version:		2.4
+Version:		2.5
 Maintainer:		ramsdell@mitre.org
-Cabal-Version:		>= 1.2
+Cabal-Version:		>= 1.6
 License:		GPL
 License-File:		license.txt
 Synopsis:		Unification and Matching in an Abelian Group
@@ -34,3 +34,7 @@
   Hs-Source-Dirs:	src
   GHC-Options:
     -Wall -fno-warn-name-shadowing -fwarn-unused-imports
+
+Source-Repository head
+  Type:			git
+  Location:		git://github.com/ramsdell/agum.git