casadi: 3.8.0 -> 3.8.1

This commit is contained in:
R. Ryantm
2026-09-16 15:35:17 +00:00
parent 3257a290dd
commit ec65eb4e1d

View File

@@ -37,13 +37,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "casadi";
version = "3.8.0";
version = "3.8.1";
src = fetchFromGitHub {
owner = "casadi";
repo = "casadi";
tag = finalAttrs.version;
hash = "sha256-kSuNOn55eSaF4admtw4aHmPpdxUS/JDF1yBMrRbPv04=";
hash = "sha256-GY7Dyt53QE3+/aPB5oDRfZzpRLqKTGrxrmvihq4YJ2o=";
};
postPatch = ''