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

  • ZWQbpkzl [none/use name]
    ·
    8 months ago

    That AUR contributer deserves some sternly worded comments on the package.

    • itappearsthat
      ·
      8 months ago

      Without double-checking I'm pretty sure it was elan-lean but please check yourself before opening the hatemail cannons lol

      • ZWQbpkzl [none/use name]
        ·
        8 months ago

        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.

        • itappearsthat
          ·
          8 months ago

          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