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

../
highs_1.10.0+ds-1.debian.tar.xz                    26-Mar-2025 14:39    6220
highs_1.10.0+ds-1.dsc                              26-Mar-2025 14:39    2291
highs_1.10.0+ds-1_amd64.deb                        26-Mar-2025 15:09    144K
highs_1.10.0+ds.orig.tar.xz                        26-Mar-2025 14:39      1M
libhighs-dev_1.10.0+ds-1_amd64.deb                 26-Mar-2025 15:09    403K
libhighs1_1.10.0+ds-1_amd64.deb                    26-Mar-2025 15:09      1M
python3-highspy_1.10.0+ds-1_amd64.deb              26-Mar-2025 15:09    269K