sci-mathematics/why3-for-spark: Add zip use flags
authorTupone Alfredo <tupone@gentoo.org>
Tue, 24 Oct 2017 19:58:51 +0000 (21:58 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Tue, 24 Oct 2017 19:58:51 +0000 (21:58 +0200)
commit06a07ce4bfbcaf034558bb8a95c18e644b3683c6
tree6e66de96fc21579937202a4e67547c570d84ad7f
parent16fca2dd392910b7a773caace8126b4293695ed0
sci-mathematics/why3-for-spark: Add zip use flags

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