projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5619137) | patch
sci-mathematics/coq: forward keywords again (forgotten)
authorMikle Kolyada <zlogene@gentoo.org>
Mon, 4 Nov 2019 14:38:22 +0000 (17:38 +0300)
committerMikle Kolyada <zlogene@gentoo.org>
Mon, 4 Nov 2019 14:38:22 +0000 (17:38 +0300)
commit5dffc8ac72841d4f802ad6a887b33dfa27be0448
treedba6ac57be2028daa71a4ef3811c744db0157e04tree | snapshot
parent561913735cbb5bd00fd8d17f69382f74114aae53commit | diff
sci-mathematics/coq: forward keywords again (forgotten)

Package-Manager: Portage-2.3.76, Repoman-2.3.16
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
sci-mathematics/coq/coq-8.6.1-r1.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.