diff --git a/Makefile b/Makefile
index f1dece0..246b8f6 100644
--- a/Makefile
+++ b/Makefile
@@ -9,4 +9,4 @@ check-format:
 	dhall type --file package-set.dhall;
 	@echo checked dhall files are well-typed.
 ci: check-format
-	vessel verify --version 0.12.1
+	vessel verify --version 0.13.0
diff --git a/index/base.dhall b/index/base.dhall
index f34bc92..8a76024 100644
--- a/index/base.dhall
+++ b/index/base.dhall
@@ -5,6 +5,6 @@
 , authors = [ "DFINITY Languages Team" ]
 , owners = [ "dfinity" ]
 , repo = "https://github.com/dfinity/motoko-base.git"
-, version = "e1b5bba80a9ef1faacfcffa3e8f64ab84d60c570"
+, version = "149ef18f92ea71f77751da84fb988359399a3050"
 , dependencies = [] : List Text
 }