removed spurious community dependencies from manifest

Signed-off-by: Stephan Merz <stephan.merz@loria.fr>
tlaplus · Mar 4, 2024 · 3bf0d63 · 3bf0d63
1 parent a3eb927
commit 3bf0d63
Showing 1 changed file with 5 additions and 19 deletions.
diff --git a/manifest.json b/manifest.json
@@ -5022,21 +5022,15 @@
         {
           "path": "specifications/YoYo/YoYoNoPruning.tla",
           "communityDependencies": [
-            "UndirectedGraphs",
-            "SequencesExt",
-            "Folds"
+            "UndirectedGraphs"
           ],
           "tlaLanguageVersion": 2,
           "features": [],
           "models": []
         },
         {
           "path": "specifications/YoYo/MCYoYoNoPruning.tla",
-          "communityDependencies": [
-            "UndirectedGraphs",
-            "SequencesExt",
-            "Folds"
-          ],
+          "communityDependencies": [],
           "tlaLanguageVersion": 2,
           "features": [],
           "models": [
@@ -5058,21 +5052,15 @@
         {
           "path": "specifications/YoYo/YoYoPruning.tla",
           "communityDependencies": [
-            "UndirectedGraphs",
-            "SequencesExt",
-            "Folds"
+            "UndirectedGraphs"
           ],
           "tlaLanguageVersion": 2,
           "features": [],
           "models": []
         },
         {
           "path": "specifications/YoYo/MCYoYoPruning.tla",
-          "communityDependencies": [
-            "UndirectedGraphs",
-            "SequencesExt",
-            "Folds"
-          ],
+          "communityDependencies": [],
           "tlaLanguageVersion": 2,
           "features": [],
           "models": [
@@ -5095,9 +5083,7 @@
         {
           "path": "specifications/YoYo/YoYoAllGraphs.tla",
           "communityDependencies": [
-            "UndirectedGraphs",
-            "SequencesExt",
-            "Folds"
+            "UndirectedGraphs"
           ],
           "tlaLanguageVersion": 2,
           "features": [],