pkgs/development/idris-modules/bytes.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , lib
   4 }:
   5 build-idris-package  {
   6   pname = "bytes";
   7   version = "2018-02-10";
   8
   9   src = fetchFromGitHub {
  10     owner = "ziman";
  11     repo = "idris-bytes";
  12     rev = "c0ed9db526d4529780f9d7d2636a40faa07661a5";
  13     sha256 = "1xyb7k0mrk5imjf5jr2gvqwvasbfy6j4lxvz99r9icfz7crz8dfp";
  14   };
  15
  16   meta = {
  17     description = "FFI-based byte buffers for Idris";
  18     homepage = "https://github.com/ziman/idris-bytes";
  19     maintainers = [ lib.maintainers.brainrape ];
  20   };
  21 }