From 3bf0d639a2326c192c365bcceba12529bb6101b0 Mon Sep 17 00:00:00 2001 From: Stephan Merz Date: Mon, 4 Mar 2024 17:02:39 +0100 Subject: [PATCH] removed spurious community dependencies from manifest Signed-off-by: Stephan Merz --- manifest.json | 24 +++++------------------- 1 file changed, 5 insertions(+), 19 deletions(-) diff --git a/manifest.json b/manifest.json index 8f740c85..b8209cc0 100644 --- a/manifest.json +++ b/manifest.json @@ -5022,9 +5022,7 @@ { "path": "specifications/YoYo/YoYoNoPruning.tla", "communityDependencies": [ - "UndirectedGraphs", - "SequencesExt", - "Folds" + "UndirectedGraphs" ], "tlaLanguageVersion": 2, "features": [], @@ -5032,11 +5030,7 @@ }, { "path": "specifications/YoYo/MCYoYoNoPruning.tla", - "communityDependencies": [ - "UndirectedGraphs", - "SequencesExt", - "Folds" - ], + "communityDependencies": [], "tlaLanguageVersion": 2, "features": [], "models": [ @@ -5058,9 +5052,7 @@ { "path": "specifications/YoYo/YoYoPruning.tla", "communityDependencies": [ - "UndirectedGraphs", - "SequencesExt", - "Folds" + "UndirectedGraphs" ], "tlaLanguageVersion": 2, "features": [], @@ -5068,11 +5060,7 @@ }, { "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": [],