Updated SageMath version to 7.5

sagemath · Jan 11, 2017 · a0ef507 · a0ef507
1 parent 8c42c34
commit a0ef507
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.5.rc3, Release Date: 2017-01-08
+SageMath version 7.5, Release Date: 2017-01-11
diff --git a/build/pkgs/configure/checksums.ini b/build/pkgs/configure/checksums.ini
@@ -1,4 +1,4 @@
 tarball=configure-VERSION.tar.gz
-sha1=316329cdc00d8ea8cc213038e02496fb20293ef5
-md5=439f974716369875188f7964c68d6b5d
-cksum=604372223
+sha1=8ae83d20488eb7508af26a74796b02d078ae1948
+md5=72fdabb9dac539b08f1b46c9b9bacdc1
+cksum=3526434610
diff --git a/build/pkgs/configure/package-version.txt b/build/pkgs/configure/package-version.txt
@@ -1 +1 @@
-199
+200
diff --git a/src/bin/sage-banner b/src/bin/sage-banner
@@ -1,8 +1,5 @@
 ┌────────────────────────────────────────────────────────────────────┐
-│ SageMath version 7.5.rc3, Release Date: 2017-01-08                 │
+│ SageMath version 7.5, Release Date: 2017-01-11                     │
 │ 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.5.rc3'
-SAGE_RELEASE_DATE='2017-01-08'
+SAGE_VERSION='7.5'
+SAGE_RELEASE_DATE='2017-01-11'
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.5.rc3'
-date = '2017-01-08'
+version = '7.5'
+date = '2017-01-11'