WRZ FTP-Server

Name Last Modified Size
Parent Directory/   -  
gap-fga_1.4.0-2.debian.tar.xz 2020-11-08 11:19 3.6K
gap-fga_1.4.0-2.dsc 2020-11-08 11:19 1.8K
gap-fga_1.4.0-2_all.deb 2020-11-08 12:00 167.3K
gap-fga_1.4.0.orig.tar.gz 2020-11-01 12:51 177.2K
gap-fga_1.5.0-1.debian.tar.xz 2024-02-07 18:09 3.3K
gap-fga_1.5.0-1.dsc 2024-02-07 18:09 1.8K
gap-fga_1.5.0-1_all.deb 2024-02-07 19:15 173.8K
gap-fga_1.5.0.orig.tar.gz 2024-02-07 18:09 269.1K