Index of /maxima-developers/maxima-nightly/ubuntu/dists/precise

	Name	Last modified	Size	Description
	Parent Directory		-
	InRelease	2018-04-23 18:30	13K
	Release	2018-04-23 18:30	13K
	Release.gpg	2018-04-23 18:30	819
	main/	2017-06-04 11:10	-