HCoop / jackhill / guix / guix.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'staging' into core-updates
[jackhill/guix/guix.git] / gnu / packages / lean.scm
2020-01-21 Marius BakkeMerge branch 'staging' into core-updates blob | commitdiff | raw
2020-01-21 Marius BakkeMerge branch 'master' into staging blob | commitdiff | raw
2020-01-17 Amin BandaliUpdate email address for Amin Bandali. blob | commitdiff | raw
2020-01-11 Marius BakkeMerge branch 'master' into core-updates blob | commitdiff | raw | diff to current
2020-01-07 Marius BakkeMerge branch 'staging' blob | commitdiff | raw | diff to current
2020-01-03 Amin Bandalignu: Add lean. blob | commitdiff | raw | diff to current
jackhill's copy of GNU Guix: https://guix.gnu.org/