media-gfx/ipe: Add ipe-7.2.12
[shuber-gentoo-overlay.git] / media-gfx / cgal-ipelets / cgal-ipelets-5.6.ebuild