Index of /debian/debian/pool/main/h/highs/

../
highs_1.10.0+ds-1_amd64.deb                        26-Mar-2025 15:09    144K
highs_1.10.0+ds-1_riscv64.deb                      26-Mar-2025 16:01    132K
libhighs-dev_1.10.0+ds-1_amd64.deb                 26-Mar-2025 15:09    403K
libhighs-dev_1.10.0+ds-1_riscv64.deb               26-Mar-2025 16:01    403K
libhighs1_1.10.0+ds-1_amd64.deb                    26-Mar-2025 15:09      1M
libhighs1_1.10.0+ds-1_riscv64.deb                  26-Mar-2025 16:01      1M
python3-highspy_1.10.0+ds-1_amd64.deb              26-Mar-2025 15:09    269K
python3-highspy_1.10.0+ds-1_riscv64.deb            26-Mar-2025 16:01    245K