From: Stefan Huber <shuber@sthu.org>
Date: Thu, 12 Dec 2013 14:14:00 +0000 (+0100)
Subject: Add sci-mathematics/lingeling
X-Git-Url: https://git.sthu.org/?p=shuber-gentoo-overlay.git;a=commitdiff_plain;h=a863192789bd0b66e42df9344abed4549c73dd67;hp=a863192789bd0b66e42df9344abed4549c73dd67;ds=sidebyside

Add sci-mathematics/lingeling
---