../ fig2dev_3.2.7a-7_amd64.deb 27-Jul-2019 17:18 628532 fig2dev_3.2.7a-7ubuntu0.1_amd64.deb 13-Feb-2023 14:23 625172 fig2dev_3.2.8b-1_amd64.deb 19-Oct-2021 16:21 440350