Merge pull request #274137 from r-ryantm/auto-update/crocoddyl

crocoddyl: 2.0.1 -> 2.0.2
This commit is contained in:
Weijia Wang 2023-12-15 23:37:00 +01:00 committed by GitHub
commit 92acf6296a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -11,14 +11,14 @@
stdenv.mkDerivation (finalAttrs: {
pname = "crocoddyl";
version = "2.0.1";
version = "2.0.2";
src = fetchFromGitHub {
owner = "loco-3d";
repo = finalAttrs.pname;
rev = "v${finalAttrs.version}";
fetchSubmodules = true;
hash = "sha256-h7rzLSvmWOZCP8rvmUEhFeMEiPhojfbvkt+fNKpgoXo=";
hash = "sha256-MsAXHfxLNlIK/PbtVTjvBN1Jk3dyGEkfpj3/98nExj4=";
};
strictDeps = true;