From 35588050c745c8a43118b5cc05681bbcca6c268d Mon Sep 17 00:00:00 2001 From: Chris Jefferson Date: Thu, 20 Nov 2014 15:45:42 +0000 Subject: [PATCH] Fix typo... --- PackageInfo.g | 2 +- VERSION | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index 5abc840..5078f53 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -63,7 +63,7 @@ PackageDoc := rec( Dependencies := rec( GAP := ">= 4.6", - NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ], [ ], + NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ] ], SuggestedOtherPackages := [ ], ExternalConditions := [ ], ), diff --git a/VERSION b/VERSION index ceab6e1..8adc70f 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.1 \ No newline at end of file +0.8.0 \ No newline at end of file