| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| virgo-jetty-server-3.5.0.RELEASE.zip | 42378042 | 2012-Jul-10 14:12 |
| virgo-jetty-server-3.5.0.RELEASE.zip.sha1 | 41 | 2012-Jul-10 14:12 |
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| virgo-jetty-server-3.5.0.RELEASE.zip | 42378042 | 2012-Jul-10 14:12 |
| virgo-jetty-server-3.5.0.RELEASE.zip.sha1 | 41 | 2012-Jul-10 14:12 |