diff options
author | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-31 11:02:48 +0100 |
---|---|---|
committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-06-01 13:59:20 +0100 |
commit | e215c3bcac09ea3c1b1c9a5f9acd65b8e1791133 (patch) | |
tree | e78cd0a016f37c41e255324c92094c88da5b2c10 /pkgs/development/pure-modules/audio | |
parent | 2defee2981107428aae547773ddcf2cab65d2c6f (diff) | |
download | nixlib-e215c3bcac09ea3c1b1c9a5f9acd65b8e1791133.tar nixlib-e215c3bcac09ea3c1b1c9a5f9acd65b8e1791133.tar.gz nixlib-e215c3bcac09ea3c1b1c9a5f9acd65b8e1791133.tar.bz2 nixlib-e215c3bcac09ea3c1b1c9a5f9acd65b8e1791133.tar.lz nixlib-e215c3bcac09ea3c1b1c9a5f9acd65b8e1791133.tar.xz nixlib-e215c3bcac09ea3c1b1c9a5f9acd65b8e1791133.tar.zst nixlib-e215c3bcac09ea3c1b1c9a5f9acd65b8e1791133.zip |
agda: install literate files
Diffstat (limited to 'pkgs/development/pure-modules/audio')
0 files changed, 0 insertions, 0 deletions