Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - beamercolorthemetrigon.dtx 2023-02-20 18:14 6.5K beamerfontthemetrigon.dtx 2023-02-20 18:14 10K beamerinnerthemetrigon.dtx 2023-02-20 18:14 23K beamerouterthemetrigon.dtx 2023-02-20 18:14 4.7K beamerthemetrigon.dtx 2023-02-20 18:14 4.0K beamerthemetrigon.ins 2022-09-10 13:44 3.1K