happy new year [pack update. also idris 0.7.0]

2024-01-04 13:11:13 +01:00 · 2024-01-04 13:11:13 +01:00 · 642ac25a71
parent 05a688d49e
commit 642ac25a71
1 changed files with 1 additions and 1 deletions
--- a/pack.toml
+++ b/pack.toml
@ -1,4 +1,4 @@
-collection = "nightly-231020"
+collection = "nightly-240101"

 [custom.all.tap]
 type = "git"