Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
585 B · 29 lines
Nix
123456789101112131415161718192021222324252627282930{ build-idris-package, fetchFromGitHub, contrib, patricia, lib,}:build-idris-package { pname = "semidirect"; version = "2018-07-02";
idrisDeps = [ contrib patricia ];
src = fetchFromGitHub { owner = "clayrat"; repo = "idris-semidirect"; rev = "e19c58f7a25c53bba2ab058821e038bae3c093d2"; sha256 = "0182r9z34kbv3l78pw4qf48ng3hqj4sqzy53074mb0b2c3pikcrl"; };
meta = { description = "Semidirect products in Idris"; homepage = "https://github.com/clayrat/idris-semidirect"; maintainers = [ lib.maintainers.brainrape ]; };}