Dawoox/nixpkgs
1
1
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
Files
b2d0900e6e6dc770bb2fdb02fe7cb1e01a5b2cab
nixpkgs/pkgs/development/compilers/idris
History
Peter Simons 0f54bd6130 haskell-idris: update to version 0.9.4.1
2012-10-08 11:25:23 +02:00
..
default.nix
haskell-idris: update to version 0.9.4.1
2012-10-08 11:25:23 +02:00