EVERY PIECE OF SOFTWARE NEEDS TO HAVE AN ENTIRE COPY OF GOOGLE CHROME IN IT TO DISPLAY A BASIC USER INTERFACE, HAVING 10 SLIGHTLY DIFFERNET VERSIONS OF ELECTRON INSTALLED AND LOADED INTO MEMORY IS THE OPTIMAL SYSTEM SETUP
EVERY PIECE OF SOFTWARE NEEDS TO HAVE AN ENTIRE COPY OF GOOGLE CHROME IN IT TO DISPLAY A BASIC USER INTERFACE, HAVING 10 SLIGHTLY DIFFERNET VERSIONS OF ELECTRON INSTALLED AND LOADED INTO MEMORY IS THE OPTIMAL SYSTEM SETUP
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