update packages and tools

Author: stefanmaierhofer

.config/dotnet-tools.json

@@ -3,7 +3,7 @@
   "isRoot": true,
   "tools": {
     "paket": {
-      "version": "7.2.0",
+      "version": "7.2.1",
       "commands": [
         "paket"
       ]

paket.dependencies

@@ -5,7 +5,7 @@ source https://api.nuget.org/v3/index.json
 
 nuget FSharp.Core                  >= 5.0.0 lowest_matching: true
 nuget Microsoft.NETFramework.ReferenceAssemblies >= 1.0.0 lowest_matching: true
-nuget Aardvark.Build               ~> 1.0.18
+nuget Aardvark.Build               ~> 1.0.19
 
 nuget Aardvark.Base.TypeProviders  ~> 4.5.15
 nuget System.Collections.Immutable >= 5.0.0 lowest_matching: true

paket.lock

@@ -5,7 +5,7 @@ NUGET
     Aardvark.Base.TypeProviders (4.5.15)
       FSharp.Core (>= 3.1.2.5) - restriction: || (== net472) (&& (== net6.0) (>= net45)) (&& (== netcoreapp3.1) (>= net45)) (&& (== netstandard2.0) (>= net45))
       FSharp.Core (>= 4.2.3) - restriction: || (&& (== net472) (< net45)) (== net6.0) (== netcoreapp3.1) (== netstandard2.0)
-    Aardvark.Build (1.0.18)
+    Aardvark.Build (1.0.19)
     CSharp.Data.Adaptive (1.2.8)
       FSharp.Core (>= 4.7)
       FSharp.Data.Adaptive (1.2.8)