Index of /debian/pool/main/v/vavr0
Name
Last modified
Size
Parent Directory
-
vavr0_0.10.3.orig.tar.xz
2020-05-21 10:37
513K
vavr0_0.10.3-2.dsc
2021-02-07 16:19
2.1K
vavr0_0.10.3-2.debian.tar.xz
2021-02-07 16:19
3.5K
libvavr0-java_0.10.3-2_all.deb
2021-02-07 17:32
939K
Apache/2.4.58 Server at mirrors.usinternet.com Port 443