nix

Author: Kaptch

flake.nix

@@ -1,16 +1,16 @@
 {
   description = "gitrees";
   inputs = {
-    nixpkgs.url = github:NixOS/nixpkgs/nixos-24.11;
+    nixpkgs.url = github:NixOS/nixpkgs/nixos-26.05;
     flake-utils.url = github:numtide/flake-utils;
   };
   outputs = { self, nixpkgs, flake-utils }:
     with flake-utils.lib; eachSystem allSystems (system:
       let
         pkgs = nixpkgs.legacyPackages.${system};
         lib = pkgs.lib;
-        coq = pkgs.coq_8_20;
-        coqPkgs = pkgs.coqPackages_8_20;
+        coq = pkgs.rocq-core_9_2;
+        coqPkgs = pkgs.rocqPackages_9_2;
       in {
         packages = {
           coq-artifact = coqPkgs.mkCoqDerivation {