| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| PACKAGES.rds | 628 | 2026-Jul-09 13:52 | |
| rminizinc_0.0.1.tar.gz | 414232 | 2020-Dec-14 18:00 | |
| rminizinc_0.0.2.tar.gz | 415014 | 2020-Dec-18 01:30 | |
| rminizinc_0.0.3.tar.gz | 415437 | 2021-Jan-06 13:40 | |
| rminizinc_0.0.4.tar.gz | 415646 | 2021-Jan-22 21:40 | |
| rminizinc_0.0.5.tar.gz | 421102 | 2021-Jan-27 18:30 | |
| rminizinc_0.0.6.tar.gz | 429276 | 2021-Feb-26 20:50 | |
| rminizinc_0.0.7.tar.gz | 439156 | 2021-Aug-04 13:10 | |
| rminizinc_0.0.8.tar.gz | 439077 | 2021-Oct-15 13:40 | |