Index of /dsi/pool/other/i/idea-iu-bin
Name
Last modified
Size
Parent Directory
-
idea-iu-bin_2016.2+DSI2_all.deb
2016-08-02 00:12
394M
Apache/2.4.62 (Debian) Server at deb.dsi.ist.utl.pt Port 443