projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5f8934) | patch
sci-mathematics/why3-for-spark: use ocaml-4.09
authorTupone Alfredo <tupone@gentoo.org>
Tue, 14 Jan 2020 07:51:42 +0000 (08:51 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Tue, 14 Jan 2020 07:51:42 +0000 (08:51 +0100)
commitd53b71f85b0a0eac777c476cb523c7bc30d3e5da
tree7803960bfca85f164f961b6b48662cf9e58befa1tree | snapshot
parentb5f89348db309b15607123a06f0d7acfe21e6426commit | diff
sci-mathematics/why3-for-spark: use ocaml-4.09

Closes: https://bugs.gentoo.org/705072
Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.