gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

kind2: fix for structuredAttrs

Browse Source
This commit is contained in:
Stefan Frijters
2026-01-08 13:02:25 +01:00
parent 455f1d77b9
commit cadfcdc663
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/ki/kind2/package.nix
+1 -1
View File
@@ -23,7 +23,7 @@ rustPlatform.buildRustPackage rec {
'';
# requires nightly features
RUSTC_BOOTSTRAP = true;
env.RUSTC_BOOTSTRAP = true;
meta = {
description = "Functional programming language and proof assistant";