VOOZH about

URL: https://aur.archlinux.org/pkgbase/elan-lean/flag-comment

⇱ AUR (en) - Flag Comment

Arch Linux User Repository

Flagged Out-of-Date Comment: elan-lean

xuexi flagged elan-lean out-of-date on 2026-06-12 (UTC) for the following reason:

Upstream has released a new version: v4.2.3 (Current PKGBUILD is at 4.2.1). Release notes: https://github.com/leanprover/elan/releases/tag/v4.2.3 Source tarball: https://github.com/leanprover/elan/archive/v4.2.3.tar.gz

aurweb v6.3.4

Report issues here.

Copyright © 2004-2026 aurweb Development Team.

AUR packages are user produced content. Any use of the provided files is at your own risk.