sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem.
authorTupone Alfredo <tupone@gentoo.org>
Mon, 6 Nov 2017 21:09:20 +0000 (22:09 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Mon, 6 Nov 2017 21:09:20 +0000 (22:09 +0100)
commitce9a2c2e5a2c8c7acc61c556147b7385139071a5
treee84edb5974221a7fd9d66e8af552a218927e6498
parentd1c898d22c6568c5cab5b0007595cff33766139b
sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem.

Package-Manager: Portage-2.3.8, Repoman-2.3.3
sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild