Index of /ubuntu/pool/universe/h/highs
Name Last modified Size Description
Parent Directory -
highs_1.9.0+ds-2.debian.tar.xz 2025-04-02 10:12 6.1K
highs_1.9.0+ds-2.dsc 2025-04-02 10:12 2.2K
highs_1.9.0+ds-2_amd64.deb 2025-04-02 11:39 113K
highs_1.9.0+ds.orig.tar.xz 2025-04-02 10:12 1.4M
libhighs-dev_1.9.0+ds-2_amd64.deb 2025-04-02 11:39 291K
libhighs1_1.9.0+ds-2_amd64.deb 2025-04-02 11:39 1.3M
python3-highspy_1.9.0+ds-2_amd64.deb 2025-04-02 11:39 282K
Apache/2.4.62 (Debian) Server at debian.bio.lmu.de Port 443