Index of /pub/gnu_linux/ubuntu/pool/universe/v/vavr0

      Name                                   Last modified      Size  Description
      Parent Directory                                            -   
      libvavr0-java_0.10.0-2_all.deb         2019-10-28 14:18  939K  
      libvavr0-java_0.10.3-2_all.deb         2021-02-08 00:34  939K