Index of /pub/linux/debian/pool/main/t/tao-config/

Filename	Modification time	Size
tao-config-dev_0.0+git20200604.84a7383-2_all.deb	2020-07-20 22:55 CEST	32 KiB
tao-config-examples_0.0+git20200604.84a7383-2_all.deb	2020-07-20 22:55 CEST	3544 B
tao-config_0.0+git20200604.84a7383-2.debian.tar.xz	2020-07-20 22:14 CEST	2944 B
tao-config_0.0+git20200604.84a7383-2.dsc	2020-07-20 22:14 CEST	2178 B
tao-config_0.0+git20200604.84a7383.orig.tar.xz	2020-07-14 22:54 CEST	45 KiB