branch master updated (114f02b -> 48752f2)

[guix-commits]

civodul pushed a change to branch master
in repository guix.

      from  114f02b   gnu: emacsy: Cleanup build.
       new  dd4e46e   accounts: Delete duplicate entries.
       new  58d5f28   lint: Correct use of 'with-networking-fail-safe'.
       new  276f598   gnu: Add agda-ial.
       new  48752f2   gnu: agda-ial: Fetch source from Git.

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/build/accounts.scm |  2 +-
 gnu/packages/agda.scm  | 46 ++++++++++++++++++++++++++++++++++++++++++++++
 guix/lint.scm          |  4 ++--
 tests/accounts.scm     | 19 +++++++++++++++++++
 4 files changed, 68 insertions(+), 3 deletions(-)