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

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 libvavr0-java_0.10.3-1_all.deb 21-May-2020 18:58  939K  
 libvavr0-java_0.10.2-1_all.deb 14-May-2020 09:40  939K  
 libvavr0-java_0.10.0-2_all.deb 28-Oct-2019 13:09  939K  
 libvavr0-java_0.10.0-1_all.deb 18-Jul-2019 23:11  939K