Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
544 B · 29 lines
Nix
123456789101112131415161718192021222324252627282930{ build-idris-package, fetchFromGitHub, contrib, bi, lib,}:build-idris-package { pname = "trees"; version = "2018-03-19";
idrisDeps = [ contrib bi ];
src = fetchFromGitHub { owner = "clayrat"; repo = "idris-trees"; rev = "dc17f9598bd78ec2b283d91b3c58617960d88c85"; sha256 = "1c3p69875qc4zdk28im9xz45zw46ajgcmxpqmig63y0z4v3gwxww"; };
meta = { description = "Trees in Idris"; homepage = "https://github.com/clayrat/idris-trees"; maintainers = [ lib.maintainers.brainrape ]; };}