Bump Nemo version

Nemocas · Aug 10, 2018 · 9f27076 · 9f27076
1 parent 526c70b
commit 9f27076
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/REQUIRE b/REQUIRE
@@ -1,2 +1,2 @@
-julia 0.6
+julia 0.6 0.7
 AbstractAlgebra 0.0.6
diff --git a/src/Nemo.jl b/src/Nemo.jl
@@ -228,7 +228,7 @@ function __init__()
       (Ptr{Void},), cfunction(flint_abort, Void, ()))
 
    println("")
-   println("Welcome to Nemo version 0.8.5")
+   println("Welcome to Nemo version 0.8.6")
    println("")
    println("Nemo comes with absolutely no warranty whatsoever")
    println("")
@@ -249,7 +249,7 @@ end
 ################################################################################
 
 function versioninfo()
-  print("Nemo version 0.8.5\n")
+  print("Nemo version 0.8.6\n")
   nemorepo = dirname(dirname(@__FILE__))
 
   print("Nemo: ")