HCoop
/
jackhill
/
guix
/
guix.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gnu: kdenlive: Add missing dependencies.
[jackhill/guix/guix.git]
/
gnu
/
packages
/
lean.scm
2020-07-20
Brett Gilio
gnu: lean: Disable test cases for i686 and armhf.
blob
|
commitdiff
|
raw
2020-07-19
Brett Gilio
gnu: lean: Update to 3.17.1.
blob
|
commitdiff
|
raw
|
diff to current
2020-03-30
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2020-03-28
Jakub Kądziołka
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2020-03-28
Amin Bandali
Update email address and Savannah handle for Amin Bandali.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-21
Marius Bakke
Merge branch 'staging' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2020-01-21
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2020-01-17
Amin Bandali
Update email address for Amin Bandali.
blob
|
commitdiff
|
raw
|
diff to current
2020-01-11
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2020-01-07
Marius Bakke
Merge branch 'staging'
blob
|
commitdiff
|
raw
|
diff to current
2020-01-03
Amin Bandali
gnu: Add lean.
blob
|
commitdiff
|
raw
|
diff to current