| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| odeintr_1.7.0.tar.gz | 22731 | 2017-Feb-17 01:57 | |
| odeintr_1.7.1.tar.gz | 17665 | 2017-Mar-30 01:16 | |
| odeintr_1.3.tar.gz | 15493 | 2015-May-17 23:37 | |
| odeintr_1.0.tar.gz | 15271 | 2015-May-13 00:25 | |
| PACKAGES.rds | 453 | 2026-Jul-09 13:36 | |