Index of /debian/pool/main/v/vertico
Name Last modified Size Description
Parent Directory -
vertico_1.1-1.debian.tar.xz 2023-03-01 08:07 4.7K
vertico_1.1-1.dsc 2023-03-01 08:07 1.9K
vertico_1.1.orig.tar.gz 2023-03-01 08:07 43K
elpa-vertico_1.1-1_all.deb 2023-03-01 08:43 47K
vertico_1.9-1.debian.tar.xz 2024-10-30 01:06 5.0K
vertico_1.9-1.dsc 2024-10-30 01:06 2.0K
vertico_1.9.orig.tar.xz 2024-10-30 01:06 41K
elpa-vertico_1.9-1_all.deb 2024-10-30 08:05 50K
Apache/2.4.62 (Debian) Server at debian.bio.lmu.de Port 443