| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| PACKAGES.rds | 505 | 2026-Jul-09 13:37 | |
| optimization_1.0-1.tar.gz | 20480 | 2016-Dec-05 01:34 | |
| optimization_1.0-4.tar.gz | 20847 | 2017-May-21 23:33 | |
| optimization_1.0-5.tar.gz | 20965 | 2017-Jun-29 00:56 | |
| optimization_1.0-8.tar.gz | 810713 | 2022-Jan-04 23:20 | |
| optimization_1.0-7.tar.gz | 811620 | 2017-Oct-25 00:09 | |