projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 712cba9) | patch
sci-mathematics/why3-for-spark: profiling is not more supported by newer ocaml
authorTupone Alfredo <tupone@gentoo.org>
Fri, 17 Jan 2020 10:41:07 +0000 (11:41 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Fri, 17 Jan 2020 10:41:07 +0000 (11:41 +0100)
commit15f19de474ea4871f4284684f26b152ed2eff792
treeedacdf4c3b8a772c958e0be3e8e3970608e2f845tree | snapshot
parent712cba958ddb5364dd17828ee680dd2e596d608fcommit | diff
sci-mathematics/why3-for-spark: profiling is not more supported by newer ocaml

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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.