isabelle-linter: change stdenv

2026-01-23 22:38:19 +08:00
parent 48d6c3310a
commit 78dbd6c9b4
1 changed files with 2 additions and 2 deletions
@@ -1,11 +1,11 @@
 {
-  stdenv,
+  stdenvNoCC,
  lib,
  fetchFromGitHub,
  isabelle,
 }:

-stdenv.mkDerivation rec {
+stdenvNoCC.mkDerivation rec {
  pname = "isabelle-linter";
  version = "2025-1-1.0.0";