diff options
author | Andres Löh <mail@andres-loeh.de> | 2010-11-17 16:00:33 +0000 |
---|---|---|
committer | Andres Löh <mail@andres-loeh.de> | 2010-11-17 16:00:33 +0000 |
commit | 7ad36d19401603bcb391c915504571e3a6bf9794 (patch) | |
tree | fd6ff3533c20a57a81c024c0415539e26d9df421 /pkgs/os-specific | |
parent | fa79bbbc9adae15de7aadad1aa1429bd09ef84ff (diff) | |
download | nixlib-7ad36d19401603bcb391c915504571e3a6bf9794.tar nixlib-7ad36d19401603bcb391c915504571e3a6bf9794.tar.gz nixlib-7ad36d19401603bcb391c915504571e3a6bf9794.tar.bz2 nixlib-7ad36d19401603bcb391c915504571e3a6bf9794.tar.lz nixlib-7ad36d19401603bcb391c915504571e3a6bf9794.tar.xz nixlib-7ad36d19401603bcb391c915504571e3a6bf9794.tar.zst nixlib-7ad36d19401603bcb391c915504571e3a6bf9794.zip |
Agda version bump to 2.2.8
svn path=/nixpkgs/trunk/; revision=24743
Diffstat (limited to 'pkgs/os-specific')
0 files changed, 0 insertions, 0 deletions