philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
nixpkgs/pkgs/development/compilers/idris
History
Aycan iRiCAN ae84167aa1 Upgrade idris compiler to 0.9.14.3
2014-10-15 10:57:08 +03:00
..
default.nix Upgrade idris compiler to 0.9.14.3 2014-10-15 10:57:08 +03:00
wrapper.nix