diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2022-03-07 00:21:23 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-07 00:53:31 +0100 |
| commit | 10c7e0a0e168032b41f425b23b53bfd9c24cf472 (patch) | |
| tree | b1aa9e689e8af3bc3a4ff21469f9afcdd0e42a0d /dev-python/clang-python/clang-python-13.0.0.ebuild | |
| parent | b112372d29e09144c2859ba405b608278d23826d (diff) | |
| download | gentoo-10c7e0a0e168032b41f425b23b53bfd9c24cf472.tar.gz gentoo-10c7e0a0e168032b41f425b23b53bfd9c24cf472.tar.bz2 gentoo-10c7e0a0e168032b41f425b23b53bfd9c24cf472.zip | |
app-emacs/company-coq: add proofgeneral runtime dependency
because it is needed to add hook to coq-mode provided by PG
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python/clang-python/clang-python-13.0.0.ebuild')
0 files changed, 0 insertions, 0 deletions