elan-lean-bin

maintainer Chocobo1 · 0 votes · scanned 2026-08-18 00:03:42.021799

LOW

Why flagged The package installs a prebuilt binary from the project's official GitHub releases, which is a normal and trusted source for such tools; the skipped checksums for license files are harmless as they are not executable.

Triggered rules

LOW Few votes, recently uploaded zero_votes_recent

Uploaded within the last 14 days with 2 or fewer community votes — little peer review so far.

LOW AI review llm_review

An AI model (qwen/qwen3-235b-a22b-2507) reviewed this and agrees it is LOW (confidence 95%): The package installs a prebuilt binary from the project's official GitHub releases, which is a normal and trusted source for such tools; the skipped checksums for license files are harmless as they are not executable.

PKGBUILD

      1# Maintainer: Chocobo1 <chocobo1 AT archlinux DOT net>
    
      2
    
      3pkgname=elan-lean-bin
    
      4pkgver=4.2.3
    
      5pkgrel=1
    
      6pkgdesc="Lean version manager"
    
      7arch=('aarch64' 'x86_64')
    
      8url="https://github.com/leanprover/elan"
    
      9license=('Apache-2.0' 'MIT')
    
      10provides=("elan-lean=$pkgver")
    
      11conflicts=('elan-lean')
    
      12source=("https://raw.githubusercontent.com/leanprover/elan/refs/heads/master"/LICENSE-{APACHE,MIT})
    
      13source_aarch64=("https://github.com/leanprover/elan/releases/download/v4.2.3/elan-aarch64-unknown-linux-gnu.tar.gz")
    
      14source_x86_64=("https://github.com/leanprover/elan/releases/download/v4.2.3/elan-x86_64-unknown-linux-gnu.tar.gz")
    
      15sha256sums=('SKIP'
    
      16            'SKIP')
    
      17sha256sums_aarch64=('cb69af0803b04157bc30201c29c12fca882bb3ad8b43476b8d2d3064810bc3ac')
    
      18sha256sums_x86_64=('df0b2b3a439961ffcbb3985214365ffe40f49bc871df04dff268c7d8e21ca8b2')
    
      19
    
      20
    
      21package() {
    
      22  install -Dm755 "$srcdir/elan-init" "$pkgdir/usr/bin/elan"
    
      23
    
      24  _binlinks=('lake' 'lean' 'leanchecker' 'leanpkg')
    
      25  for link in "${_binlinks[@]}"; do
    
      26    ln -s /usr/bin/elan "$pkgdir/usr/bin/${link}"
    
      27  done
    
      28
    
      29  install -d \
    
      30    "$pkgdir/usr/share/bash-completion/completions" \
    
      31    "$pkgdir/usr/share/fish/vendor_completions.d" \
    
      32    "$pkgdir/usr/share/zsh/site-functions"
    
      33  "$pkgdir/usr/bin/elan" completions bash > "$pkgdir/usr/share/bash-completion/completions/elan"
    
      34  "$pkgdir/usr/bin/elan" completions fish > "$pkgdir/usr/share/fish/vendor_completions.d/elan.fish"
    
      35  "$pkgdir/usr/bin/elan" completions zsh > "$pkgdir/usr/share/zsh/site-functions/_elan"
    
      36
    
      37  install -Dm644 LICENSE-{APACHE,MIT} -t "$pkgdir/usr/share/licenses/elan-lean"
    
      38}
    
      39

Scan history

Scanned at (UTC)	Severity	Rules
2026-08-18 00:03:42	LOW	2
2026-08-17 00:18:29	LOW	2
2026-08-16 00:03:42	LOW	2
2026-08-15 23:31:34	LOW	2