media-gfx/cgal-ipelets: Add cgal-ipelets-5.2.2-r1
[shuber-gentoo-overlay.git] / sci-mathematics / boolector / metadata.xml
2020-05-14 Stefan HuberAdd missing metadata.xml