Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
619 B · 31 lines
Nix
1234567891011121314151617181920212223242526272829303132{ build-idris-package, fetchFromGitHub, effects, contrib, lightyear, lib,}:build-idris-package { pname = "tlhydra"; version = "2017-13-26";
idrisDeps = [ effects contrib lightyear ];
src = fetchFromGitHub { owner = "Termina1"; repo = "tlhydra"; rev = "3fc9049447d9560fe16f4d36a2f2996494ac2b33"; sha256 = "1y3gcbc1ypv00vwa0w3v0n6ckf7gnz26xsfmgnidsaxzff3y0ymh"; };
meta = { description = "Idris parser and serializer/deserealizer for TL language"; homepage = "https://github.com/Termina1/tlhydra"; maintainers = [ lib.maintainers.brainrape ]; };}