Bump version number

thofma · Jan 19, 2018 · 642cfe4 · 642cfe4
1 parent 9546f61
commit 642cfe4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/REQUIRE b/REQUIRE
@@ -1,2 +1,2 @@
 julia 0.6
-Nemo 0.7.0
+Nemo 0.7.5
diff --git a/src/Hecke.jl b/src/Hecke.jl
@@ -291,7 +291,7 @@ end
 #
 ################################################################################
 
-global VERSION_NUMBER = v"0.3.0"
+global VERSION_NUMBER = v"0.4.0"
 
 ################################################################################
 #