Felix Kastner

I have the same problem. I'm on Pop!_OS 19.10 (Ubuntu) with ``` $>atom -v Atom : 1.41.0 Electron: 4.2.7 Chrome : 69.0.3497.128 Node : 10.11.0 ``` and ``` $>apm -v...

FWIW I also tried removing both but it didn't help either.

I tried it again today with a fresh install of atom 1.44.0 and it still doesn't work with the same error message. Maybe we can get the atom developers to...

I'd also like to have this (esp. the Möbius `μ`). Any chance to revive this PR?

Is there an official list or somewhere we should report deleted packages? Also, even though one can still `add` them, `dev`ing them fails because that looks for the git repository....

I also hit this bug where the german output of `git` could not be parsed because Documenter expected `HEAD branch:` where git just provided a `Hauptbranch:`. Setting `LANG=en_US.UTF-8` or `LC_ALL=en_US.UTF-8`...

The `index.html` seems to be missing since #1066 was merged. Maybe some codeblock now throws an error and didn't before?

Hi, thanks for your interest in this project. I'm not convinced that we want to have this `promote_rule`. Could you provide your rationale for choosing `T` over `AlgebraicNumber` as promoted...

The jll also seems to be more regularly updated. The jll package ships v0.12.0 while this package is still at v0.8.0.