Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
ogmtools-1.5-1-src.hint 2021-06-21 22:05 347
ogmtools-1.5-1-src.tar.xz 2014-06-12 16:55 331K
ogmtools-1.5-1.hint 2014-11-07 16:55 416
ogmtools-1.5-1.tar.xz 2014-06-12 16:55 139K
sha512.sum 2022-01-11 16:14 612