WRZ FTP-Server
Name | Last Modified | Size |
---|---|---|
Parent Directory/ | - | |
gap-gdat_4r8p5-2.diff.gz
|
2018-12-28 19:57
|
5.5K
|
gap-gdat_4r8p5-2.dsc
|
2018-12-28 19:57
|
1.9K
|
gap-gdat_4r8p5.orig.tar.gz
|
2016-10-23 21:03
|
28.2M
|
gap-prim-groups_4r8p5-2_all.deb
|
2018-12-28 19:57
|
7.0M
|
gap-small-groups-extra_4r8p5-2_all.deb
|
2018-12-28 19:57
|
15.1M
|
gap-small-groups_4r8p5-2_all.deb
|
2018-12-28 19:57
|
3.5M
|
gap-trans-groups_4r8p5-2_all.deb
|
2018-12-28 19:57
|
3.0M
|