Index of /ubuntu/pool/universe/g/gral
Name
Last modified
Size
Description
Parent Directory
-
gral_0.11-2.debian.tar.xz
2019-10-25 23:09
4.1K
gral_0.11-2.dsc
2019-10-25 23:09
1.9K
gral_0.11.orig.tar.gz
2019-10-25 23:09
229K
libgral-java_0.11-2_all.deb
2019-10-26 06:00
301K
Apache/2.4.59 (Debian) Server at debian.ruhr-uni-bochum.de Port 443