From 6ecb3f08b0559cd4416ab3222dfa66452f7e31e3 Mon Sep 17 00:00:00 2001
From: rvcas <x@rvcas.dev>
Date: Wed, 16 Aug 2023 13:24:10 -0400
Subject: [PATCH] chore: default stdlib on new is 1.5.0

---
 crates/aiken-project/src/config.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/aiken-project/src/config.rs b/crates/aiken-project/src/config.rs
index 785bc517..ac09d8b0 100644
--- a/crates/aiken-project/src/config.rs
+++ b/crates/aiken-project/src/config.rs
@@ -65,7 +65,7 @@ impl Config {
                     owner: "aiken-lang".to_string(),
                     repo: "stdlib".to_string(),
                 },
-                version: "1.3.0".to_string(),
+                version: "1.5.0".to_string(),
                 source: Platform::Github,
             }],
         }