Index of /pub/os/linux/ubuntu/pool/universe/r/ries/

Filename	Modification time	Size
ries_2018.08.05-1.debian.tar.xz	2019-04-21 14:16 CEST	3828 B
ries_2018.08.05-1.dsc	2019-04-21 14:16 CEST	1811 B
ries_2018.08.05-1_amd64.deb	2019-04-21 16:05 CEST	78 KiB
ries_2018.08.05.orig.tar.xz	2019-04-21 14:16 CEST	136 KiB