../ fig2dev_3.2.7a-5+deb10u3.debian.tar.xz 09-Feb-2020 08:45 229696 fig2dev_3.2.7a-5+deb10u3.dsc 09-Feb-2020 08:45 2264 fig2dev_3.2.7a.orig.tar.xz 24-Dec-2018 09:39 507288