projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c54b9d6) | patch
sci-mathematics/why3-for-spark: use CC
authorAlfredo Tupone <tupone@gentoo.org>
Wed, 27 May 2020 19:24:39 +0000 (21:24 +0200)
committerAlfredo Tupone <tupone@gentoo.org>
Wed, 27 May 2020 19:24:39 +0000 (21:24 +0200)
commit80264f6226c82b6ae16c92c98cd7835e71a53680
tree2008321c2a307c299792d6240bd06513e3eaf2d4tree | snapshot
parentc54b9d619157d9a24e72f04d5698a00ee9a368ddcommit | diff
sci-mathematics/why3-for-spark: use CC

Closes: https://bugs.gentoo.org/725598
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.