Index of /odroid/mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/t/tre

	Name	Last modified	Size	Description
	Parent Directory		-
	libtre-dev_0.8.0-6_arm64.deb	2016-11-02 22:34	27K
	libtre5_0.8.0-6_arm64.deb	2016-11-02 22:34	40K
	tre-agrep_0.8.0-6_arm64.deb	2016-11-02 22:34	9.6K