From 46da26e02e45394b66d04b712150fca5a9b7b3f9 Mon Sep 17 00:00:00 2001
From: Tommy Hofmann <thofma@gmail.com>
Date: Thu, 7 Dec 2017 09:36:13 +0100
Subject: [PATCH] Bump version number

---
 src/Nemo.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Nemo.jl b/src/Nemo.jl
index 4d3d07bc50..09cf2fd137 100644
--- a/src/Nemo.jl
+++ b/src/Nemo.jl
@@ -121,7 +121,7 @@ function __init__()
       (Ptr{Void},), cfunction(flint_abort, Void, ()))
 
    println("")
-   println("Welcome to Nemo version 0.6.3")
+   println("Welcome to Nemo version 0.7.0")
    println("")
    println("Nemo comes with absolutely no warranty whatsoever")
    println("")
@@ -142,7 +142,7 @@ end
 ################################################################################
 
 function versioninfo()
-  print("Nemo version 0.6.3 \n")
+  print("Nemo version 0.7.0 \n")
   nemorepo = dirname(dirname(@__FILE__))
 
   print("Nemo: ")