Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
box-disk001.vmdk | 2019-01-16 05:13 | 3.5G | ||
box-disk002.vmdk | 2019-01-16 05:13 | 71K | ||
Vagrantfile | 2019-01-16 05:13 | 630 | ||
vagrant_private_key | 2019-01-16 05:13 | 1.6K | ||
README | 2019-01-16 05:15 | 1.0K | ||
box.ovf | 2019-01-16 05:16 | 8.3K | ||
OpenModelica-1.13.0~4-gb21d028/ | 2019-01-16 06:19 | - | ||