../ fig2dev_3.2.6~rc-1.debian.tar.xz 12-Jul-2016 20:42 208724 fig2dev_3.2.6~rc-1.dsc 12-Jul-2016 20:42 2023 fig2dev_3.2.6~rc-1_armhf.deb 18-Jul-2016 16:08 634076 fig2dev_3.2.6~rc.orig.tar.xz 12-Jul-2016 20:42 408792 transfig_3.2.6~rc-1_all.deb 12-Jul-2016 20:42 38454