pkgs/development/idris-modules/pacman.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , contrib
   4 , sdl2
   5 , lib
   6 }:
   7 build-idris-package  {
   8   name = "pacman";
   9   version = "2017-11-10";
  10
  11   idrisDeps = [ contrib sdl2 ];
  12
  13   src = fetchFromGitHub {
  14     owner = "jdublu10";
  15     repo = "pacman";
  16     rev = "263ae58aeb5147e2af9cc76411970ccd90fa9121";
  17     sha256 = "02m3ic2fk3a8j50xdpq70yx30hkxzjg6idsia482sm1nlkmxxin9";
  18   };
  19
  20   postUnpack = ''
  21     mv source/src/board.idr source/src/Board.idr
  22   '';
  23
  24   meta = {
  25     description = "Proof that Idris is pacman complete";
  26     homepage = "https://github.com/jdublu10/pacman";
  27     maintainers = [ lib.maintainers.brainrape ];
  28   };
  29 }