From 33b1013ecee637ab970a6103050c1b39138fed7e Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Sat, 21 Oct 2017 01:04:54 +0200 Subject: [PATCH] need circle for oneslotrep --- PackageInfo.g | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/PackageInfo.g b/PackageInfo.g index 0522b59..0576b7e 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -77,7 +77,7 @@ PackageDoc := rec( Dependencies := rec( GAP := ">=4.4", - NeededOtherPackages := [["loops","3.3.0"]], + NeededOtherPackages := [["loops","3.3.0"], ["circle","1.0.0"]], SuggestedOtherPackages := [], ExternalConditions := [] ),