[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch master updated (5b05dce -> ed0c5d3)
From: |
Tobias Geerinckx-Rice |
Subject: |
branch master updated (5b05dce -> ed0c5d3) |
Date: |
Thu, 8 Feb 2018 08:43:10 -0500 (EST) |
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(-)
- branch master updated (5b05dce -> ed0c5d3),
Tobias Geerinckx-Rice <=