diff --git a/Anoma/System.juvix b/Anoma/System.juvix
index b4752f8..79a7e6b 100644
--- a/Anoma/System.juvix
+++ b/Anoma/System.juvix
@@ -85,6 +85,7 @@ axiom anomaVerifyDetached : {Message : Type}
   -> Bool;
 
 --- Verifies a signature against a message and public key and return the message on success.
+builtin anoma-verify-with-message
 axiom anomaVerifyWithMessage : {Message : Type}
   -- | The signed message to verify.
   -> SignedMessage
diff --git a/README.md b/README.md
index 47e3a68..1574225 100644
--- a/README.md
+++ b/README.md
@@ -4,4 +4,4 @@ A Juvix library for writing Anoma applications.
 
 ## Minimum Supported Juvix Version
 
-To use this library you need to use a [Juvix nightly build](https://github.com/anoma/juvix-nightly-builds/releases/latest) from 2024-06-28 or later.
+To use this library you need to use [Juvix 0.6.3](https://github.com/anoma/juvix/releases/tag/v0.6.3) or a [Juvix nightly build](https://github.com/anoma/juvix-nightly-builds/releases/latest) from 2024-07-03 or later.