Use 8.15

jwiegley · Sep 22, 2023 · 37df6eb · 37df6eb
1 parent 4427c02
commit 37df6eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shell.nix b/shell.nix
@@ -1,2 +1,2 @@
-args@{ version ? "category-theory_cur", pkgs ? null }:
+args@{ version ? "category-theory_8_15", pkgs ? null }:
 (import ./default.nix (if pkgs == null then {} else { inherit pkgs; })).${version}