diff --git a/PackageInfo.g b/PackageInfo.g
index 6c31ff4..4fc9067 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -5,8 +5,8 @@ SetPackageInfo( rec(
 
 PackageName := "walrus",
 Subtitle := "A new approach to proving hyperbolicity",
-Version := "0.7",
-Date := "21/06/2018", # dd/mm/yyyy format
+Version := "0.8",
+Date := "08/02/2019", # dd/mm/yyyy format
 
 Persons := [
   rec(