94
I LOVE BUILDING CHROMIUM
(hexbear.net)
On the road to fully automated luxury gay space communism.
Spreading Linux propaganda since 2020
Rules:
That AUR contributer deserves some sternly worded comments on the package.
Without double-checking I'm pretty sure it was elan-lean but please check yourself before opening the hatemail cannons lol
I'm more concerned about the software you're trying to install than the AUR maintainer. A version manager for a functional language thats a theorem prover but also a programming language. Written in rust, © Microsoft. Wait elan is in rust, lean is in c++.
Elan has a dependency that builds chrome. The AUR maintainer just runs cargo build.
Ah, so it was that one! Unfortunate. Someone should probably tell them, although perhaps it's an upstream issue. Anyway Lean is really cool! There's a fun puzzle game people made with it here: https://adam.math.hhu.de/#/g/leanprover-community/nng4