Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
718 B · 36 lines
Nix
12345678910111213141516171819202122232425262728293031323334353637{ build-idris-package, fetchFromGitHub, idrisscript, hrtime, webgl, lib,}:build-idris-package { pname = "html"; version = "2017-04-23";
idrisDeps = [ idrisscript hrtime webgl ];
src = fetchFromGitHub { owner = "pierrebeaucamp"; repo = "idris-html"; rev = "f59ecc560d7008ba26dda83f11319bb24ed6c508"; sha256 = "0r2clvkyld3y3r6smkfb7s47qnndikwds3bx9hphidbn41wjnh0i"; };
postUnpack = '' sed -i "s/hrTime/hrtime/g" source/html.ipkg '';
meta = { description = "Idris library to interact with HTML"; homepage = "https://github.com/pierrebeaucamp/idris-html"; license = lib.licenses.asl20; maintainers = [ lib.maintainers.brainrape ]; };}