aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2022-10-23 15:18:26 +0200
committerLudovic Courtès <ludo@gnu.org>2022-10-23 15:56:19 +0200
commit3734857fc55df2c599c2fe5cc4ae49f5d47879fc (patch)
tree1b2a0532cc5c92e5e3ae961e867abb2b0d5bdfd7 /gnu/packages/agda.scm
parentd117d225d99a99984b4cce082f5f1bdd18efc003 (diff)
downloadguix-3734857fc55df2c599c2fe5cc4ae49f5d47879fc.tar
guix-3734857fc55df2c599c2fe5cc4ae49f5d47879fc.tar.gz
gnu: libevent: Prefix (guix licenses) bindings.
* gnu/packages/libevent.scm: Import (guix licenses) with the 'license:' prefix.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions