Index of /packages/linux-ubuntu/pool/universe/l/lua-torch-optim

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]lua-torch-optim_0~20170208-g656c42a-3.dsc2017-11-22 09:16 2.2K 
[   ]lua-torch-optim_0~20170208-g656c42a-3.debian.tar.xz2017-11-22 09:16 3.1K 
[   ]lua-torch-optim_0~20170208-g656c42a-3_all.deb2017-11-22 09:17 167K 
[   ]lua-torch-optim_0~20170208-g656c42a.orig.tar.gz2017-11-01 14:56 219K 

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443