[ 2.5.1 RC 2, #1845 ] Bumped version to 2.5.0.20160412.

agda · Apr 12, 2016 · dbc5226 · dbc5226
1 parent 61deac8
commit dbc5226
Show file tree

Hide file tree

Showing 9 changed files with 14 additions and 14 deletions.
diff --git a/.ghci b/.ghci
@@ -1,12 +1,12 @@
 :set -hide-package Agda
 :set -isrc/full
-:set -idist-2.5.0/build/autogen
-:set -idist-2.5.0/build
-:set -Idist-2.5.0/build/autogen
-:set -Idist-2.5.0/build
+:set -idist-2.5.0.20160412/build/autogen
+:set -idist-2.5.0.20160412/build
+:set -Idist-2.5.0.20160412/build/autogen
+:set -Idist-2.5.0.20160412/build
 :set -Isrc/full
 :set -optP-include
-:set -optPdist-2.5.0/build/autogen/cabal_macros.h
+:set -optPdist-2.5.0.20160412/build/autogen/cabal_macros.h
 :set -pgmPcpphs
 :set -optP--cpp
 

diff --git a/Agda.cabal b/Agda.cabal
@@ -1,5 +1,5 @@
 name:            Agda
-version:         2.5.0
+version:         2.5.0.20160412
 cabal-version:   >= 1.8
 build-type:      Custom
 license:         OtherLicense
@@ -532,7 +532,7 @@ executable agda
   hs-source-dirs: src/main
   main-is:        Main.hs
   build-depends:
-    Agda == 2.5.0
+    Agda == 2.5.0.20160412
     -- Nothing is used from the following package, except for the
     -- prelude.
     , base >= 4.6.0.1 && < 6

diff --git a/default.nix b/default.nix
@@ -39,7 +39,7 @@ assert user-manual -> sphinx != null && sphinx_rtd_theme != null && texLive != n
 
 mkDerivation {
   pname = "Agda";
-  version = "2.5.0";
+  version = "2.5.0.20160412";
   src = ./.;
   isLibrary = true;
   isExecutable = true;

diff --git a/doc/user-manual/conf.py b/doc/user-manual/conf.py
@@ -57,7 +57,7 @@
 # built documents.
 #
 # The short X.Y version.
-version = '2.5.0'
+version = '2.5.0.20160412'
 # The full version, including alpha/beta/rc tags.
 release = version
 

diff --git a/mk/version.mk b/mk/version.mk
@@ -1 +1 @@
-VERSION=2.5.0
+VERSION=2.5.0.20160412
diff --git a/src/data/emacs-mode/agda2-mode.el b/src/data/emacs-mode/agda2-mode.el
@@ -10,7 +10,7 @@
 
 ;;; Code:
 
-(defvar agda2-version "2.5.0"
+(defvar agda2-version "2.5.0.20160412"
   "The version of the Agda mode.
 Note that the same version of the Agda executable must be used.")
 

diff --git a/src/size-solver/size-solver.cabal b/src/size-solver/size-solver.cabal
@@ -32,7 +32,7 @@ executable size-solver
   hs-source-dirs: .
   main-is:        Main.hs
   build-depends:
-    Agda == 2.5.0
+    Agda == 2.5.0.20160412
     , base >= 4.6.0.1 && < 6
     , containers >= 0.5.0.0 && < 0.6
     , mtl >= 2.1.1 && <= 2.1.3.1 || >= 2.2.1 && < 2.3

diff --git a/test/interaction/Issue1244a.out b/test/interaction/Issue1244a.out
@@ -7,4 +7,4 @@
 (agda2-highlight-load-and-delete-action)
 (agda2-status-action "")
 (agda2-status-action "")
-(agda2-info-action "*Agda Version*" "Agda version 2.5.0" nil)
+(agda2-info-action "*Agda Version*" "Agda version 2.5.0.20160412" nil)
diff --git a/test/interaction/Issue1244b.out b/test/interaction/Issue1244b.out
@@ -1,2 +1,2 @@
 (agda2-status-action "")
-(agda2-info-action "*Agda Version*" "Agda version 2.5.0" nil)
+(agda2-info-action "*Agda Version*" "Agda version 2.5.0.20160412" nil)