summary refs log tree commit diff
path: root/pkgs/development/idris-modules
diff options
context:
space:
mode:
authorImuli <i@imu.li>2018-08-04 23:05:50 -0400
committerImuli <i@imu.li>2018-08-04 23:05:50 -0400
commit9104cf1276d39c297ec39dd534ea9299621e4399 (patch)
tree45e2c4af2f01313384d1623b7f99cbce6205b29d /pkgs/development/idris-modules
parent221583478973b4de74f14d1063a314aac337daaa (diff)
downloadnixpkgs-9104cf1276d39c297ec39dd534ea9299621e4399.tar
nixpkgs-9104cf1276d39c297ec39dd534ea9299621e4399.tar.gz
nixpkgs-9104cf1276d39c297ec39dd534ea9299621e4399.tar.bz2
nixpkgs-9104cf1276d39c297ec39dd534ea9299621e4399.tar.lz
nixpkgs-9104cf1276d39c297ec39dd534ea9299621e4399.tar.xz
nixpkgs-9104cf1276d39c297ec39dd534ea9299621e4399.tar.zst
nixpkgs-9104cf1276d39c297ec39dd534ea9299621e4399.zip
maintainers: add @imuli
Diffstat (limited to 'pkgs/development/idris-modules')
0 files changed, 0 insertions, 0 deletions