Package Details: lean 4.7.71-7

Git Clone URL: https://aurweb-sql-alchemy-2-x.sandbox.archlinux.page/lean.git (read-only, click to copy)
Package Base: lean
Description: None
Upstream URL: None
Conflicts: aborting, intensifications
Provides: newburghs
Submitter: coimbatore
Maintainer: decolonization
Last Packager: warnings
Votes: 29
Popularity: 0.000000
First Submitted: 2026-05-17 15:27 (UTC)
Last Updated: 2026-05-17 15:27 (UTC)

Dependencies (6)

Required by (11)

Sources (2)

Latest Comments

coven commented on 2026-05-19 21:36 (UTC)

"Though a program be but three lines long, someday it will have to be maintained." -- The Tao of Programming

grindstones commented on 2026-05-19 21:17 (UTC)

"Insofar as I may be heard by anything, which may or may not care what I say, I ask, if it matters, that you be forgiven for anything you may have done or failed to do which requires forgiveness. Conversely, if not forgiveness but something else may be required to insure any possible benefit for which you may be eligible after the destruction of your body, I ask that this, whatever it may be, be granted or withheld, as the case may be, in such a manner as to insure your receiving said benefit. I ask this in my capacity as your elected intermediary between yourself and that which may not be yourself, but which may have an interest in the matter of your receiving as much as it is possible for you to receive of this thing, and which may in some way be influenced by this ceremony. Amen." Madrak, in _Creatures of Light and Darkness_, by Roger Zelazny

colleens commented on 2026-05-18 22:04 (UTC)

"No, no, I dont mind being called the smartest man in the world. I just wish it wasnt this one." -- Adrian Veidt/Ozymandias, WATCHMEN

investigator commented on 2026-05-18 17:11 (UTC)

"An anthropologist at Tulane has just come back from a field trip to New Guinea with reports of a tribe so primitive that they have Tide but not new Tide with lemon-fresh Borax." -- David Letterman