diff options
author | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-06-19 13:37:31 +0200 |
---|---|---|
committer | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-06-19 13:38:54 +0200 |
commit | 9ceeb77bd35708e4aff0da429bc3658adec9d410 (patch) | |
tree | 30dc030b0e679609d2faf7a2a792f70327719504 /pkgs/top-level | |
parent | 0a8455800c66d78e44907907639376225f18f0f6 (diff) | |
download | nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.tar nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.tar.gz nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.tar.bz2 nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.tar.lz nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.tar.xz nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.tar.zst nixlib-9ceeb77bd35708e4aff0da429bc3658adec9d410.zip |
agda-stdlib: no need to jailbreak anymore
Diffstat (limited to 'pkgs/top-level')
0 files changed, 0 insertions, 0 deletions