Index of ftp://clipper.hq.eso.org/pub/elt/DevEnv-5.0.0~alpha13
Parent Directory
eltint83-1.vmdk
6.56Gb
August 11 2023 at 18:06
eltint83-2.nvram
264.49Kb
August 11 2023 at 14:28
eltint83.mf
268.00b
August 11 2023 at 14:28
eltint83.ovf
6.69Kb
August 11 2023 at 14:28
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
eltint83-1.vmdk eltint83-2.nvram eltint83.mf eltint83.ovf