projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fcbb8e5) | patch
sci-mathematics/prover9: eapi=7, add src_test
authorMark Wright <gienah@gentoo.org>
Tue, 7 Jan 2020 00:07:36 +0000 (11:07 +1100)
committerMark Wright <gienah@gentoo.org>
Tue, 7 Jan 2020 00:07:36 +0000 (11:07 +1100)
commit422dbf48dc19c6268e86dd4c1ca1217f7dd4df85
tree581c862c88fffe2a49e9db677fd89352d0b4bf11tree | snapshot
parentfcbb8e513b05be3136ea3c6b1f157cc8a8009e63commit | diff
sci-mathematics/prover9: eapi=7, add src_test

Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Mark Wright <gienah@gentoo.org>
sci-mathematics/prover9/prover9-2009.11a.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.