Index of /ubuntu/pool/universe/g/gnome-user-docs
Name
Last modified
Size
Description
Parent Directory
-
gnome-user-guide_3.36.1-0ubuntu1_all.deb
2020-04-06 14:29
7.0K
gnome-user-guide_3.36.2+git20200704-0ubuntu0.1_all.deb
2020-07-08 21:38
7.1K
Apache/2.4.59 (Debian) Server at ubuntu.ruhr-uni-bochum.de Port 80
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}