Add sci-mathematics/boolector
[shuber-gentoo-overlay.git] / games-action / supertuxkart / files /
drwxr-xr-x   ..
-rw-r--r-- 377 supertuxkart-0.8.1-gentoo.patch
-rw-r--r-- 4824 supertuxkart-0.8.1-irrlicht.patch