Index of /pool/main/v/vavr0
Name
Last modified
Size
Description
Parent Directory
-
vavr0_0.10.3.orig.tar.xz
2020-05-21 15:37
513K
vavr0_0.10.3-2.dsc
2021-02-07 22:19
2.1K
vavr0_0.10.3-2.debian.tar.xz
2021-02-07 22:19
3.5K
libvavr0-java_0.10.3-2_all.deb
2021-02-07 23:32
939K
Apache/2.4.41 (Ubuntu) Server at debian-mirror.behostings.net Port 443