diff --git a/REQUIRE b/REQUIRE index a53f39761c..99f6daceae 100644 --- 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 index 3c50f5a400..d8c2984632 100644 --- 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: ")