diff --git a/D/Devito/Versions.toml b/D/Devito/Versions.toml
index 9dc479d3e059bad..08c1d4d37d92c7b 100644
--- a/D/Devito/Versions.toml
+++ b/D/Devito/Versions.toml
@@ -144,3 +144,6 @@ git-tree-sha1 = "ad615c226370d0b2533f3174827b8a7e09c3e7f0"
 
 ["1.3.2"]
 git-tree-sha1 = "e03141ad2cf9b0fad5801d177eeb91b91c7a83fc"
+
+["1.4.0"]
+git-tree-sha1 = "88eac9360a00b3730fcbd21f3cf04e650bd2cb35"