![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| PACKAGES.rds | 2026-11-02 03:20 | 761 | |
| highs_0.1-2.tar.gz | 2022-08-30 11:00 | 1.1M | |
| highs_0.1-4.tar.gz | 2022-09-26 16:40 | 1.1M | |
| highs_0.1-5.tar.gz | 2022-12-11 02:50 | 1.1M | |
| highs_0.1-6.tar.gz | 2022-12-15 05:40 | 1.1M | |
| highs_0.1-10.tar.gz | 2023-05-16 11:30 | 1.1M | |
| highs_1.9.0-1.tar.gz | 2025-01-08 06:40 | 1.5M | |
| highs_1.10.0-1.tar.gz | 2025-04-24 08:20 | 1.1M | |
| highs_1.10.0-2.tar.gz | 2025-05-16 19:00 | 1.1M | |
| highs_1.10.0-3.tar.gz | 2025-07-13 08:50 | 1.1M | |
| highs_1.12.0-1.tar.gz | 2025-11-24 02:30 | 1.3M | |
| highs_1.12.0-2.tar.gz | 2026-02-03 03:50 | 1.4M | |
| highs_1.12.0-3.tar.gz | 2026-02-08 11:06 | 1.4M | |
| highs_1.14.0-2.tar.gz | 2026-06-08 03:20 | 1.5M | |
| highs_1.15.1-1.tar.gz | 2026-10-23 05:10 | 1.7M | |