[ 2.5.1.2, #2311 ] bumped version number to 2.5.1.2

Agda.cabal

@@ -1,5 +1,5 @@
 name:            Agda
-version:         2.5.1.1
+version:         2.5.1.2
 cabal-version:   >= 1.8
 build-type:      Custom
 license:         OtherLicense
@@ -77,8 +77,8 @@ source-repository head
 
 source-repository this
   type:     git
-  location: https://github.com/agda/agda/tree/v2.5.1.1
-  tag:      v2.5.1.1
+  location: https://github.com/agda/agda/tree/v2.5.1.2
+  tag:      v2.5.1.2
 
 flag cpphs
   default:     True
@@ -536,7 +536,7 @@ executable agda
   hs-source-dirs: src/main
   main-is:        Main.hs
   build-depends:
-    Agda == 2.5.1.1
+    Agda == 2.5.1.2
     -- Nothing is used from the following package, except for the
     -- prelude.
     , base >= 4.6.0.1 && < 6

mk/version.mk

@@ -1 +1 @@
-VERSION=2.5.1.1
+VERSION=2.5.1.2

src/data/emacs-mode/agda2-mode.el

@@ -10,7 +10,7 @@
 
 ;;; Code:
 
-(defvar agda2-version "2.5.1.1"
+(defvar agda2-version "2.5.1.2"
   "The version of the Agda mode.
 Note that the same version of the Agda executable must be used.")
 

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.1.1
+    Agda == 2.5.1.2
     , 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

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.1.1" nil)
+(agda2-info-action "*Agda Version*" "Agda version 2.5.1.2" nil)

test/interaction/Issue1244b.out

@@ -1,2 +1,2 @@
 (agda2-status-action "")
-(agda2-info-action "*Agda Version*" "Agda version 2.5.1.1" nil)
+(agda2-info-action "*Agda Version*" "Agda version 2.5.1.2" nil)