Index of /boss/pool/pragya/main/s/sagetex

	Name	Last modified	Size	Description
	Parent Directory		-
	python3-sagetex_3.6.1+ds-1_all.deb	2023-09-14 12:21	21K
	sagetex-doc_3.6.1+ds-1_all.deb	2023-09-14 12:21	785K
	sagetex_3.6.1+ds-1_all.deb	2023-09-14 12:21	15K