sci-mathematics/why3-for-spark: Enable coq tactics
authorTupone Alfredo <tupone@gentoo.org>
Wed, 1 Nov 2017 20:28:03 +0000 (21:28 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Wed, 1 Nov 2017 20:30:29 +0000 (21:30 +0100)
commitf7767454e6ac2a9eb63c5fc48e3fe8d1fe0ff1dd
tree9312445f04a4829b661387704a1fc7461a32a92a
parent8c00984371aa5a6deb21325c6a9ce176d7eb261e
sci-mathematics/why3-for-spark: Enable coq tactics

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