WRZ FTP-Server

  1. ftp.wrz.de
  2. pub
  3. debian
  4. pool
  5. main
  6. m
  7. mistral-extra
Name Last Modified Size
Parent Directory/   -  
mistral-extra_15.1.0-1.debian.tar.xz 2025-10-15 10:00 2.9K
mistral-extra_15.1.0-1.dsc 2025-10-15 10:00 2.8K
mistral-extra_15.1.0-1_all.deb 2025-11-28 19:21 31.8K
mistral-extra_15.1.0.orig.tar.xz 2025-10-15 10:00 49.6K