From 376c5f2801479957dff46ad7484c45ab4c5e008d Mon Sep 17 00:00:00 2001
From: Nicolas Biri <nicolas@biri.name>
Date: Sat, 20 Dec 2025 13:36:18 +0100
Subject: [PATCH] use idris2 from nixpkgs

---
 flake.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 7f5fae7..e54bb6b 100644
--- a/flake.nix
+++ b/flake.nix
@@ -21,12 +21,13 @@
         npkgs = import nixpkgs { inherit system; };
         inherit (npkgs)
           dhall
+          idris2
           lib;
         inherit (npkgs.haskellPackages)
           dhall-json;
 
         version = import ./version.nix;
-        idrisPkgs = idris.packages.${system} // papers;
+        idrisPkgs = papers;
 
         callPackage = lib.callPackageWith (npkgs // packages);
 
@@ -76,7 +77,7 @@
         };
 
         devShells.default = npkgs.mkShell {
-          packages = [ idrisPkgs.idris2 papersLib npkgs.rlwrap dhall dhall-json ];
+          packages = [ idris2 papersLib npkgs.rlwrap dhall dhall-json ];
           shellHook = ''
             alias idris2="rlwrap -s 1000 idris2 --no-banner"
             ${self.checks.${system}.pre-commit-check.shellHook}