diff options
| author | Alex ter Weele <alex.ter.weele@gmail.com> | 2018-07-20 21:35:14 -0500 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-07-29 23:32:01 +0200 |
| commit | 253340dcc8c44acb4c687ebcc56e6f17167c5659 (patch) | |
| tree | bac1ffbf3cda2470ca007a1197f1f0330de3de6c /gnu/packages/xiph.scm | |
| parent | 1743172cdb420aafb2b417ee588e6d1bc66eebab (diff) | |
| download | patches-253340dcc8c44acb4c687ebcc56e6f17167c5659.tar patches-253340dcc8c44acb4c687ebcc56e6f17167c5659.tar.gz | |
gnu: agda: Compile .agda files.
* gnu/packages/agda.scm: (agda)[arguments]: Compile .agda files.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
Diffstat (limited to 'gnu/packages/xiph.scm')
0 files changed, 0 insertions, 0 deletions