Updated SageMath version to 7.2

sagemath · May 15, 2016 · f76401f · f76401f
1 parent 17c23eb
commit f76401f
Show file tree

Hide file tree

Showing 6 changed files with 10 additions and 13 deletions.
diff --git a/VERSION.txt b/VERSION.txt
@@ -1 +1 @@
-SageMath version 7.2.rc2, Release Date: 2016-05-11
+SageMath version 7.2, Release Date: 2016-05-15
diff --git a/build/pkgs/configure/checksums.ini b/build/pkgs/configure/checksums.ini
@@ -1,4 +1,4 @@
 tarball=configure-VERSION.tar.gz
-sha1=2e2f3713d17f597d923c35d7af4bd5f19e226b15
-md5=bb04a6931810f297e95152485156bcb8
-cksum=1667255197
+sha1=425d4430acbc3ee54a2fbe98a4541226c7e44bf5
+md5=81b5e802a06390e189fe08190f6e09d6
+cksum=2177259732
diff --git a/build/pkgs/configure/package-version.txt b/build/pkgs/configure/package-version.txt
@@ -1 +1 @@
-163
+164
diff --git a/src/bin/sage-banner b/src/bin/sage-banner
@@ -1,8 +1,5 @@
 ┌────────────────────────────────────────────────────────────────────┐
-│ SageMath version 7.2.rc2, Release Date: 2016-05-11                 │
+│ SageMath version 7.2, Release Date: 2016-05-15                     │
 │ Type "notebook()" for the browser-based notebook interface.        │
 │ Type "help()" for help.                                            │
 └────────────────────────────────────────────────────────────────────┘
-[31m┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
-┃ Warning: this is a prerelease version, and it may be unstable.     ┃
-┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛[0m
diff --git a/src/bin/sage-version.sh b/src/bin/sage-version.sh
@@ -1,4 +1,4 @@
 # Sage version information for shell scripts
 # This file is auto-generated by the sage-update-version script, do not edit!
-SAGE_VERSION='7.2.rc2'
-SAGE_RELEASE_DATE='2016-05-11'
+SAGE_VERSION='7.2'
+SAGE_RELEASE_DATE='2016-05-15'
diff --git a/src/sage/version.py b/src/sage/version.py
@@ -1,4 +1,4 @@
 # Sage version information for Python scripts
 # This file is auto-generated by the sage-update-version script, do not edit!
-version = '7.2.rc2'
-date = '2016-05-11'
+version = '7.2'
+date = '2016-05-15'