Index of /ubuntu/pool/universe/g/gap-gdat
Name
Last modified
Size
Parent Directory
-
gap-gdat_4r6p5-1.diff.gz
2013-10-21 13:19
5.2K
gap-gdat_4r6p5.orig.tar.gz
2013-10-21 13:19
28M
gap-gdat_4r6p5-1.dsc
2013-10-21 13:19
1.2K
gap-small-groups-extra_4r6p5-1_all.deb
2013-10-22 00:34
15M
gap-trans-groups_4r6p5-1_all.deb
2013-10-22 00:34
3.0M
gap-small-groups_4r6p5-1_all.deb
2013-10-22 00:34
3.5M
gap-prim-groups_4r6p5-1_all.deb
2013-10-22 00:34
7.0M
gap-gdat_4r7p8-1.diff.gz
2015-06-18 17:18
5.2K
gap-gdat_4r7p8.orig.tar.gz
2015-06-18 17:18
28M
gap-gdat_4r7p8-1.dsc
2015-06-18 17:18
1.9K
gap-small-groups_4r7p8-1_all.deb
2015-06-18 17:18
3.5M
gap-trans-groups_4r7p8-1_all.deb
2015-06-18 17:18
3.0M
gap-small-groups-extra_4r7p8-1_all.deb
2015-06-18 17:18
15M
gap-prim-groups_4r7p8-1_all.deb
2015-06-18 17:18
7.0M
gap-gdat_4r8p5-1.dsc
2016-11-02 03:55
1.8K
gap-gdat_4r8p5.orig.tar.gz
2016-11-02 03:55
28M
gap-gdat_4r8p5-1.diff.gz
2016-11-02 03:55
5.3K
gap-small-groups-extra_4r8p5-1_all.deb
2016-11-02 12:30
15M
gap-prim-groups_4r8p5-1_all.deb
2016-11-02 12:30
7.0M
gap-trans-groups_4r8p5-1_all.deb
2016-11-02 12:30
3.0M
gap-small-groups_4r8p5-1_all.deb
2016-11-02 12:30
3.5M
Apache/2.4.52 (Ubuntu) Server at 82.archive.ubuntu.com Port 80