Maciej Barć

0.4.0 seems quite outdated. On Gentoo most recent dev-libs/concurrencykit has version 0.7.1 (which is the latest CK tag on GitHub) & cyclone builds. @arthurmaciel does cyclone build for you with...

Same problem on Gentoo Linux, ZSH version `5.9`. Only workaround for now for me was to change foreground color id to more than `8`; `14` looked similar enough to `6`...

> Do you think we should remove or finish them? IMHO if they do not work, then maybe it would be better to not put them on master.

oh, just realized the conversion commands are named cadabra2X (cadabra2python) not because of version...

I suspect this is because bootstrap shell script calls `${MAKE}`.

This a attempt to fix https://github.com/idris-lang/Idris2/issues/2152

> FTR, there's a PR that completely rewrites how bootstrap is done. > > please consider #1990 when deciding about merging. that indeed might be better, but lets keep this...

Hi! About the Gentoo package: there are a few ways to handle the situation. Let me start by saying that Gentoo is a bit special because its packaging system is...

About Gentoo situation: opened a PR with my tweaks to xmake ebuilds: https://github.com/xmake-io/xmake-package-gentoo/pull/4

my 5 cents: support for system tray would be nice :D