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

Add sci-mathematics/boolector
---