Index of /ubuntu/pool/universe/g/gral
Name
Last modified
Size
Parent Directory
-
gral_0.11-2.debian.tar.xz
25-Oct-2019 15:09
4.1K
gral_0.11-2.dsc
25-Oct-2019 15:09
1.9K
gral_0.11.orig.tar.gz
25-Oct-2019 15:09
229K
libgral-java_0.11-2_all.deb
25-Oct-2019 22:00
301K
Apache/2.2.14 (Ubuntu) Server at ubuntu.cs.utah.edu Port 80