New version: Devito v0.10.6 (#93601)

UUID: 06ed14b1-0e40-4084-abdf-764a285f8c42 Repo: https://github.com/ChevronETC/Devito.jl.git Tree: 53b3bf718f3ee8f9c1771cbfa7f6d90e61470e79 Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
JuliaRegistries · Oct 17, 2023 · d1a4c0c · d1a4c0c
1 parent 015f4ec
commit d1a4c0c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/D/Devito/Versions.toml b/D/Devito/Versions.toml
@@ -57,3 +57,6 @@ git-tree-sha1 = "c7f3145075da4477aad4e7e17e669422341925ec"
 
 ["0.10.5"]
 git-tree-sha1 = "c6febf533a833e7e68d39658951e9b4b6c355605"
+
+["0.10.6"]
+git-tree-sha1 = "53b3bf718f3ee8f9c1771cbfa7f6d90e61470e79"