diff options
| author | Matthew Bauer <mjbauer95@gmail.com> | 2018-05-25 04:21:07 -0500 |
|---|---|---|
| committer | Matthew Bauer <mjbauer95@gmail.com> | 2018-05-25 15:48:30 -0500 |
| commit | 73b11060fc0725fbafac8a8393bc0098f284ef33 (patch) | |
| tree | d899c25e6b8f8b740da84f3d3fba94b3c7c5835a /pkgs/development/idris-modules | |
| parent | d886a1e630d7e14c971b758a4b0472802aea5441 (diff) | |
| download | nixpkgs-73b11060fc0725fbafac8a8393bc0098f284ef33.tar nixpkgs-73b11060fc0725fbafac8a8393bc0098f284ef33.tar.gz nixpkgs-73b11060fc0725fbafac8a8393bc0098f284ef33.tar.bz2 nixpkgs-73b11060fc0725fbafac8a8393bc0098f284ef33.tar.lz nixpkgs-73b11060fc0725fbafac8a8393bc0098f284ef33.tar.xz nixpkgs-73b11060fc0725fbafac8a8393bc0098f284ef33.tar.zst nixpkgs-73b11060fc0725fbafac8a8393bc0098f284ef33.zip | |
treewide: add more versions to package names
Diffstat (limited to 'pkgs/development/idris-modules')
0 files changed, 0 insertions, 0 deletions