Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
580 B · 26 lines
Nix
123456789101112131415161718192021222324252627{ build-idris-package, fetchFromGitHub, hezarfen, lib,}:build-idris-package { pname = "composition"; version = "2017-11-12";
idrisDeps = [ hezarfen ];
src = fetchFromGitHub { owner = "vmchale"; repo = "composition"; rev = "8f05e8db750793a9992b315dc0a2c327b837ec8b"; sha256 = "05424xzxx6f3ig0ravib15nr34nqvaq8spcj6b1512raqrvkkay8"; };
meta = { description = "Composition extras for Idris"; homepage = "https://github.com/vmchale/composition"; license = lib.licenses.bsd3; maintainers = [ lib.maintainers.brainrape ]; };}