branch master updated (acc55e8 -> f61682e)

[Marius Bakke]

mbakke pushed a change to branch master
in repository guix.

      from  acc55e8   nls: Update 'pt_BR' translation.
       new  9f29ecc   gnu: ghc-edit-distance: Allow newer version of QuickCheck.
       new  abfec9b   gnu: ghc-hashtables: Allow newer version of vector.
       new  7df5669   gnu: Add ghc-uri-encode.
       new  f61682e   gnu: Add agda.

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/local.mk                 |  1 +
 gnu/packages/agda.scm        | 86 ++++++++++++++++++++++++++++++++++++++++++++
 gnu/packages/haskell-web.scm | 23 ++++++++++++
 gnu/packages/haskell.scm     |  4 +++
 4 files changed, 114 insertions(+)
 create mode 100644 gnu/packages/agda.scm