Index of /debian/pool/main/v/vavr0

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]vavr0_0.10.3.orig.tar.xz2020-05-21 15:37 513K 
[   ]vavr0_0.10.3-2.dsc2021-02-07 22:19 2.1K 
[   ]vavr0_0.10.3-2.debian.tar.xz2021-02-07 22:19 3.5K 
[   ]libvavr0-java_0.10.3-2_all.deb2021-02-07 23:32 939K 

Apache/2.4.41 (Ubuntu) Server at debian-mirror.behostings.net Port 443