diff options
| author |   Anna Vyalkova <cyber+gentoo@sysrq.in> | 2022-07-14 14:29:58 +0500 |
|---|---|---|
| committer |   Maciej Barć <xgqt@gentoo.org> | 2022-07-14 16:19:14 +0200 |
| commit | 09843a875f741d97a28a528d04dee47d0aa0347b (patch) | |
| tree | b1c5b1b5b07305cf69c1c663fce4cf619e11cf14 /app-emacs/proofgeneral/Manifest | |
| parent | media-tv/kodi: libfmt-9 compatibility (diff) | |
| download | gentoo-09843a875f741d97a28a528d04dee47d0aa0347b.tar.gz gentoo-09843a875f741d97a28a528d04dee47d0aa0347b.tar.bz2 gentoo-09843a875f741d97a28a528d04dee47d0aa0347b.zip | |
dev-lang/nim: several imrovements (with a revbump)
* mention sys-process/parallel integration
* build with linenoise unconditionally
* fix "calls cc directly" in stage1
* remove -O3 from default flags
* use edo instead of custom _run
Signed-off-by: Anna Vyalkova <cyber+gentoo@sysrq.in>
Closes: https://github.com/gentoo/gentoo/pull/26399
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
0 files changed, 0 insertions, 0 deletions