diff options
| author | John Soo <jsoo1@asu.edu> | 2019-08-27 21:46:26 -0700 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-08-28 18:52:51 +0200 |
| commit | 83ac4c099a4c31840d2ddce9febadfa75c692648 (patch) | |
| tree | 8deeeb37819a887eb93328a4684dff5aaf84299c /gnu/local.mk | |
| parent | 8146c48632d39670afa7a8ec08a8891cc78d2b38 (diff) | |
| download | patches-83ac4c099a4c31840d2ddce9febadfa75c692648.tar patches-83ac4c099a4c31840d2ddce9febadfa75c692648.tar.gz | |
gnu: agda-ial: Fix install step.
* gnu/packages/agda.scm (agda-ial): copy library and agdai files when installing.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions