Index of /debian-ports/pool-x32/main/h/highs/

../
highs-dbgsym_1.11.0+ds-1_x32.deb                   15-Aug-2025 00:03             1736220
highs_1.11.0+ds-1_x32.buildinfo                    15-Aug-2025 00:03                9655
highs_1.11.0+ds-1_x32.deb                          15-Aug-2025 00:03              148728
libhighs-dev_1.11.0+ds-1_x32.deb                   15-Aug-2025 00:03              427424
libhighs1-dbgsym_1.11.0+ds-1_x32.deb               15-Aug-2025 00:03            22202908
libhighs1_1.11.0+ds-1_x32.deb                      15-Aug-2025 00:03             1347572
python3-highspy-dbgsym_1.11.0+ds-1_x32.deb         15-Aug-2025 00:03             3971472
python3-highspy_1.11.0+ds-1_x32.deb                15-Aug-2025 00:03              276216