dannym pushed a change to branch master
in repository guix.
from dbef60edb3 gnu: guile-knots: Update to 0-16.e1858df.
new e548e4c4f9 gnu: Add emacs-doctest.
new 169894151f gnu: Add emacs-lean4-mode.
new e4ca2ae095 gnu: Add lean4.
new 4d655e4883 gnu: Add dualsensectl.
The 4 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
Summary of changes:
gnu/packages/emacs-xyz.scm | 44 ++++++++++++++++++++++++
gnu/packages/lean.scm | 86 ++++++++++++++++++++++++++++++++++++++++++++++
gnu/packages/linux.scm | 25 ++++++++++++++
3 files changed, 155 insertions(+)
