../ edge-addition-planarity-suite_3.0.2.0-2.debian...> 21-Dec-2022 20:55 3408 edge-addition-planarity-suite_3.0.2.0-2.dsc 21-Dec-2022 20:55 2331 edge-addition-planarity-suite_3.0.2.0.orig.tar.gz 21-Dec-2022 20:55 175086 libplanarity-dev_3.0.2.0-2_amd64.deb 21-Dec-2022 22:42 22404 libplanarity0_3.0.2.0-2_amd64.deb 21-Dec-2022 16:56 60568 planarity_3.0.2.0-2_amd64.deb 21-Dec-2022 20:11 13512