Updated SageMath version to 8.0

sagemath · Jul 21, 2017 · 74b0302 · 74b0302
1 parent b63a0d2
commit 74b0302
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 8.0.rc2, Release Date: 2017-07-14
+SageMath version 8.0, Release Date: 2017-07-21
diff --git a/build/pkgs/configure/checksums.ini b/build/pkgs/configure/checksums.ini
@@ -1,4 +1,4 @@
 tarball=configure-VERSION.tar.gz
-sha1=6f17ab27f290113f401f8eaf69dd1a5dd546b899
-md5=e101e8eb91e049cad1edbff6799522c6
-cksum=2047870040
+sha1=d7ad1eecd6d4c1fec3c345fb72389e0ae35fb2a7
+md5=875d498ef2d9d5cf33529e72f1138604
+cksum=148936107
diff --git a/build/pkgs/configure/package-version.txt b/build/pkgs/configure/package-version.txt
@@ -1 +1 @@
-229
+230
diff --git a/src/bin/sage-banner b/src/bin/sage-banner
@@ -1,8 +1,5 @@
 ┌────────────────────────────────────────────────────────────────────┐
-│ SageMath version 8.0.rc2, Release Date: 2017-07-14                 │
+│ SageMath version 8.0, Release Date: 2017-07-21                     │
 │ 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='8.0.rc2'
-SAGE_RELEASE_DATE='2017-07-14'
+SAGE_VERSION='8.0'
+SAGE_RELEASE_DATE='2017-07-21'
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 = '8.0.rc2'
-date = '2017-07-14'
+version = '8.0'
+date = '2017-07-21'