done

IntersectMBO · Jan 16, 2025 · d2a59a7 · d2a59a7
1 parent 6b44814
commit d2a59a7
Show file tree

Hide file tree

Showing 5 changed files with 13 additions and 6 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,7 +2,9 @@
   description = "Plutus Core";
 
   inputs = {
-    nixpkgs.follows = "haskell-nix/nixpkgs-unstable";
+    nixpkgs-2405.follows = "haskell-nix/nixpkgs-2405";
+
+    nixpkgs.follows = "haskell-nix/nixpkgs";
 
     hackage = {
       url = "github:input-output-hk/hackage.nix";

diff --git a/nix/metatheory-site.nix b/nix/metatheory-site.nix
@@ -1,7 +1,7 @@
 # This file evaluates to a derivation that builds the AGDA metatheory
 # documentation site using Jekyll. The derivation also checks for broken links
 # in the generated HTML.
-{ self, pkgs, lib, agda-with-stdlib }:
+{ inputs, self, pkgs, lib, agda-with-stdlib }:
 
 let
 
@@ -37,7 +37,7 @@ let
     {
       buildInputs = [
         pkgs.jekyll
-        pkgs.linkchecker
+        inputs.nixpkgs-2405.legacyPackages.${pkgs.system}.linkchecker
       ];
     } ''
     mkdir "$out"

diff --git a/nix/outputs.nix b/nix/outputs.nix
@@ -30,7 +30,7 @@ let
     { inherit self build-latex-doc; };
 
   metatheory-site = import ./metatheory-site.nix
-    { inherit self pkgs lib agda-with-stdlib; };
+    { inherit inputs self pkgs lib agda-with-stdlib; };
 
   project = import ./project.nix
     { inherit inputs pkgs lib agda-with-stdlib r-with-packages; };

diff --git a/nix/shell.nix b/nix/shell.nix
@@ -70,6 +70,7 @@ let
   common-pkgs = [
     agda-with-stdlib
     r-with-packages
+    inputs.nixpkgs-2405.legacyPackages.${pkgs.system}.linkchecker
 
     pkgs.texliveFull
     pkgs.jekyll
@@ -93,7 +94,7 @@ let
     pkgs.git
     pkgs.which
     pkgs.nodejs_20
-    pkgs.linkchecker
+
   ];
 
 in