Index of /debian/pool/main/v/vavr0
Name
Last modified
Size
Parent Directory
-
vavr0_0.10.3.orig.tar.xz
2020-05-21 17:37
513K
vavr0_0.10.3-2.dsc
2021-02-07 23:19
2.1K
vavr0_0.10.3-2.debian.tar.xz
2021-02-07 23:19
3.5K
libvavr0-java_0.10.3-2_all.deb
2021-02-08 00:32
939K
Apache/2.4.62 (Debian) Server at debian.apt-mirror.de Port 80