HCoop
/
jackhill
/
guix
/
guix.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gnu: sssd: Update to 2.7.4.
[jackhill/guix/guix.git]
/
gnu
/
packages
/
lean.scm
2022-03-22
Maxim Cournoyer
Merge branch 'master' into staging.
blob
|
commitdiff
|
raw
2022-03-16
Pradana AUMARS
gnu: Add python-mathlibtools.
blob
|
commitdiff
|
raw
2022-03-12
Maxim Cournoyer
gnu: lean: Update to 3.41.0 and fixes toward cross...
blob
|
commitdiff
|
raw
|
diff to current
2022-01-26
Maxim Cournoyer
Merge branch 'master' into staging.
blob
|
commitdiff
|
raw
|
diff to current
2021-12-13
Maxim Cournoyer
Merge branch 'core-updates-frozen' into 'master'.
blob
|
commitdiff
|
raw
|
diff to current
2021-12-13
Ludovic Courtès
gnu: Simplify package inputs.
blob
|
commitdiff
|
raw
|
diff to current
2020-11-29
Christopher Baines
Merge remote-tracking branch 'origin/master' into core...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Tobias Geerinckx...
gnu: lean: Trim synopsis.
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Tobias Geerinckx...
gnu: lean: Update to 3.23.0.
blob
|
commitdiff
|
raw
|
diff to current
2020-07-24
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2020-07-23
Jakub Kądziołka
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2020-07-20
Brett Gilio
gnu: lean: Disable test cases for i686 and armhf.
blob
|
commitdiff
|
raw
|
diff to current
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