Merge pull request #1761 from HoTT/ps/branch/chore__update_flake_to_c…

…oq_8_18
HoTT · Sep 18, 2023 · 6f143f9 · 6f143f9
2 parents c53a81a + 7aa5150
commit 6f143f9
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,7 +2,7 @@
   description = "A Coq library for Homotopy Type Theory";
 
   inputs = {
-    nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
+    nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
 
     flake-utils.url = "github:numtide/flake-utils";
   };
@@ -26,7 +26,7 @@
         };
 
         devShells.default = pkgs.mkShell {
-          buildInputs = with pkgs.coqPackages_8_17; [
+          buildInputs = with pkgs.coqPackages_8_18; [
             pkgs.dune_3
             pkgs.ocaml
             coq