HCoop
/
jackhill
/
guix
/
guix.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gnu: Remove ".git" from "https://github/…/….git".
[jackhill/guix/guix.git]
/
gnu
/
packages
/
sml.scm
2020-07-12
Ludovic Courtès
gnu: Remove ".git" from "https://github/…/….git".
blob
|
commitdiff
|
raw
2020-01-03
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-12-31
Mathieu Othacehe
Merge remote-tracking branch 'master' into core-updates.
blob
|
commitdiff
|
raw
|
diff to current
2019-12-19
Brett Gilio
Update email for Brett Gilio.
blob
|
commitdiff
|
raw
|
diff to current
2019-12-05
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2019-11-27
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2019-11-22
Brett Gilio
gnu: polyml: Use HTTPS home page URI.
blob
|
commitdiff
|
raw
|
diff to current
2019-11-22
Brett Gilio
gnu: polyml: Update to 5.8.
blob
|
commitdiff
|
raw
|
diff to current
2018-12-11
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-12-03
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2018-12-03
Ludovic Courtès
Merge branch 'core-updates'
blob
|
commitdiff
|
raw
|
diff to current
2018-11-29
Ricardo Wurmus
gnu: polyml: Fetch sources from git.
blob
|
commitdiff
|
raw
|
diff to current
2018-03-20
Mark H Weaver
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2018-03-18
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2018-03-17
Tobias Geerinckx...
gnu: Fix common unquote typos.
blob
|
commitdiff
|
raw
|
diff to current
2017-12-19
Marius Bakke
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2017-12-13
Tobias Geerinckx...
gnu: polyml: Update to 5.7.1.
blob
|
commitdiff
|
raw
|
diff to current
2017-08-26
Marius Bakke
Merge branch 'master' into staging
blob
|
commitdiff
|
raw
|
diff to current
2017-07-23
Leo Famulari
Merge branch 'master' into core-updates
blob
|
commitdiff
|
raw
|
diff to current
2017-07-17
Andy Patterson
gnu: Add Poly/ML.
blob
|
commitdiff
|
raw
|
diff to current