Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
636 B · 33 lines
Nix
12345678910111213141516171819202122232425262728293031323334{ build-idris-package, fetchFromGitHub, contrib, sdl2, lib,}:build-idris-package { pname = "pacman"; version = "2017-11-10";
idrisDeps = [ contrib sdl2 ];
src = fetchFromGitHub { owner = "jdublu10"; repo = "pacman"; rev = "263ae58aeb5147e2af9cc76411970ccd90fa9121"; sha256 = "02m3ic2fk3a8j50xdpq70yx30hkxzjg6idsia482sm1nlkmxxin9"; };
postUnpack = '' mv source/src/board.idr source/src/Board.idr '';
meta = { description = "Proof that Idris is pacman complete"; homepage = "https://github.com/jdublu10/pacman"; maintainers = [ lib.maintainers.brainrape ]; };}