sci-mathematics/why3-for-spark: Add ocamlopt use flag
authorTupone Alfredo <tupone@gentoo.org>
Sat, 4 Nov 2017 20:46:39 +0000 (21:46 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Sat, 4 Nov 2017 20:46:39 +0000 (21:46 +0100)
commit8762ce2768ade2f75a3f87f4591bd30a3be88f21
treee1320d4b90a526e2d2e9740ce173c0baca4875b1
parentaaced9b3fa79c565598f32795781370e07c49892
sci-mathematics/why3-for-spark: Add ocamlopt use flag

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