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

Icon  Name                           Last modified      Size  
[PARENTDIR] 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.41 (Ubuntu) Server at de.aminet.net Port 80