Merge pull request #210648 from wegank/pinocchio-bump

pinocchio: 2.6.12 -> 2.6.14
This commit is contained in:
Nick Cao 2023-01-17 10:22:30 +08:00 committed by GitHub
commit cdbe04353d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -11,14 +11,14 @@
stdenv.mkDerivation rec {
pname = "pinocchio";
version = "2.6.12";
version = "2.6.14";
src = fetchFromGitHub {
owner = "stack-of-tasks";
repo = pname;
rev = "v${version}";
fetchSubmodules = true;
sha256 = "sha256-DJX/njNX8l7ngSl3yCeN7ZoQaH65pQTsZrKwmY7EZ+E=";
sha256 = "sha256-3dPGeWnIVIErLnd+mxwudTj4qHyN2k7H94EsHYmKV1I=";
};
# error: use of undeclared identifier '__sincos'