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: