Index of /ubuntu-ports/pool/universe/v/vavr0

Icon  Name                           Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] vavr0_0.10.0-2.dsc 2019-10-28 18:55 1.9K [   ] vavr0_0.10.3-2.dsc 2021-02-08 06:34 2.1K [   ] vavr0_0.10.0-2.debian.tar.xz 2019-10-28 18:55 2.7K [   ] vavr0_0.10.3-2.debian.tar.xz 2021-02-08 06:34 3.5K [   ] vavr0_0.10.3.orig.tar.xz 2020-05-22 01:18 513K [   ] vavr0_0.10.0.orig.tar.gz 2019-08-13 07:08 739K [   ] libvavr0-java_0.10.0-2_all.deb 2019-10-28 19:18 939K [   ] libvavr0-java_0.10.3-2_all.deb 2021-02-08 06:34 939K
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80