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

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] highs_1.10.0+ds-1.de..> 2025-03-26 17:39  6.1K  
[TXT] highs_1.10.0+ds-1.dsc   2025-03-26 17:39  2.2K  
[   ] highs_1.10.0+ds-1_am..> 2025-03-26 18:09  144K  
[   ] highs_1.10.0+ds.orig..> 2025-03-26 17:39  1.4M  
[   ] libhighs-dev_1.10.0+..> 2025-03-26 18:09  403K  
[   ] libhighs1_1.10.0+ds-..> 2025-03-26 18:09  1.3M  
[   ] python3-highspy_1.10..> 2025-03-26 18:09  269K