[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

branch master updated (0b30a1a -> 89647ff)

From: guix-commits
Subject: branch master updated (0b30a1a -> 89647ff)
Date: Thu, 11 Apr 2019 20:52:24 -0400 (EDT)

bavier pushed a change to branch master
in repository guix.

      from  0b30a1a   build-system/linux-module: Configure module like the 
       new  a4df9ba   gnu: idris: Upgrade to 1.3.1.
       new  fb038f3   gnu: Add ghc-libffi.
       new  e16bc71   gnu: idris: Enable FFI and GMP support.
       new  89647ff   gnu: idris: Run tests.

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/                                  |  1 +
 gnu/packages/haskell.scm                      | 24 ++++++++++-
 gnu/packages/idris.scm                        | 36 +++++++++++-----
 gnu/packages/patches/idris-test-no-node.patch | 61 +++++++++++++++++++++++++++
 4 files changed, 110 insertions(+), 12 deletions(-)
 create mode 100644 gnu/packages/patches/idris-test-no-node.patch

reply via email to

[Prev in Thread] Current Thread [Next in Thread]