From c930de820ebcbb2b66410fc3c0871dbc065e4e5c Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Mon, 12 May 2025 18:28:26 +0200
Subject: [PATCH] aligator: 0.13.0 -> 0.14.0

ref. https://github.com/Simple-Robotics/aligator/blob/main/CHANGELOG.md#0140---2025-05-07

drop pinocchio 2 support, but we have 3
drop proxsuite-nlp dependency, done
---
 pkgs/by-name/al/aligator/package.nix | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/pkgs/by-name/al/aligator/package.nix b/pkgs/by-name/al/aligator/package.nix
index b3855110365f..95b48a12cdb3 100644
--- a/pkgs/by-name/al/aligator/package.nix
+++ b/pkgs/by-name/al/aligator/package.nix
@@ -21,7 +21,6 @@
   suitesparse,
   crocoddyl,
   pinocchio,
-  proxsuite-nlp,
 
   # checkInputs
   gbenchmark,
@@ -29,13 +28,13 @@
 
 stdenv.mkDerivation (finalAttrs: {
   pname = "aligator";
-  version = "0.13.0";
+  version = "0.14.0";
 
   src = fetchFromGitHub {
     owner = "Simple-Robotics";
     repo = "aligator";
     tag = "v${finalAttrs.version}";
-    hash = "sha256-i+NQzhYdHQ+KcNxSLELgnMk98mdfN/vbXfRlU3k/dUU=";
+    hash = "sha256-SkhFV/a3A6BqzoicQa7MUgsEuDzd+JfgYvL4ztHg/K0=";
   };
 
   outputs = [
@@ -67,12 +66,10 @@ stdenv.mkDerivation (finalAttrs: {
       python3Packages.crocoddyl
       python3Packages.matplotlib
       python3Packages.pinocchio
-      python3Packages.proxsuite-nlp
     ]
     ++ lib.optionals (!pythonSupport) [
       crocoddyl
       pinocchio
-      proxsuite-nlp
     ];
   checkInputs =
     [ gbenchmark ]