diff options
| author | John Soo <jsoo1@asu.edu> | 2019-08-12 08:33:36 -0700 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-08-28 00:27:14 +0200 |
| commit | 276f598abc12eaae01fbea0c0bbba577a93bcbdb (patch) | |
| tree | 069a58be3ed10b09ab0b7fa801966a50a8ca3149 /Makefile.am | |
| parent | 58d5f280a36e1cfddfa999d320c285726d8a8bc1 (diff) | |
| download | patches-276f598abc12eaae01fbea0c0bbba577a93bcbdb.tar patches-276f598abc12eaae01fbea0c0bbba577a93bcbdb.tar.gz | |
gnu: Add agda-ial.
* gnu/packages/agda.scm (agda-ial): new variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions