diff options
author | Frederik Rietdijk <fridh@fridh.nl> | 2020-06-19 09:01:43 +0200 |
---|---|---|
committer | Frederik Rietdijk <fridh@fridh.nl> | 2020-06-19 09:01:43 +0200 |
commit | 301847a7e5254bae0443374884bd433ada66cb2c (patch) | |
tree | 9f7a881dca853de352b305c3cbe90e86169aee55 /pkgs/development/compilers/idris2 | |
parent | 79f9ef8752276d3490fbf222d11e0966f488e221 (diff) | |
parent | bd3bf7ee766fe371b87f1277961a055f20eb0e3e (diff) | |
download | nixpkgs-301847a7e5254bae0443374884bd433ada66cb2c.tar nixpkgs-301847a7e5254bae0443374884bd433ada66cb2c.tar.gz nixpkgs-301847a7e5254bae0443374884bd433ada66cb2c.tar.bz2 nixpkgs-301847a7e5254bae0443374884bd433ada66cb2c.tar.lz nixpkgs-301847a7e5254bae0443374884bd433ada66cb2c.tar.xz nixpkgs-301847a7e5254bae0443374884bd433ada66cb2c.tar.zst nixpkgs-301847a7e5254bae0443374884bd433ada66cb2c.zip |
Merge master into staging-next
Diffstat (limited to 'pkgs/development/compilers/idris2')
0 files changed, 0 insertions, 0 deletions