../ variety_0.8.13-1.debian.tar.xz 18-Jul-2025 10:30 8788 variety_0.8.13-1.dsc 18-Jul-2025 10:30 976 variety_0.8.13-1_all.deb 15-Jul-2025 06:46 501K variety_0.8.13.orig.tar.gz 18-Jul-2025 10:30 837K