commit c950ae076b12c3bf513d7c10d54764429d6fac5e Author: Leopold Palomo-Avellaneda <leo@alaxarxa.net> Date: Fri Jun 27 10:00:14 2025 +0200 Update changelog. 1.6.0+ds1-5 commit c8c9c22d7361e1e276f29829293565c06ab60547 Author: Leopold Palomo-Avellaneda <leo@alaxarxa.net> Date: Fri Jun 27 09:58:54 2025 +0200 Drop libopenmpi-dev in libompl-dev. Closes: #1104960
Among the 4 debian patches available in version 1.6.0+ds1-5 of the package, we noticed the following issues: