Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443
Parent Directory - gnac_0.2.4-1.debian.tar.gz 2012-05-01 01:45 10K gnac_0.2.4-1.dsc 2012-05-01 01:45 1.9K gnac_0.2.4.orig.tar.gz 2012-05-01 01:45 1.1M gnac_0.2.4-1_armhf.deb 2012-05-04 16:35 562K gnac_0.2.4-1_powerpc.deb 2012-05-05 05:34 566K gnac_0.2.4-1_ppc64el.deb 2014-02-18 23:48 439K gnac_0.2.4-1_arm64.deb 2014-03-29 02:23 437K