sci-mathematics/why3-for-spark: remove extra --disable-zip
authorTupone Alfredo <tupone@gentoo.org>
Wed, 25 Oct 2017 17:28:48 +0000 (19:28 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Wed, 25 Oct 2017 17:28:48 +0000 (19:28 +0200)
commit7e278f5c3b1dc15bbce41b0c5574dfae1db6fc51
treee458c3a83f77b71150f93aac862509fcbf085dbe
parentd78cb57faf50ccb763addb20ebd667a784dfe56d
sci-mathematics/why3-for-spark: remove extra --disable-zip

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