aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2019-04-16 21:05:56 +0200
committerJulien Lepiller <julien@lepiller.eu>2019-04-16 22:31:28 +0200
commitbaa787745c430317fe40f074b48e9951a6b34fa4 (patch)
treee1b033a3e206455fcd3e9af54d55528bfe33f90c /gnu/packages/agda.scm
parentfbd2a245f7c6caaa231658300fa2eaf7beca1e32 (diff)
downloadpatches-baa787745c430317fe40f074b48e9951a6b34fa4.tar
patches-baa787745c430317fe40f074b48e9951a6b34fa4.tar.gz
gnu: Add lucene++.
* gnu/packages/rdf.scm (lucene++): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions