Bump version number

Nemocas · Jan 16, 2018 · ab93111 · ab93111
1 parent 9ff94b4
commit ab93111
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Nemo.jl b/src/Nemo.jl
@@ -114,7 +114,7 @@ function __init__()
       (Ptr{Void},), cfunction(flint_abort, Void, ()))
 
    println("")
-   println("Welcome to Nemo version 0.7.4")
+   println("Welcome to Nemo version 0.7.5")
    println("")
    println("Nemo comes with absolutely no warranty whatsoever")
    println("")
@@ -135,7 +135,7 @@ end
 ################################################################################
 
 function versioninfo()
-  print("Nemo version 0.7.4 \n")
+  print("Nemo version 0.7.5 \n")
   nemorepo = dirname(dirname(@__FILE__))
 
   print("Nemo: ")