aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
koszkoAllow unauthorized `guix pull`W. Kosior3 months
koszko-scriptsAdd `koszko-vpn' branch.W. Kosior2 months
 
a href='/guix/commit/gnu/packages/lean.scm?id=46ae78ba45711b43ca5948c9adbd23cc9e773bff'>gnu: lean: Update to 3.41.0 and fixes toward cross-compilation....Maxim Cournoyer