Index of /debian13/archive/pool/main/h/highs/

../
highs_1.10.0+ds-1.debian.tar.xz                    09-Aug-2026 23:35    6220
highs_1.10.0+ds-1.dsc                              09-Aug-2026 23:35    2291
highs_1.10.0+ds-1_amd64.deb                        08-Aug-2026 23:23    144K
highs_1.10.0+ds.orig.tar.xz                        09-Aug-2026 23:35      1M
libhighs-dev_1.10.0+ds-1_amd64.deb                 08-Aug-2026 23:23    403K
libhighs1_1.10.0+ds-1_amd64.deb                    08-Aug-2026 23:23      1M
python3-highspy_1.10.0+ds-1_amd64.deb              08-Aug-2026 23:23    269K