From 642ac25a716f9123d7952dde604a2ee1eae9ae5f Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Thu, 4 Jan 2024 13:11:13 +0100
Subject: [PATCH] happy new year [pack update. also idris 0.7.0]

---
 pack.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pack.toml b/pack.toml
index 9843384..71aa281 100644
--- a/pack.toml
+++ b/pack.toml
@@ -1,4 +1,4 @@
-collection = "nightly-231020"
+collection = "nightly-240101"
 
 [custom.all.tap]
 type = "git"