Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
texlive-bin-static_20190410-7_aarch64.deb 2019-12-03 23:18 177K
texlive-bin-static_20190410-7_arm.deb 2019-12-03 23:18 180K
texlive-bin-static_20190410-7_i686.deb 2019-12-03 23:18 180K
texlive-bin-static_20190410-7_x86_64.deb 2019-12-03 23:18 195K