Name Last modified Size Description Parent Directory - minifp.ins 2013-02-03 21:34 1.6K minifp.dtx 2014-01-02 23:18 162K doc/ 2014-01-03 11:10 - README 2014-01-01 02:04 4.4K