Index of /debian/pool/main/d/discodos
Name
Last modified
Size
Description
Parent Directory
-
discodos_2.0-1.debian.tar.xz
2024-10-07 19:42
3.2K
discodos_2.0-1.dsc
2024-10-07 19:42
2.0K
discodos_2.0-1_all.deb
2024-10-07 20:36
69K
discodos_2.0.orig.tar.gz
2024-10-07 19:42
9.8M
Apache/2.4.59 (Debian) Server at debian.tu-bs.de Port 80