| commit | 62268ee9d6381ded49636fa37ea18754f06a2bf1 | [log] [tgz] |
|---|---|---|
| author | Thomas Heijligen <src@posteo.de> | Mon Nov 27 15:10:41 2023 +0000 |
| committer | Thomas Heijligen <src@posteo.de> | Mon Nov 27 15:10:41 2023 +0000 |
| tree | f7078b464140b955c7e84c3a50bfb1f50ab9314b | |
| parent | 81cf58d7166f46b390e322be3e8a41b21d129243 [diff] [blame] |
Make it compile
diff --git a/default.nix b/default.nix index 6cb0bac..0ce641b 100644 --- a/default.nix +++ b/default.nix
@@ -11,6 +11,7 @@ gprbuild spark2014 z3 + cppcheck ]; gprFile = "default.gpr";