need circle for oneslotrep

2017-10-21 01:04:54 +02:00 · 2017-10-21 01:04:54 +02:00 · 33b1013ece
commit 33b1013ece
parent bae88b4b75
1 changed files with 1 additions and 1 deletions
--- 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 := []
 ),