[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch master updated (ae482ce -> 3254e1a)
From: |
David Craven |
Subject: |
branch master updated (ae482ce -> 3254e1a) |
Date: |
Wed, 4 Jan 2017 11:12:30 +0000 (UTC) |
dvc pushed a change to branch master
in repository guix.
from ae482ce gnu: idris: Move to (gnu packages idris).
new ea3b38f gnu: Add idris-lightyear.
new 4e17fff gnu: Add idris-wl-pprint.
new 5a16d82 gnu: Add idris-bifunctors.
new 3254e1a gnu: Add idris-lens.
The 4 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/idris.scm | 147 +++++++++++++++++++++++++++++++++++++++++++++++-
1 file changed, 146 insertions(+), 1 deletion(-)
- branch master updated (ae482ce -> 3254e1a),
David Craven <=