HCoop / jackhill / guix / guix.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
gnu: libdvbpsi: Update to 1.3.2.
[jackhill/guix/guix.git] / gnu / packages / sml.scm
2017-12-19 Marius BakkeMerge branch 'master' into core-updates blob | commitdiff | raw
2017-12-13 Tobias Geerinckx... gnu: polyml: Update to 5.7.1. blob | commitdiff | raw
2017-08-26 Marius BakkeMerge branch 'master' into staging blob | commitdiff | raw | diff to current
2017-07-23 Leo FamulariMerge branch 'master' into core-updates blob | commitdiff | raw | diff to current
2017-07-17 Andy Pattersongnu: Add Poly/ML. blob | commitdiff | raw | diff to current
jackhill's copy of GNU Guix: https://guix.gnu.org/