../ edge-addition-planarity-suite_3.0.0.5-3.debian...> 15-Aug-2018 21:01 2528 edge-addition-planarity-suite_3.0.0.5-3.dsc 15-Aug-2018 21:01 2314 edge-addition-planarity-suite_3.0.0.5.orig.tar.gz 17-May-2016 11:33 164344 libplanarity-dev_3.0.0.5-3_armhf.deb 15-Aug-2018 21:42 17348 libplanarity0_3.0.0.5-3_armhf.deb 21-Aug-2018 10:08 45820 planarity_3.0.0.5-3_armhf.deb 21-Aug-2018 10:08 9672