From 750640348cd16c496a0fbedd6f2a8f7da1b36915 Mon Sep 17 00:00:00 2001
From: Miran Bastaja <mbastaja@sorre.xyz>
Date: Tue, 11 Mar 2025 15:10:39 +0100
Subject: dev-stuff: add idris2

---
 share/home/dev-stuff.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'share')

diff --git a/share/home/dev-stuff.nix b/share/home/dev-stuff.nix
index 4dbbe7f..680f1e1 100644
--- a/share/home/dev-stuff.nix
+++ b/share/home/dev-stuff.nix
@@ -41,6 +41,7 @@ in
         podman-compose
         git-annex
         git-remote-gcrypt
+        idris2
 
         # TUI/GUI
         zed-editor
-- 
cgit v1.3.1