Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
635 B · 31 lines
Nix
1234567891011121314151617181920212223242526272829303132{ build-idris-package, fetchFromGitHub, contrib, jheiling-extras, lib,}:build-idris-package { pname = "jheiling-js"; version = "2016-03-09";
ipkgName = "js"; idrisDeps = [ contrib jheiling-extras ];
src = fetchFromGitHub { owner = "jheiling"; repo = "idris-js"; rev = "59763cd0c9715a9441931ae1077e501bb2ec6020"; sha256 = "1mvpxwszh56cfrf509qiadn7gp2l4syanhvdq6v1br0y03g8wk9v"; };
meta = { description = "Js library for Idris"; homepage = "https://github.com/jheiling/idris-js"; license = lib.licenses.unlicense; maintainers = [ lib.maintainers.brainrape ]; };}