From b8ff662aa58f5cdaba5eebecd78529d7b4882f6a Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Thu, 28 Mar 2019 09:09:55 +0100 Subject: [PATCH] Fix dependency of Circulator --- Circulator/package_info/Circulator/dependencies | 1 + 1 file changed, 1 insertion(+) diff --git a/Circulator/package_info/Circulator/dependencies b/Circulator/package_info/Circulator/dependencies index 0e9ae985590..570e3cdf474 100644 --- a/Circulator/package_info/Circulator/dependencies +++ b/Circulator/package_info/Circulator/dependencies @@ -3,3 +3,4 @@ Installation Kernel_23 Profiling_tools STL_Extension +Stream_support