Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
596 B · 30 lines
Nix
12345678910111213141516171819202122232425262728293031{ build-idris-package, fetchFromGitHub, contrib, effects, lib,}:build-idris-package { pname = "hamt"; version = "2016-11-15";
idrisDeps = [ contrib effects ];
src = fetchFromGitHub { owner = "bamboo"; repo = "idris-hamt"; rev = "e70f3eedddb5ccafea8e386762b8421ba63c495a"; sha256 = "0m2yjr20dxkfmn3nzc68l6vh0rdaw6b637yijwl4c83b5xiac1mi"; };
meta = { description = "Idris Hash Array Mapped Trie"; homepage = "https://github.com/bamboo/idris-hamt"; license = lib.licenses.bsd3; maintainers = [ lib.maintainers.brainrape ]; };}