Index of /pool/universe/h/highs

 NameLast modifiedSizeDescription
 Parent Directory  -  
 highs_1.9.0+ds-2.debian.tar.xz2025-04-02 16:12 6.1K 
 highs_1.9.0+ds-2.dsc2025-04-02 16:12 2.2K 
 highs_1.9.0+ds-2_amd64.deb2025-04-02 17:39 113K 
 highs_1.9.0+ds.orig.tar.xz2025-04-02 16:12 1.4M 
 libhighs-dev_1.9.0+ds-2_amd64.deb2025-04-02 17:39 291K 
 libhighs1_1.9.0+ds-2_amd64.deb2025-04-02 17:39 1.3M 
 python3-highspy_1.9.0+ds-2_amd64.deb2025-04-02 17:39 282K