Update all Flake Inputs & Add texliveFull to the devShell (#6588)

.editorconfig

@@ -1,7 +1,8 @@
 root = true
 
-[*]
-indent_style = space
+# TODO decide if we want this
+# [*]
+# indent_style = space
 
 [*.{nix, hs, lagda, agda}]
 charset = utf-8

cabal.project

@@ -14,9 +14,9 @@ repository cardano-haskell-packages
 -- update either of these.
 index-state:
   -- Bump both the following dates if you need newer packages from Hackage
-  , hackage.haskell.org 2024-06-23T03:51:23Z
+  , hackage.haskell.org 2024-10-16T00:00:00Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2024-08-01T16:18:12Z
+  , cardano-haskell-packages 2024-10-16T00:00:00Z
 
 packages: cardano-constitution
           plutus-benchmark

cardano-constitution/cardano-constitution.cabal

@@ -118,15 +118,16 @@ test-suite cardano-constitution-test
 
   build-depends:
     , aeson
-    , base                                            >=4.9   && <5
+    , base                             >=4.9   && <5
     , bytestring
     , cardano-constitution
     , containers
     , directory
     , filepath
-    , plutus-core:{plutus-core, plutus-core-testlib}  ^>=1.36
-    , plutus-ledger-api                               ^>=1.36
-    , plutus-tx                                       ^>=1.36
+    , plutus-core                      ^>=1.36
+    , plutus-core:plutus-core-testlib
+    , plutus-ledger-api                ^>=1.36
+    , plutus-tx                        ^>=1.36
     , QuickCheck
     , serialise
     , tasty

flake.nix

@@ -12,7 +12,8 @@
       inputs.nixpkgs.follows = "nixpkgs";
     };
 
-    nixpkgs.follows = "haskell-nix/nixpkgs";
+    nixpkgs.follows = "haskell-nix/nixpkgs-unstable";
+    nixpkgs-2405.follows = "haskell-nix/nixpkgs-2405";
 
     hackage = {
       url = "github:input-output-hk/hackage.nix";

nix/agda-packages.nix

@@ -18,15 +18,19 @@
 let
   Agda = repoRoot.nix.agda-project.hsPkgs.Agda;
 
-  frankenAgda = (pkgs.symlinkJoin {
+  frankenAgdaBin = pkgs.symlinkJoin {
     name = "agda";
+    version = Agda.identifier.version;
     paths = [
       Agda.components.exes.agda
       Agda.components.exes.agda-mode
     ];
-  }) //
-  {
-    version = Agda.identifier.version;
+  };
+
+  frankenAgda = frankenAgdaBin // {
+    # Newer Agda is built with enableSeparateBinOutput, hence this hacky workaround.
+    # https://github.com/NixOS/nixpkgs/commit/294245f7501e0a8e69b83346a4fa5afd4ed33ab3
+    bin = frankenAgdaBin;
   };
 
   frankenPkgs =

nix/latex-documents.nix

@@ -46,11 +46,11 @@ let
       description = "Multi-currency paper";
     };
 
-    plutus-core-spec-old = build-latex-doc {
-      name = "plutus-core-spec-old";
-      description = "Plutus core specification (old version)";
-      src = inputs.self + /doc/plutus-core-spec-old;
-    };
+    # plutus-core-spec-old = build-latex-doc {
+    #   name = "plutus-core-spec-old";
+    #   description = "Plutus core specification (old version)";
+    #   src = inputs.self + /doc/plutus-core-spec-old;
+    # };
 
     plutus-core-spec = build-latex-doc {
       name = "plutus-core-spec";

nix/outputs.nix

@@ -35,6 +35,7 @@ in
   {
     packages.plutus-metatheory-site = repoRoot.nix.plutus-metatheory-site;
     packages.pre-commit-check = ghc96.pre-commit-check;
+    packages.agda-project = repoRoot.nix.agda-project.hsPkgs.Agda.components.exes.agda;
   }
 
   (lib.optionalAttrs (system == "x86_64-linux" || system == "x86_64-darwin")

nix/plutus-metatheory-site.nix

@@ -35,7 +35,12 @@ let
 
   plutus-metatheory-site = pkgs.runCommand "plutus-metatheory-site"
     {
-      buildInputs = [ pkgs.jekyll pkgs.linkchecker ];
+      buildInputs = [
+        pkgs.jekyll
+        # TODO lickcheker is broke in nixpkgs-usnstable, remove this when it's fixed
+        # pkgs.linkchecker
+        inputs.nixpkgs-2405.legacyPackages.linkchecker
+      ];
     }
     ''
       mkdir "$out"