sci-mathematics/boolector: Fix manifest
authorStefan Huber <shuber@sthu.org>
Thu, 14 May 2020 13:12:12 +0000 (15:12 +0200)
committerStefan Huber <shuber@sthu.org>
Thu, 14 May 2020 13:12:12 +0000 (15:12 +0200)

No differences found