Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
613 B · 27 lines
Nix
12345678910111213141516171819202122232425262728{ build-idris-package, fetchFromGitHub, contrib, lib,}:build-idris-package { pname = "snippets"; version = "2018-03-17";
ipkgName = "idris-snippets"; idrisDeps = [ contrib ];
src = fetchFromGitHub { owner = "palladin"; repo = "idris-snippets"; rev = "c26d6f5ffc1cc0456279f5ac74fec5af8c09025e"; sha256 = "1vwyzck6yan3wifsyj02ji9l6x9rs2r02aybm90gl676s2x4mhjn"; };
meta = { description = "Collection of Idris snippets"; homepage = "https://github.com/palladin/idris-snippets"; license = lib.licenses.mit; maintainers = [ lib.maintainers.brainrape ]; };}