Index of /pub/texlive/Contents/live/texmf-dist/source/generic/minifp

	Name	Last modified	Size
	Parent Directory		-
	minifp.dtx	2014-01-03 17:17	162K
	minifp.ins	2013-01-11 17:02	1.6K