Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
608 B · 31 lines
Nix
1234567891011121314151617181920212223242526272829303132{ build-idris-package, fetchFromGitHub, contrib, lightyear, lib,}:build-idris-package { pname = "yaml"; version = "2018-01-25";
ipkgName = "Yaml"; idrisDeps = [ contrib lightyear ];
src = fetchFromGitHub { owner = "Heather"; repo = "Idris.Yaml"; rev = "5afa51ffc839844862b8316faba3bafa15656db4"; sha256 = "1g4pi0swmg214kndj85hj50ccmckni7piprsxfdzdfhg87s0avw7"; };
meta = { description = "Idris YAML lib"; homepage = "https://github.com/Heather/Idris.Yaml"; license = lib.licenses.mit; maintainers = [ lib.maintainers.brainrape ]; };}