Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
637 B · 32 lines
Nix
123456789101112131415161718192021222324252627282930313233{ build-idris-package, fetchFromGitHub, idrisscript, html, xhr, lib,}:build-idris-package { pname = "dom"; version = "2017-04-22";
idrisDeps = [ idrisscript html xhr ];
src = fetchFromGitHub { owner = "pierrebeaucamp"; repo = "idris-dom"; rev = "6e5a2d143f62ef422358924ee7db6e8147cdc531"; sha256 = "16z9mykw2d9rjikn07kd6igb53jgaqi8zby4nc4n0gmplmhwdx4x"; };
meta = { description = "Idris library to interact with the DOM"; homepage = "https://github.com/pierrebeaucamp/idris-dom"; license = lib.licenses.asl20; maintainers = [ lib.maintainers.brainrape ]; };}