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 /nix/libstore | |
parent | 8146c48632d39670afa7a8ec08a8891cc78d2b38 (diff) | |
download | guix-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 'nix/libstore')
0 files changed, 0 insertions, 0 deletions