Age | Commit message (Expand) | Author |
---|---|---|
2019-12-19 | Update email for Brett Gilio....* .mailmap: Add name and email for Brett Gilio. * gnu/local.mk, gnu/packages/admin.scm, gnu/packages/audio.scm, gnu/packages/bittorrent.scm, gnu/packages/build-tools.scm, gnu/packages/cran.scm, gnu/packages/emacs-xyz.scm, gnu/packages/messaging.scm, gnu/packages/python-xyz.scm, gnu/packages/sml.scm, gnu/packages/terminals.scm, gnu/packages/wm.scm: Update email for Brett Gilio. | Brett Gilio |
2019-11-22 | gnu: polyml: Use HTTPS home page URI....* gnu/packages/sml.scm (polyml)[home-page]: Use HTTPS URI. Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr> | Brett Gilio |
2019-11-22 | gnu: polyml: Update to 5.8....* gnu/packages/sml.scm (polyml): Update to 5.8. Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr> | Brett Gilio |