casadi: 3.7.1 -> 3.7.2
Diff: https://github.com/casadi/casadi/compare/3.7.1...3.7.2 Changelog: https://github.com/casadi/casadi/releases/tag/3.7.2
This commit is contained in:
@@ -38,13 +38,13 @@
|
|||||||
|
|
||||||
stdenv.mkDerivation (finalAttrs: {
|
stdenv.mkDerivation (finalAttrs: {
|
||||||
pname = "casadi";
|
pname = "casadi";
|
||||||
version = "3.7.1";
|
version = "3.7.2";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "casadi";
|
owner = "casadi";
|
||||||
repo = "casadi";
|
repo = "casadi";
|
||||||
tag = finalAttrs.version;
|
tag = finalAttrs.version;
|
||||||
hash = "sha256-554ZN+GfkGHN0cthsb/fPWdo+U2IqLz4q+x60SxRAfk=";
|
hash = "sha256-I6CYtKVvE67NSYH/JGJFP5wHhm1xACctz7uTwOFFihA=";
|
||||||
};
|
};
|
||||||
|
|
||||||
patches = [
|
patches = [
|
||||||
|
|||||||
Reference in New Issue
Block a user