Name	Size	Modified
	../	—	—
	libvavr0-java_0.10.3-2_all.deb	939.3 KB	Feb 7, 2021
	vavr0_0.10.3-2.debian.tar.xz	3.5 KB	Feb 7, 2021
	vavr0_0.10.3-2.dsc	2.1 KB	Feb 7, 2021
	vavr0_0.10.3.orig.tar.xz	513.1 KB	May 21, 2020