hpipm: 0.1.3-unstable-2025-09-25 -> 0.1.3-unstable-2025-07-25

Back in time to unbreak casadi.
I must have failed something while retesting after https://github.com/NixOS/nixpkgs/pull/444660#discussion_r2379636210
This commit is contained in:
Guilhem Saurel
2025-09-30 18:40:24 +02:00
parent 5c92060a39
commit dd4e5b4a65

View File

@@ -10,13 +10,13 @@
stdenv.mkDerivation (finalAttrs: { stdenv.mkDerivation (finalAttrs: {
pname = "hpipm"; pname = "hpipm";
#version = "0.1.3"; not building, use master instead #version = "0.1.3"; not building, use master instead
version = "0.1.3-unstable-2025-09-25"; version = "0.1.3-unstable-2025-07-25";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "giaf"; owner = "giaf";
repo = "hpipm"; repo = "hpipm";
rev = "8f3a2d00f6d1bd7101fb651391fba79377915288"; rev = "00c2a084e059e2e1b79877f668e282d0c4282110";
hash = "sha256-XtnUs1RiB7zJOv7zdRzB31hnxDYaiH+Q4SLyE6/kuEg="; hash = "sha256-Lg7po7xTs9jc8FiYFMbNFJooTjOpzBFiyd5f+TPMWQA=";
}; };
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];