From 72a517d5da0e9b8f0775fe5639094983916b8bd7 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Wed, 21 Aug 2024 08:30:37 +0100
Subject: [PATCH] Update for Juvix 0.6.5 (#16)

* Update juvix-stdlib with changes to FromNatural

* Update to new stdlib
---
 Package.juvix   | 4 ++--
 juvix.lock.yaml | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/Package.juvix b/Package.juvix
index 0afd978..24cfa55 100644
--- a/Package.juvix
+++ b/Package.juvix
@@ -5,7 +5,7 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "quickcheck";
-    version := mkVersion 0 13 0;
-    dependencies := [github "anoma" "juvix-stdlib" "v0.5.0"];
+    version := mkVersion 0 14 0;
+    dependencies := [github "anoma" "juvix-stdlib" "v0.6.0"];
     main := just "Example.juvix"
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
index 36b6e04..57401c1 100644
--- a/juvix.lock.yaml
+++ b/juvix.lock.yaml
@@ -1,11 +1,11 @@
-# This file was autogenerated by Juvix version 0.6.4.
+# This file was autogenerated by Juvix version 0.6.5.
 # Do not edit this file manually.
 
 version: 2
-checksum: 99a2c0cfac6ae6f9b2da473f3c89cf7e52ff678b3aa9a501170eed4095dad539
+checksum: 3eaf6b2852195ac6cbcb5e9af836bb73b8932f534f687ba4820bfb9fd3b9d891
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: 16211500dc59a944f851fbaeeef703fdd09163fa
+    ref: 17a82dd466010b51924677b16a3f09a6c4c86a80
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []