From 835ce837e75c35319ab7e362953f23f1bc5fd3e5 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Wed, 3 Jul 2024 17:48:22 +0100
Subject: [PATCH] Make anomaVerifyWithMessage a builtin (#8)

* Make anomaVerifyWithMessage a builtin

This builtin is available since Juvix 0.6.3

* Update minimum juvix version
---
 Anoma/System.juvix | 1 +
 README.md          | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

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.