../ fig2dev_3.2.6~rc-2.debian.tar.xz 05-Aug-2016 15:56 209324 fig2dev_3.2.6~rc-2.dsc 05-Aug-2016 15:56 2038 fig2dev_3.2.6~rc-2_armhf.deb 12-Aug-2016 10:08 634092 fig2dev_3.2.6~rc.orig.tar.xz 12-Jul-2016 20:42 408792 transfig_3.2.6~rc-2_all.deb 05-Aug-2016 15:56 38580