From 30ddbb68bdd0a08fa2eb03725a3ce8c1ae1130b5 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Thu, 7 Nov 2024 17:14:10 +0000
Subject: [PATCH] Update to stdlib v0.8.0 (#19)

---
 Package.juvix   | 6 +++---
 juvix.lock.yaml | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/Package.juvix b/Package.juvix
index be41914..9e6be1f 100644
--- a/Package.juvix
+++ b/Package.juvix
@@ -5,7 +5,7 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "quickcheck";
-    version := mkVersion 0 15 0;
-    dependencies := [github "anoma" "juvix-stdlib" "ca916cf56258396cc1c559cebf355106b6de199d"];
-    main := just "Example.juvix"
+    version := mkVersion 0 16 0;
+    dependencies := [github "anoma" "juvix-stdlib" "v0.8.0"];
+    main := just "Example.juvix";
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
index 2ea5ec6..74ed1e5 100644
--- a/juvix.lock.yaml
+++ b/juvix.lock.yaml
@@ -2,10 +2,10 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: 71ea35a8c53a5d4e1e3760283204278e0006aa20b260468f8e6cf28fd8d94666
+checksum: 5fda5d62a63d78004b98cb0e766ab67c64c3c18a27e08871e3696de419f81a1e
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: ca916cf56258396cc1c559cebf355106b6de199d
+    ref: 0080b1183ab55e5180e69bfc3987e4cd6edbc230
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []