../ edge-addition-planarity-suite_3.0.2.0-2.debian...> 03-Oct-2022 00:01 3408 edge-addition-planarity-suite_3.0.2.0-2.dsc 03-Oct-2022 00:01 2331 edge-addition-planarity-suite_3.0.2.0.orig.tar.gz 28-Feb-2022 12:14 175086 libplanarity-dev_3.0.2.0-2_amd64.deb 03-Oct-2022 01:57 22404 libplanarity0_3.0.2.0-2_amd64.deb 03-Oct-2022 01:57 60568 planarity_3.0.2.0-2_amd64.deb 03-Oct-2022 01:57 13512