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