/build-aux/cuirass/

/a>
Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
AgeCommit message (Expand)Author
2020-03-28Update email address and Savannah handle for Amin Bandali....Amin Bandali
2020-01-17Update email address for Amin Bandali....Amin Bandali
2020-01-03gnu: Add lean....Amin Bandali