nckx pushed a change to branch master in repository guix. from 5b05dce gnu: Add mcrl2. new bf30b70 gnu: conky: Update to 1.10.8. new cc304fe gnu: libcap-ng: Update to 0.7.9. new ed0c5d3 gnu: mcrl2: Fix typo in synopsis.
The 3 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: gnu/packages/admin.scm | 4 ++-- gnu/packages/conky.scm | 4 ++-- gnu/packages/maths.scm | 10 +++++----- 3 files changed, 9 insertions(+), 9 deletions(-)