Merge pull request #213942 from wegank/pinocchio-bump

pinocchio: 2.6.14 -> 2.6.15
This commit is contained in:
Weijia Wang 2023-02-01 12:34:35 +01:00 committed by GitHub
commit 1537e7db6d
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.14";
version = "2.6.15";
src = fetchFromGitHub {
owner = "stack-of-tasks";
repo = pname;
rev = "v${version}";
fetchSubmodules = true;
sha256 = "sha256-3dPGeWnIVIErLnd+mxwudTj4qHyN2k7H94EsHYmKV1I=";
hash = "sha256-bnm5nbb0mKw76k2J2Qi04n7bmfzadtqV/AmnWSzbb+0=";
};
# error: use of undeclared identifier '__sincos'