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