diff --git a/Project.toml b/Project.toml index 07049fb..b35069b 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "ApproximateVanishingIdeals" uuid = "5c3d299b-aa2f-43dc-84cc-e9c547fd880b" authors = ["ZIB-IOL"] -version = "0.1.1" +version = "0.1.2" [deps] FrankWolfe = "f55ce6ea-fdc5-4628-88c5-0087fe54bd30"