Index of /ftp/pub/mirrors/ftp.dante.de/tex-archive/macros/generic/minifp

	Name	Last modified	Size	Description
	Parent Directory		-
	doc/	2014-01-03 12:10	-
	minifp.dtx	2014-01-03 00:18	162K
	minifp.ins	2013-02-03 22:34	1.6K