diff options
author | Shea Levy <shea@shealevy.com> | 2015-11-27 09:35:59 -0500 |
---|---|---|
committer | Shea Levy <shea@shealevy.com> | 2015-11-27 09:35:59 -0500 |
commit | efbee054fd2dca2b14c729cf73aca7246c56d9f2 (patch) | |
tree | d5d811f7ccdb053b104a75bfc9f92a873672145a /pkgs/development/idris-modules/with-packages.nix | |
parent | 5898c2060433d803865df3a9af4408d0443de8b8 (diff) | |
download | nixlib-efbee054fd2dca2b14c729cf73aca7246c56d9f2.tar nixlib-efbee054fd2dca2b14c729cf73aca7246c56d9f2.tar.gz nixlib-efbee054fd2dca2b14c729cf73aca7246c56d9f2.tar.bz2 nixlib-efbee054fd2dca2b14c729cf73aca7246c56d9f2.tar.lz nixlib-efbee054fd2dca2b14c729cf73aca7246c56d9f2.tar.xz nixlib-efbee054fd2dca2b14c729cf73aca7246c56d9f2.tar.zst nixlib-efbee054fd2dca2b14c729cf73aca7246c56d9f2.zip |
Add builtin idris packages to idrisPackages
Diffstat (limited to 'pkgs/development/idris-modules/with-packages.nix')
0 files changed, 0 insertions, 0 deletions