diff options
| author | Marco Perone <pasafama@gmail.com> | 2019-07-31 17:15:06 +0200 |
|---|---|---|
| committer | Marco Perone <pasafama@gmail.com> | 2019-08-06 09:11:37 +0200 |
| commit | 349a843ef413f9746ce97625328670451d5574c0 (patch) | |
| tree | 2c0f2149ba9ad2540d4e3840c9d783fc6b06e071 /pkgs/development/idris-modules | |
| parent | 8a02fa477f7ae58061f5d53060dc9f36f1e53d2a (diff) | |
| download | nixpkgs-349a843ef413f9746ce97625328670451d5574c0.tar nixpkgs-349a843ef413f9746ce97625328670451d5574c0.tar.gz nixpkgs-349a843ef413f9746ce97625328670451d5574c0.tar.bz2 nixpkgs-349a843ef413f9746ce97625328670451d5574c0.tar.lz nixpkgs-349a843ef413f9746ce97625328670451d5574c0.tar.xz nixpkgs-349a843ef413f9746ce97625328670451d5574c0.tar.zst nixpkgs-349a843ef413f9746ce97625328670451d5574c0.zip | |
build-idris-package: add documentation on idris commands options
Diffstat (limited to 'pkgs/development/idris-modules')
0 files changed, 0 insertions, 0 deletions